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

lexIdeal -- compute the lex ideal with a given Hilbert function in an exterior algebra

Description

Examples:

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

o1 = E

o1 : PolynomialRing, 4 skew commutative variable(s)
i2 : lexIdeal({1,4,3,1,0},E) 

o2 = ideal (e e , e e , e e )
             1 2   1 3   1 4

o2 : Ideal of E
i3 : Ilex=lexIdeal ideal {e_1*e_2,e_2*e_3}

o3 = ideal (e e , e e )
             1 2   1 3

o3 : Ideal of E
i4 : isLexIdeal Ilex

o4 = true

See also

Ways to use lexIdeal:

  • lexIdeal(Ideal)
  • lexIdeal(List,Ring)

For the programmer

The object lexIdeal is a method function.


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