i1 : L = lieAlgebra{a,b} o1 = L o1 : LieAlgebra |
i2 : M = L/{a a b} o2 = M o2 : LieAlgebra |
i3 : f = mapLie(M,L) o3 = f o3 : MapLie |
i4 : useLie L o4 = L o4 : LieAlgebra |
i5 : basisLie 4 o5 = {(a a b a), (b a b a), (b b b a)} o5 : List |
i6 : f oo o6 = {0, 0, (b b b a)} o6 : List |
i7 : apply(oo,class) o7 = {M, M, M} o7 : List |