normalToricRing(MonomialSubalgebra) -- normalization of a toric ring

Synopsis

• Function: normalToricRing

• Usage:

  normalToricRing S

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

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