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

modelmap -- the Lie homomorphism from a minimal model of L to the Lie algebra L

Synopsis

Description

If M=minmodelLie of L, then the map from M to L is obtained as M.modelmap.

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 : f=M.modelmap

o3 = f

o3 : MapLie
i4 : peekLie f

o4 = MapLie{fr_0 => a     }
            fr_1 => b
            fr_2 => 0
            fr_3 => 0
            sourceLie => M
            targetLie => L

See also

For the programmer

The object modelmap is a symbol.