up previous next
StronglyStableIdeal

strongly stable ideal containing L

Syntax
StronglyStableIdeal(L: LIST of power-products): IDEAL

Description
This function returns the smallest strongly stable ideal containing the power-products in L.

Example
/**/  Use R ::= QQ[x,y,z];
/**/  L := [x*y^2*z];
/**/  StableIdeal(L);
ideal(x^4, x^3*y, x^2*y^2, x*y^3, x*y^2*z)

/**/  StronglyStableIdeal(L);
ideal(x^4, x^3*y, x^2*y^2, x*y^3, x^3*z, x^2*y*z, x*y^2*z)

See Also