Computing bases in Hermite normal form of lattices of integer relations

George Labahn, Arne Storjohann

Given a full column rank $M\in {\mathbb{Z}}^{\ell \times m}$ and an $F\in {\mathbb{Z}}^{n\times m}$ we present an algorithm to compute the $n\times n$ basis in Hermite form of the integer lattice…