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

Synopsis

• Function: intclToricRing

• Usage:

  intclToricRing S

• Inputs:
  • an instance of the type MonomialSubalgebra, 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

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

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

i3 : intclToricRing S

     ZZ
o3 = --[y, x]
     37

o3 : monomial subalgebra of R