clarify nmod_mat_HNF() specification