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

targetLie -- the target of a derivation or map

Synopsis

Description

A derivation or map d:M->L has L as target, which is obtained as d.targetLie and may be seen using peekLie d.

i1 : L=lieAlgebra({a,b},genSigns=>1)/{a a a b,b b b a}

o1 = L

o1 : LieAlgebra
i2 : M=lieAlgebra({a1,b1},genWeights=>{3,3},genSigns=>1)

o2 = M

o2 : LieAlgebra
i3 : useLie L

o3 = L

o3 : LieAlgebra
i4 : f=mapLie(L,M,{a a b,b b a})

o4 = f

o4 : MapLie
i5 : d=derLie(f,{a b,b b})

o5 = d

o5 : DerLie
i6 : peekLie d

o6 = a1 => (b a)
     b1 => (b b)
     maplie => MapLie{a1 =>  - (1/2)(b a a)}
                      b1 => (b b a)
                      sourceLie => M
                      targetLie => L
     sign => 1
     weight => {-1, 0}
     sourceLie => M
     targetLie => L
i7 : d.targetLie

o7 = L

o7 : LieAlgebra

See also

For the programmer

The object targetLie is a symbol.