Homomorphisms from Fields

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.