CoCoA:StronglyStableIdeal
From ApCoCoAWiki
StronglyStableIdeal
strongly stable ideal containing L
Description
This function returns the smallest strongly stable ideal containing the
power-products in L.
Example
Use R ::= Q[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) -------------------------------
Syntax
StronglyStableIdeal(L: LIST of power-products): IDEAL
<type>ideal</type> <type>list</type>
