IntegerSmithNormalFormΒΆ

smith2.spad line 103

undocumented

completeSmith: (Matrix Integer, Matrix Integer -> Record(Smith: Matrix Integer, leftEqMat: Matrix Integer, rightEqMat: Matrix Integer)) -> Record(Smith: Matrix Integer, leftEqMat: Matrix Integer, rightEqMat: Matrix Integer)
completeSmith(m, full) computes record containing Smith normal form of m and the left and right equivalence matrices. It first reduces m to smaller matrix and then usess full to finish.
smith: (Matrix Integer, Matrix Integer -> Matrix Integer) -> Matrix Integer
smith(m, full) computes Smith normal form of m. It first reduces m to smaller matrix and then usess full to finish.
smith: Matrix Integer -> Matrix Integer
smith(m) computes Smith normal form of m