Yes, the maximal collection of linearly independent rows can be found by calling M.pivot_rows() for a given matrix M.
Yes, the a maximal collection of linearly independent rows can be found by calling M.pivot_rows() for a given matrix M.