On the computation of the HNF of a module over the ring of integers of a number field

Jean-François Biasse, Claus Fieker, Tommy Hofmann

We present a variation of the modular algorithm for computing the Hermite normal form of an ${\mathcal{O}}_K$-module presented by Cohen, where ${\mathcal{O}}_K$ is the ring of integers o…