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

stronglyStableIdeal -- compute the smallest strongly stable ideal in an exterior algebra containing a given monomial ideal

Description

Example:

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

o1 = E

o1 : PolynomialRing, 4 skew commutative variable(s)
i2 : stronglyStableIdeal ideal {e_2*e_3}

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

o2 : Ideal of E

See also

Ways to use stronglyStableIdeal:

  • stronglyStableIdeal(Ideal)

For the programmer

The object stronglyStableIdeal is a method function.


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