The Lie homomorphism f of class MapLie may be applied to a monomialLie or a generalExpressionLie in f:sourceLie
i1 : L1=lieAlgebra({a,b,c},{{{1,-1},{[b,c],[a,c]}}},genWeights => {1,1,2},genSigns=>{1,1,0}) o1 = L1 o1 : LieAlgebra |
i2 : M=minmodelLie 3 o2 = M o2 : LieAlgebra |
i3 : f=M.modelmap o3 = f o3 : MapLie |
i4 : peek f o4 = MapLie{fr => [] } 3 fr => [a] 0 fr => [b] 1 fr => [c] 2 sourceLie => M targetLie => L1 |
i5 : evalMapLie(f,[fr_0,fr_1,fr_1]) o5 = {{-2}, {[b, b, a]}} o5 : List |
i6 : peek f o6 = MapLie{[fr , fr , fr ] => {{-2}, {[b, b, a]}}} 0 1 1 fr => [] 3 fr => [a] 0 fr => [b] 1 fr => [c] 2 sourceLie => M targetLie => L1 |