If M=minmodelLie of L, then the map from M to L is obtained as M.modelmap.
i1 : L=lieAlgebra{a,b}/{a a a b,b b b a} o1 = L o1 : LieAlgebra |
i2 : M=minmodelLie 4 o2 = M o2 : LieAlgebra |
i3 : f=M.modelmap o3 = f o3 : MapLie |
i4 : peekLie f o4 = MapLie{fr_0 => a } fr_1 => b fr_2 => 0 fr_3 => 0 sourceLie => M targetLie => L |