wrap nmod_mat_HNF() directly