StableIdeal(L: LIST of power-products): IDEAL
Use R ::= QQ[x,y,z]; L := [xz^4, y^3]; StableIdeal(L); Ideal(x^2z^3, xyz^3, xz^4, x^3, x^2y, xy^2, y^3) -------------------------------