next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Normaliz :: normalToricRing(MonomialSubalgebra, allComputations => ...)

normalToricRing(MonomialSubalgebra, allComputations => ...) -- 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. If the option allComputations is set to true, all data that has been computed by Normaliz is stored in a RationalCone in the CacheTable of the monomial subalgebra returned.

R=ZZ/37[x,y,t];
S=createMonomialSubalgebra {x^3, x^2*y, y^3, x*y^2};
T=normalToricRing(allComputations=> true, S)
T.cache#"cone"

Further information