SwapRows(ref M: MAT, i: INT, j: INT)
/**/ M := IdentityMat(QQ, 5); /**/ SwapRows(ref M, 2,5); /**/ M; matrix(QQ, [[1, 0, 0, 0, 0], [0, 0, 0, 0, 1], [0, 0, 1, 0, 0], [0, 0, 0, 1, 0], [0, 1, 0, 0, 0]])