This function computes the integral closure of the toric ring generated by the leading monomials of the elements of
I. The function returns an
Ideal listing the generators of the integral closure.
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 : intclToricRing(I)
o3 = ideal (y, x)
o3 : Ideal of R
|