# LieAlgebraMap @ LieElement -- formal application of a Lie map to a Lie element

## Synopsis

• Operator: @
• Usage:
y = f@x
• Inputs:
• f, an instance of the type LieAlgebraMap,
• x, an instance of the type LieElement, $x$ is an element in the source of $f$
• Outputs:
• y, an instance of the type LieElement, $y$ is the formal application of $f$ to the Lie element $x$

## Description

 i1 : L = lieAlgebra{a,b} o1 = L o1 : LieAlgebra i2 : M = L/{a a b} o2 = M o2 : LieAlgebra i3 : f = map(M,L) o3 = f o3 : LieAlgebraMap i4 : use L i5 : f@a b b a o5 = (b a b a) o5 : M i6 : normalForm oo o6 = 0 o6 : M