arguments: m:matrix collectsyz:int ncomps:int >> hermite_computation
Create the computation of the Hermite normal form of the matrix 'm' over the integers. This is essentially a Groebner basis for the submodule of Z^n generated by the columns of 'm'. The elements 'collectsyz' and 'ncomps' have the same meaning that they have for Groebner basis computations.
Go to main index.
Go to concepts index.