f=zeroMap(M,L)
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
The object zeroMap is a method function.