IsStable, IsStronglyStable |
Syntax |
IsStable(I: MONOMIAL IDEAL): BOOL IsStronglyStable(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 ------------------------------- |