A polynomial time algorithm for computing the HNF of a module over the integers of a number field

Jean-François Biasse, Claus Fieker

We present a variation of the modular algorithm for computing the Hermite Normal Form of an $\OK$-module presented by Cohen, where $\OK$ is the ring of integers of a number field K…