# LieDerivation LieElement -- apply a derivation

## Synopsis

• Operator: SPACE
• 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 result of applying $d$ to the element $x$

## Description

 i1 : L = lieAlgebra{a,b} o1 = L o1 : LieAlgebra i2 : d = lieDerivation{a,b} o2 = d o2 : LieDerivation i3 : d a a a b a o3 = 5 (a a a b a) o3 : L