When a minimal model M of a Lie algebra L is computed, using minmodelLie, then the Lie homomorphism from M to L may be obtained as M.modelmap.
i1 : L=lieAlgebra({a,b},{{{1,-1},{[a,a,b],[b,b,a]}}}) o1 = L o1 : LieAlgebra |
i2 : M=minmodelLie 3 o2 = M o2 : LieAlgebra |
i3 : peek M.modelmap o3 = MapLie{fr => [] } 2 fr => [a] 0 fr => [b] 1 sourceLie => M targetLie => L |