Hello,
In the future (hopefully soon; it is being worked on as I write this, see
http://trac.sagemath.org/ticket/14990) Sage will have algebraic closures of
finite fields; once we have those, you can use the subfield of the
appropriate degree inside the algebraic closure instead of creating
Yes, this is the example:
p=371
Fpr=GF(pow(p,2),'b')
b=Fpr.gen()
FFpr.x=PolynomialRing(Fpr)
EP= x^6 + (973912*b + 2535329)*x^5 + (416282*b + 3608920)*x^4 + (686636*b +
908282)*x^3 + (2100014*b + 2063451)*x^2 + (2563113*b + 751714)*x +
2687623*b + 1658379
A1.theta=Fpr.extension(EP)
Qx=x^6 +
On 25 April 2014 08:26, Irene irene.alv...@gmail.com wrote:
Yes, this is the example:
p=371
Fpr=GF(pow(p,2),'b')
b=Fpr.gen()
FFpr.x=PolynomialRing(Fpr)
EP= x^6 + (973912*b + 2535329)*x^5 + (416282*b + 3608920)*x^4 + (686636*b +
908282)*x^3 + (2100014*b + 2063451)*x^2 + (2563113*b +
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