Other acknowledgements:
This method was taken from Chris Francisco's package: LexIdeals, which is available at LexIdealsExamples:
i1 : E=QQ[e_1..e_4,SkewCommutative=>true] o1 = E o1 : PolynomialRing, 4 skew commutative variables |
i2 : isLexIdeal ideal {e_1*e_2,e_2*e_3} o2 = false |
i3 : isLexIdeal ideal {e_1*e_2,e_1*e_3,e_1*e_4,e_2*e_3} o3 = true |
The object isLexIdeal is a method function.