Homomorphisms

hom<L -> M | Q> : AlgLie, AlgLie, [ AlgLieElt ] -> Map

hom<L -> M | Q> : AlgLie, TupMod, [ TupModElt ] -> Map

Given a (structure constant) Lie algebra L of dimension n over R and either a Lie algebra M over R or a module M over R, the homomorphism from L to M specified by Q is constructed. The sequence Q may be of the form [b₁, ..., b_n], b_i ∈B, indicating that the i-th basis element of L is mapped to b₁ or of the form [<a₁, b₁>, ..., <a_n, b_n>] indicating that a_i maps to b_i, where the a_i (1 ≤i ≤n) must form a basis of L.

Note that this is in general only a module homomorphism, and no check is made for it being an algebra homomorphism.