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

• IsLexSegment
• IsStable