y = f@x
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