def test_constructor_export( m ): f=flint.tmod_mat_single( fmpz_mat(m) ) assert f.export_sage() == m % 2**64 f=flint.nmod_mat_set_fmpz_mat_mod_thalf( fmpz_mat(m) ) assert f.export_nonnegative_fmpz_mat().export_sage() == m % 2**63
def would_be_multiplier(a): b = flint.nmod_mat_set_fmpz_mat_mod_thalf(a) nmod_mat_HNF(b) return b.export_nonnegative_fmpz_mat_upper()