up previous next
IsStronglyStable

checks if an ideal is strongly stable

Syntax
IsStronglyStable(I: IDEAL): BOOL

Description
This function tests whether the monomial ideal I is strongly stable (Borel-fixed in characteristic 0).

Example
/**/  use R ::= QQ[x,y,z];
/**/  I := ideal(x*y^3, y^4, x^3, x^2*y, x^2*z);
/**/  IsStronglyStable(I);
true

See Also