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];
-- We compute the normalization of QQ[x^3, x^2*y, y^3]
/**/     NmzNormalToricRing([x^3, x^2*y, y^3]);
[y^3, x^2*y, x^3, x*y^2]
--> answer is QQ[y^3, x^2*y, x^3, x*y^2]

See Also