don't import matrix_integer_dense_hnf()