Can you post a complete example? The following (simple) example works for me (at least in 6.2.beta8):
sage: F=GF(5).extension(2) sage: A1.<y>=F.extension(x^2+3) sage: A2.<z>=F.extension(x^2+3) sage: A1.hom([z],A2) Ring morphism: From: Univariate Quotient Polynomial Ring in y over Finite Field in a of size 5^2 with modulus y^2 + 3 To: Univariate Quotient Polynomial Ring in z over Finite Field in a of size 5^2 with modulus z^2 + 3 Defn: y |--> z Peter Op donderdag 24 april 2014 16:55:34 UTC+1 schreef Irene: > > I have defined two extensions A1 and A2 over a finite field Fp2 with > generator b, > > A1.<theta>=Fp2.extension(Ep) > A2.<z>=Fp2.extension(Q) > > being Ep and Q polynomials. > > Now I want to define a homomorphism between those algebras. I have already > computed alpha, that is the element in A2 where theta is mapped, but Sage > doesn't allow me to define it as: > > A1.hom([alpha], A2) > > Do you know how to do it? > > Irene > -- 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.
