nmod_mat_HNF() 1 line shorter