# 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_1, \ldots, b_n]$, $b_i \in B$, indicating that the $i$-th basis element of $L$ is mapped to $b_1$ or of the form $[<a_1,b_1>, \ldots, <a_n,b_n>]$ indicating that $a_i$ maps to $b_i$, where the $a_i (1 \le i \le 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.