Vincent, thanks for the easy solution, Simon, thanks for the internals, and a quick lecture here.
Below is what i've got. Best, evrim. Ka.<a> = GF(8,'a') Kh.<h> = GF(8,'h') hom1 = Ka.hom([Kh.gen()]) R1.<x> = Ka[] R2.<l0, l1, l2, f0, f1, f2, f3, f4, f5, f6, f7, b0, b1, b2, b3, x, y> = Kh[] F, R = R2.construction() print F # This is a functor of rings that creates a polynomial ring # MPoly[l0,l1,l2,f0,f1,f2,f3,f4,f5,f6,f7,b0,b1,b2,b3,x,y] hom2 = F(hom1) # sage: hom2 # Ring morphism: # From: Multivariate Polynomial Ring in l0, l1, l2, f0, f1, f2, f3, f4, f5, f6, f7, b0, b1, b2, b3, x, y over Finite Field in a of size 2^3 # To: Multivariate Polynomial Ring in l0, l1, l2, f0, f1, f2, f3, f4, f5, f6, f7, b0, b1, b2, b3, x, y over Finite Field in h of size 2^3 # Defn: Induced from base ring by # Ring morphism: # From: Finite Field in a of size 2^3 # To: Finite Field in h of size 2^3 # Defn: a |--> h # sage: f = R1.random_element() # sage: f # x^2 + a*x + a^2 + a # sage: hom2(f) # x^2 + (h)*x + (h^2 + h) 2015-05-18 13:41 GMT+03:00 Simon King <[email protected]>: > Hi Vincent, > > On 2015-05-18, Vincent Delecroix <[email protected]> wrote: > > 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 > > Strange. It was the first thing that I tried, but it didn't work for me. > Perhaps I had a typo in it. > > Anyway, yes, that's simpler. > > Best regards, > Simon > > > -- > You received this message because you are subscribed to a topic in the > Google Groups "sage-support" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/sage-support/zYoDnuoqr1g/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sage-support. > For more options, visit https://groups.google.com/d/optout. > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
