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.
V2.28, 13 July 2023