nmod_mat_HNF() declaration and specification