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

idMapLie -- the identity map

Synopsis

Description

The identity map is named id when peekLie is applied. Also, when peekLie is applied to an ordinary derivation L -> L, the identity map in the definition of the derivation is named id. The identity map on L may also be obtained as mapLie(L,L) or imapLie(L,L).

i1 : L = lieAlgebra{a,b}

o1 = L

o1 : LieAlgebra
i2 : f = idMapLie()

o2 = f

o2 : MapLie
i3 : peekLie f

o3 = id
i4 : peek f

o4 = MapLie{a => a        }
            b => b
            sourceLie => L
            targetLie => L
i5 : peekLie derLie{a b,L.zz}

o5 = a =>  - (b a)
     b => 0
     maplie => id
     sign => 0
     weight => {1, 0}
     sourceLie => L
     targetLie => L

See also