intclToricRing(List) -- integral closure of a toric ring

Synopsis

• Function: intclToricRing

• Usage:

  intclToricRing L

• Inputs:
  • a list, generators of the toric ring
• Optional inputs:
  • allComputations => ..., default value false, integral closure of a toric ring
  • grading => ..., default value {}, integral closure of a toric ring
• Outputs:
  • an instance of the type MonomialSubalgebra, the integral closure of the toric ring

Description

The toric ring S is the subalgebra of the basering generated by the monomials in the list L. The function computes the integral closure T of S in the surrounding polynomial ring.

i1 : R=ZZ/37[x,y,t];

i2 : L={x^3, x^2*y, y^3, x*y^2};

i3 : intclToricRing L

     ZZ
o3 = --[y, x]
     37

o3 : monomial subalgebra of R