Hi, the following code doesn't finish computation:
p = 82434016654300679721217353503190038836571781811386228921167322412819029493183 F = GF(p) Fu.<u> = F[] Fext2.<X> = GF(p**2, name='X', modulus=u**2 + 2) xi = X + 1 xibar = 1 - X Fext2v.<v> = Fext2[] Fext6.<Y> = GF(p**6, name='Y', modulus=v**3 - xi) Fext6w.<w> = Fext6[] zeta = (Y**(p**2 - 1))**2 When using something like a = Y^100 instead of zeta = (Y**(p**2 - 1))**2 it appears that Sage (or pari) doesn't do reduction in the quadratic extension Fext2, the output is (X^33 + 33*X^32 + 528*X^31 + 5456*X^30 + 40920*X^29 + 237336*X^28 + 1107568*X^27 + 4272048*X^26 + 13884156*X^25 + 38567100*X^24 + 92561040*X^23 + 193536720*X^22 + 354817320*X^21 + 573166440*X^20 + 818809200*X^19 + 1037158320*X^18 + 1166803110*X^17 + 1166803110*X^16 + 1037158320*X^15 + 818809200*X^14 + 573166440*X^13 + 354817320*X^12 + 193536720*X^11 + 92561040*X^10 + 38567100*X^9 + 13884156*X^8 + 4272048*X^7 + 1107568*X^6 + 237336*X^5 + 40920*X^4 + 5456*X^3 + 528*X^2 + 33*X + 1)*Y Kind regards, Peter
signature.asc
Description: Digital signature