IsStable, IsStronglyStable, IsLexSegment |
Syntax |
IsStable(I: MONOMIAL IDEAL): BOOL IsStronglyStable(I: MONOMIAL IDEAL): BOOL IsLexSegment(I: MONOMIAL IDEAL): BOOL |
Description |
Example |
Use R ::= Q[x,y,z]; I := Ideal(xy^3, y^4, x^3, x^2y, x^2z); IsStable(I); TRUE ------------------------------- IsStronglyStable(I); TRUE ------------------------------- IsLexSegment(I); FALSE ------------------------------- |