The zero map from L to M is a Lie homomorphism
i1 : L = lieAlgebra{a,b} o1 = L o1 : LieAlgebra |
i2 : M = lieAlgebra{a,b} o2 = M o2 : LieAlgebra |
i3 : f=zeroMap(M,L) o3 = 0 o3 : LieAlgebraMap |
i4 : describe f o4 = a => 0 b => 0 source => L target => M |