next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
GradedLieAlgebras :: minmodel

minmodel -- the minimal model of L obtained, if computed, as L.minmodel

Synopsis

Description

If minmodelLie is computed for L, then the minimal model may be obtained as L.minmodel.

i1 : L=lieAlgebra{a,b}/{a a a b,b b b a}

o1 = L

o1 : LieAlgebra
i2 : M=minmodelLie 4

o2 = M

o2 : LieAlgebra
i3 : L.minmodel

o3 = M

o3 : LieAlgebra
i4 : peekLie L

o4 = gensLie => {a, b}
     genWeights => {{1, 0}, {1, 0}}
     genSigns => {0, 0}
     relsLie => { - (a a b a), (b b b a)}
     genDiffs => {0, 0}
     field => QQ
     diffl => false
     compdeg => 4
     minmodel => M

See also

For the programmer

The object minmodel is a symbol.