next | previous | forward | backward | up | top | index | toc | Macaulay2 web site

intclToricRing -- integral closure of a toric ring

Synopsis

Description

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

Ways to use intclToricRing :