Flint does the normalisation itself, not sure why it didn't earlier

Author: Jake Moss

src/flint/flint_base/flint_base.pyx

@@ -959,8 +959,6 @@ cdef class flint_mpoly(flint_elem):
         of the generators. Generators with names that are not found within the other
         context are mapped to 0. The mapping can be explicitly provided.
 
-        The resulting polynomial is also normalised.
-
             >>> from flint import fmpz_mpoly_ctx
             >>> ctx = fmpz_mpoly_ctx.get(('x', 'y', 'a', 'b'))
             >>> ctx2 = fmpz_mpoly_ctx.get(('a', 'b'))

src/flint/types/fmpq_mpoly.pyx

@@ -20,7 +20,6 @@ from flint.flintlib.functions.fmpq_mpoly cimport (
     fmpq_mpoly_add,
     fmpq_mpoly_add_fmpq,
     fmpq_mpoly_clear,
-    fmpq_mpoly_combine_like_terms,
     fmpq_mpoly_compose_fmpq_mpoly,
     fmpq_mpoly_compose_fmpq_mpoly_gen,
     fmpq_mpoly_ctx_init,
@@ -42,7 +41,6 @@ from flint.flintlib.functions.fmpq_mpoly cimport (
     fmpq_mpoly_get_term_coeff_fmpq,
     fmpq_mpoly_get_term_exp_fmpz,
     fmpq_mpoly_integral,
-    fmpq_mpoly_is_canonical,
     fmpq_mpoly_is_one,
     fmpq_mpoly_is_zero,
     fmpq_mpoly_length,
@@ -1134,10 +1132,6 @@ cdef class fmpq_mpoly(flint_mpoly):
             (<fmpq_mpoly_ctx>ctx).val
         )
 
-        if not fmpq_mpoly_is_canonical(res.val, res.ctx.val):
-            fmpq_mpoly_sort_terms(res.val, res.ctx.val)
-            fmpq_mpoly_combine_like_terms(res.val, res.ctx.val)
-
         return res
 
 

src/flint/types/fmpz_mod_mpoly.pyx

@@ -19,7 +19,6 @@ from flint.flintlib.functions.fmpz_mod_mpoly cimport (
     fmpz_mod_mpoly_add,
     fmpz_mod_mpoly_add_fmpz,
     fmpz_mod_mpoly_clear,
-    fmpz_mod_mpoly_combine_like_terms,
     fmpz_mod_mpoly_compose_fmpz_mod_mpoly,
     fmpz_mod_mpoly_compose_fmpz_mod_mpoly_gen,
     fmpz_mod_mpoly_ctx_get_modulus,
@@ -43,7 +42,6 @@ from flint.flintlib.functions.fmpz_mod_mpoly cimport (
     fmpz_mod_mpoly_get_term_coeff_fmpz,
     fmpz_mod_mpoly_get_term_exp_fmpz,
     fmpz_mod_mpoly_inflate,
-    fmpz_mod_mpoly_is_canonical,
     fmpz_mod_mpoly_is_one,
     fmpz_mod_mpoly_is_zero,
     fmpz_mod_mpoly_length,
@@ -1158,10 +1156,6 @@ cdef class fmpz_mod_mpoly(flint_mpoly):
             (<fmpz_mod_mpoly_ctx>ctx).val
         )
 
-        if not fmpz_mod_mpoly_is_canonical(res.val, res.ctx.val):
-            fmpz_mod_mpoly_sort_terms(res.val, res.ctx.val)
-            fmpz_mod_mpoly_combine_like_terms(res.val, res.ctx.val)
-
         return res
 
 

src/flint/types/fmpz_mpoly.pyx

@@ -21,7 +21,6 @@ from flint.flintlib.functions.fmpz_mpoly cimport (
     fmpz_mpoly_buchberger_naive,
     fmpz_mpoly_buchberger_naive_with_limits,
     fmpz_mpoly_clear,
-    fmpz_mpoly_combine_like_terms,
     fmpz_mpoly_compose_fmpz_mpoly,
     fmpz_mpoly_compose_fmpz_mpoly_gen,
     fmpz_mpoly_ctx_init,
@@ -45,7 +44,6 @@ from flint.flintlib.functions.fmpz_mpoly cimport (
     fmpz_mpoly_get_term_exp_fmpz,
     fmpz_mpoly_inflate,
     fmpz_mpoly_integral,
-    fmpz_mpoly_is_canonical,
     fmpz_mpoly_is_one,
     fmpz_mpoly_is_zero,
     fmpz_mpoly_length,

src/flint/types/nmod_mpoly.pyx

@@ -21,7 +21,6 @@ from flint.flintlib.functions.nmod_mpoly cimport (
     nmod_mpoly_add,
     nmod_mpoly_add_ui,
     nmod_mpoly_clear,
-    nmod_mpoly_combine_like_terms,
     nmod_mpoly_compose_nmod_mpoly_gen,
     nmod_mpoly_compose_nmod_mpoly,
     nmod_mpoly_ctx_init,
@@ -42,7 +41,6 @@ from flint.flintlib.functions.nmod_mpoly cimport (
     nmod_mpoly_get_str_pretty,
     nmod_mpoly_get_term_coeff_ui,
     nmod_mpoly_get_term_exp_fmpz,
-    nmod_mpoly_is_canonical,
     nmod_mpoly_is_one,
     nmod_mpoly_is_zero,
     nmod_mpoly_length,
@@ -1129,10 +1127,6 @@ cdef class nmod_mpoly(flint_mpoly):
             (<nmod_mpoly_ctx>ctx).val
         )
 
-        if not nmod_mpoly_is_canonical(res.val, res.ctx.val):
-            nmod_mpoly_sort_terms(res.val, res.ctx.val)
-            nmod_mpoly_combine_like_terms(res.val, res.ctx.val)
-
         return res