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

GradedLieAlgebras :: modelmap

modelmap -- the Lie homomorphism from the minimal model M to the Lie algebra L

Synopsis

Usage:
f=M.modelmap
Outputs:
- f, an object of class MapLie

Description

When a minimal model M of a Lie algebra L is computed, using minmodelLie, then the Lie homomorphism from M to L may be obtained as M.modelmap.

i1 : L=lieAlgebra({a,b},{{{1,-1},{[a,a,b],[b,b,a]}}})

o1 = L

o1 : LieAlgebra

i2 : M=minmodelLie 3

o2 = M

o2 : LieAlgebra

i3 : peek  M.modelmap

o3 = MapLie{fr  => []     }
              2
            fr  => [a]
              0
            fr  => [b]
              1
            sourceLie => M
            targetLie => L

See also

minmodelLie -- gives a minimal model
MapLie -- a Type for Lie algebra homomorphisms

For the programmer

The object modelmap is a symbol.