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.