rref(M: MAT): MAT
/**/ M := mat([[1,2,3],[2,3,4]]); /**/ rref(M); matrix(QQ, [[1, 0, -1], [0, 1, 2]])