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