id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
15754,Frobenius polynomial of hyperelliptic curve does not account for base field,kedlaya,,"When one defines a hyperelliptic curve over a prime field and then changes the base ring to an extension field, the Frobenius polynomial should change accordingly. Currently it does not:
{{{
sage: P. = PolynomialRing(GF(37))
sage: u = x^5 + 2*x + 1
sage: H = HyperellipticCurve(u)
sage: H.frobenius_polynomial()
x^4 - 2*x^3 + 48*x^2 - 74*x + 1369
sage: F. = GF(37^2)
sage: HF = H.change_ring(F)
sage: HF.frobenius_polynomial()
x^4 - 2*x^3 + 48*x^2 - 74*x + 1369
}}}",defect,closed,major,sage-duplicate/invalid/wontfix,number theory,duplicate,"hyperelliptic curve, Frobenius polynomial, base change",jpflori,,,Jean-Pierre Flori,N/A,,,,,