# Homomorphisms

## `hom< L -> R | a >: RngLocA, Rng, RngElt -> Map`

## `hom< L -> R | cfm, a >: RngLocA, Rng, Map, RngElt -> Map`

Return the homomorphism from the local field $L$ into the ring $R$ whose image of the generator of $L$ is $a$ and whose action on the coefficient field of $L$ is given by $cfm$ if given.