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 = 0 o5 : M