Data.Matrix.SmithNormalForm

Documentation

smithNormalForm :: Integral a => Matrix a -> Matrix a

Returns the Smith normal form of an matrix, i.e. a diagonal matrix obtained by applying elementary row and column operations whose diagonal entries \([d_1,..,d_n]\) are such that \(d_k | d_{k+1}\) (Does not assume that the matrix is square.)

invariantFactors :: Integral a => Matrix a -> [a]

Given a matrix M, returns the invariant factors of M, i.e. the list of diagonal entries of the Smith normal form of M.