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" |