LieDerivation @ LieElement -- formal application of a derivation to a Lie element

Synopsis

• Operator: @

• Usage:

  y = d@x

• Inputs:
  • d, an instance of the type LieDerivation,
  • x, an instance of the type LieElement, $x$ is an element in the source of $d$
• Outputs:
  • y, an instance of the type LieElement, $y$ is the formal application of $d$ to the Lie element $x$

Description

i1 : L = lieAlgebra{a,b}

o1 = L

o1 : LieAlgebra

i2 : d = euler L

o2 = d

o2 : LieDerivation

i3 : d@a a a b a

o3 = (a a a b a) + (a a a b a) + (a a a b a) + (a a a b a) + (a a a b a)

o3 : L

See also

• LieDerivation LieElement -- apply a derivation