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 : basis(4,L) o4 = {(a a b a), (b a b a), (b b b a)} o4 : List
i5 : f\oo o5 = {0, 0, (b b b a)} o5 : List