normalToricRing(List) -- normalization of a toric ring

Description

The toric ring S is the monomial subalgebra of the basering generated by the monomials in the list L. 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 : L={x^3, x^2*y, y^3, x*y^2}; i3 : normalToricRing L ZZ 3 2 2 3 o3 = --[y , x*y , x y, x ] 37 o3 : monomial subalgebra of R