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
|