-- -*- M2-comint -*- hash: 17190357263825300316

i1 : M = lieAlgebra({a,b,c},Weights=>{2,1,1})

o1 = M

o1 : LieAlgebra

i2 : L = lieAlgebra{a,b}

o2 = L

o2 : LieAlgebra

i3 : f = map(L,M,{a b,a,0_L})

o3 = f

o3 : LieAlgebraMap

i4 : isWellDefined(3,f)
the map is well defined for all degrees
the map commutes with the differential for all degrees

o4 = true

i5 : describe f

o5 = a =>  - (b a)
     b => a
     c => 0
     source => M
     target => L

i6 : use M

i7 : f (a c - a b)

o7 =  - (a b a)

o7 : L

i8 : 
