next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
GradedLieAlgebras :: evalMapLie

evalMapLie -- the value of a Lie homomorphism applied to an argument

Synopsis

Description

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

See also

Ways to use evalMapLie :