| H A D | bwc-ptrace.m | 115 assert Mp eq Submatrix(M,1,1,Nrows(Mp),Ncols(Mp)); function
116 assert Mp eq Submatrix(Mx,1,1,Nrows(Mp),Ncols(Mp)); function
174 assert Submatrix(Transpose(Mx*Q),1,1,nr_orig,nr_orig) eq Submatrix(Transpose(Q),1,1,nr_orig,nr_orig… function
177 Qsmall:=Submatrix(Q,1,1,nr_orig,nr_orig); function
555 Ax0:=Submatrix(Ax, 1, 1, n, r); function
556 Ax1:=Submatrix(Ax, 1, r+1, n, n-r); function
557 assert Ax0 eq Submatrix(A,1,1,n,r); function
561 Fx0:=Submatrix(Fx, 1, 1, r, n); function
562 Fx1:=Submatrix(Fx, r+1, 1, n-r, n); function
563 assert Fx0 eq rhscoeffs + X*Submatrix(F, 1, 1, r, n); function
[all …]
|