Began implementing HNF modulo a multiple of the determinant.