up previous next
NmzNormalToricRing

normalization of a toric ring

Syntax
NmzNormalToricRing(L: LIST of RINGELEM): LIST of RINGELEM

Description
Given a list L of power-products in a ring R, the function returns the generators of the normalization of the algebra generated by the list.

Example
/**/     Use R::=QQ[x,y,t];
/**/     NmzNormalToricRing([x^3,x^2*y,y^3]);
-- the normalization of QQ[x^3,x^2*y,y^3] is...
[y^3, x^2*y, x^3, x*y^2]
-- QQ[y^3, x^2*y, x^3, x*y^2]

See Also