comment on nmod_mat_HNF.c automagic