Macaulay2 » Documentation
Packages » ExteriorIdeals :: isLexIdeal
next | previous | forward | backward | up | index | toc

isLexIdeal -- whether an ideal is lex

Description

Other acknowledgements:

This method was taken from Chris Francisco's package: LexIdeals, which is available at LexIdeals

Examples:

i1 : E=QQ[e_1..e_4,SkewCommutative=>true]

o1 = E

o1 : PolynomialRing, 4 skew commutative variable(s)
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

See also

Ways to use isLexIdeal:

  • isLexIdeal(Ideal)

For the programmer

The object isLexIdeal is a method function.


The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/ExteriorIdeals.m2:483:0.