This function computes the normalization of the toric ring generated by the leading monomials of the elements of
I. The function returns an
Ideal listing the generators of the normalization.
A mathematical remark: the toric ring (and the other rings computed) depends on the list of monomials given, and not only on the ideal they generate!
i1 : R=ZZ/37[x,y,t];
|
i2 : I=ideal(x^3, x^2*y, y^3, x*y^2);
o2 : Ideal of R
|
i3 : normalToricRing(I)
3 2 2 3
o3 = ideal (x , x y, x*y , y )
o3 : Ideal of R
|