up previous next
NmzIntClosureMonIdeal

integral closure of a monomial ideal

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

Description
Given a list L of power-products in a ring R, the function returns the generators the integral closure of the ideal generated by the elements in L.

Example
/**/     Use R::=QQ[x,y,z,t];
/**/     NmzIntClosureMonIdeal([x^2,y^2,z^3]);
-- the integral closure of the ideal generated by x^2,y^2 and z^3 is...
[y^2, x^2, x*y, z^3, y*z^2, x*z^2]
-- ...the ideal generated by y^2, x^2, x*y, z^3, y*z^2 and x*z^2

See Also