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

normalToricRing -- normalization of a toric ring

Synopsis

Description

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

Ways to use normalToricRing :