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

RingElement DerLie -- Multiplication of a field element and a derivation

Synopsis

Description

The symbol SPACE is used as notation for multiplication by scalars. The scalars belong to L.field which must be the same as M.field, where d: M->L. If the field is not QQ, then the scalars are of type RingElement. If the field is QQ, then the scalars are of type Number, see Number DerLie.

i1 : F = toField(ZZ/7[x]/ideal{x^2+1})

o1 = F

o1 : PolynomialRing
i2 : M = lieAlgebra({a,b},field=>F)

o2 = M

o2 : LieAlgebra
i3 : L = lieAlgebra({a,b},field=>F)

o3 = L

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

o4 = f

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

o5 = d

o5 : DerLie
i6 : peekLie (3*x) d

o6 = a => (3)b
     b => (x)a
     maplie => MapLie{a => (x)a     }
                      b => (3)b
                      sourceLie => M
                      targetLie => L
     sign => 0
     weight => {0, 0}
     sourceLie => M
     targetLie => L

See also