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 := [xy^2z];
  StableIdeal(L);
Ideal(x^4, x^3y, x^2y^2, xy^3, xy^2z)
-------------------------------
  StronglyStableIdeal(L);
Ideal(x^4, x^3y, x^2y^2, xy^3, x^3z, x^2yz, xy^2z)
-------------------------------


See Also