commenting a new auxiliary function

SciML · Apr 9, 2024 · e471b8c · e471b8c
1 parent 2fee195
commit e471b8c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/parametrizations.jl b/src/parametrizations.jl
@@ -17,6 +17,9 @@ function crude_parent_ring_change(poly, new_ring, var_mapping)
     return new_poly
 end
 
+# Reduces the parametric coefficients of a polynomial modulo
+# a Groebner basis of an ideal in the parameter ring.
+# Assumes that there is no division by zero
 function normalize_coefficients(poly, coeff_relations)
     res = zero(parent(poly))
     for (c, m) in zip(coefficients(poly), monomials(poly))