next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Normaliz :: normalToricRing(Ideal,Thing)

normalToricRing(Ideal,Thing) -- normalization of a toric ring given by a binomial ideal

Synopsis

Description

The ideal I is generated by binomials of type X^a-X^b (multiindex notation) in the surrounding polynomial ring K[X]=K[X_1,...,X_n]. The binomials represent a congruence on the monoid \ZZ^n with residue monoid M. Let N be the image of M in gp(M)/torsion. Then N is universal in the sense that every homomorphism from M to an affine monoid factors through N. If I is a prime ideal, then K[N] \cong K[X]/I. In general, K[N]\cong K[X]/P where P is the unique minimal prime ideal of I generated by binomials of type X^a-X^b.

The function computes the normalization of K[N] and returns it as a monomial subalgebra in a newly created polynomial ring of the same Krull dimension, whose variables are t_1,\ldots,t_{n-r}, where r is the rank of the matrix with rows a-b. (In general there is no canonical choice for such an embedding.)

i1 : R=ZZ/37[x,y,z,w];
i2 : I=ideal(x*z-y^2, x*w-y*z);

o2 : Ideal of R
i3 : normalToricRing(I,t)
../../../../../Macaulay2/packages/Normaliz.m2:339:9:(2):[40]: error: readMultipleNmzData: No file /tmp/M2-200895-0/2.gen found. Perhaps you need to activate another option.
../../../../../Macaulay2/packages/Normaliz.m2:325:10:(2):[39]: --back trace--
../../../../../Macaulay2/packages/Normaliz.m2:533:15:(2):[38]: --back trace--
../../../../../Macaulay2/m2/option.m2:17:8:(1):[37]: --back trace--
../../../../../Macaulay2/m2/methods.m2:154:80:(1):[36]: --back trace--
../../../../../Macaulay2/m2/option.m2:40:8:(1):[35]: --back trace--
../../../../../Macaulay2/packages/Normaliz.m2:476:10:(2):[34]: --back trace--
../../../../../Macaulay2/m2/option.m2:17:8:(1):[33]: --back trace--
../../../../../Macaulay2/m2/methods.m2:154:80:(1):[32]: --back trace--
../../../../../Macaulay2/m2/option.m2:40:8:(1):[31]: --back trace--
../../../../../Macaulay2/packages/Normaliz.m2:717:13:(2):[30]: --back trace--
../../../../../Macaulay2/m2/option.m2:17:8:(1):[29]: --back trace--
../../../../../Macaulay2/m2/methods.m2:154:80:(1):[28]: --back trace--
../../../../../Macaulay2/m2/option.m2:40:8:(1):[27]: --back trace--
currentString:3:1:(3):[26]: --back trace--

Ways to use this method: