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

normalToricRing(MonomialSubalgebra) -- normalization of a toric ring

Synopsis

Description

The toric ring S is the monomial subalgebra given. The function computes the normalization T of S, which is the integral closure in its field of fractions.

i1 : R=ZZ/37[x,y,t];
i2 : S=createMonomialSubalgebra {x^3, x^2*y, y^3, x*y^2};
i3 : normalToricRing S

     ZZ  3     2   2    3
o3 = --[y , x*y , x y, x ]
     37

o3 : monomial subalgebra of R