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 |