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

maplie -- the Lie homomorphism f in the definition of a derivation

Synopsis

Description

A derivation d:M->L depends on a Lie homomorphism f:M->L, which may be obtained as d.maplie and seen using peekLie d.

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

o1 = L

o1 : LieAlgebra
i2 : M=lieAlgebra{a,b}

o2 = M

o2 : LieAlgebra
i3 : f=mapLie(L,M)

o3 = f

o3 : MapLie
i4 : useLie L

o4 = L

o4 : LieAlgebra
i5 : d=derLie(f,{a a b,L.zz})

o5 = d

o5 : DerLie
i6 : d.maplie

o6 = f

o6 : MapLie
i7 : peekLie d

o7 = a =>  - (a b a)
     b => 0
     maplie => MapLie{a => a        }
                      b => b
                      sourceLie => M
                      targetLie => L
     sign => 0
     weight => {2, 0}
     sourceLie => M
     targetLie => L

See also

For the programmer

The object maplie is a symbol.