Revision history [back]

There are two distinct, non intersecting questions / issues in the post:

• detect if two matrices have the same rank, the following is enough: print M.rank() == M.augment(T).rank()

• detect generating columns for the vector space of the columns of the matrix M. Then print M.pivots() gives them.