This Type represents homomorphisms of graded (differential) Lie algebras.
i1 : L=lieAlgebra({x},{}) o1 = L o1 : LieAlgebra |
i2 : M=lieAlgebra({x,y},{}) o2 = M o2 : LieAlgebra |
i3 : f = mapLie(L,M,{[x],[]}) o3 = f o3 : MapLie |
i4 : peek f o4 = MapLie{sourceLie => M} targetLie => L x => [x] y => [] |
The object MapLie is a type, with ancestor classes MutableHashTable < HashTable < Thing.