On 18/05/15 11:43, Simon King wrote: > Hi Evrim! > > On 2015-05-18, Simon King <simon.k...@uni-jena.de> wrote: >> I did some tests, and found that I could not construct *any* isomorphism >> of field extensions. Does anyone know how to construct an isomorphism >> between GF(8,'a') and GF(8,'h') leaving the prime field invariant? > > Aha! This is how it works: > > sage: from sage.rings.finite_rings.hom_finite_field import > FiniteFieldHomomorphism_generic > sage: phi = FiniteFieldHomomorphism_generic(Hom(K1,K2)); phi
Or even simpler for that step sage: Ka = GF(8,'a') sage: Kh = GF(8,'h') sage: Hom(Ka,Kh)([Kh.gen()]) Ring morphism: From: Finite Field in a of size 2^3 To: Finite Field in h of size 2^3 Defn: a |--> h or even the one-liner sage: Ka.hom([Kh.gen()]) Ring morphism: From: Finite Field in a of size 2^3 To: Finite Field in h of size 2^3 Defn: a |--> h Vincent -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
