# 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