From e471b8ccfa4c00e4ad2d4c04e700e585f2a4b269 Mon Sep 17 00:00:00 2001
From: pogudingleb <pogudin.gleb@gmail.com>
Date: Tue, 9 Apr 2024 07:41:23 +0200
Subject: [PATCH] commenting a new auxiliary function

---
 src/parametrizations.jl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/parametrizations.jl b/src/parametrizations.jl
index 0dffbd38..0118db5c 100644
--- 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))