base extend for hyperelliptic curves

[mstreng]

sage: R.<x> = QQ[]
sage: H = HyperellipticCurve(x^5+x+1)
sage: E = EllipticCurve([0,0,0,1,1])
sage: E.change_ring(RR)
Elliptic Curve defined by y^2 = x^3 + 1.00000000000000*x + 1.00000000000000 over Real Field with 53 bits of precision
sage: E.base_extend(RR)
Elliptic Curve defined by y^2 = x^3 + 1.00000000000000*x + 1.00000000000000 over Real Field with 53 bits of precision
sage: H.change_ring(RR)
Hyperelliptic Curve over Real Field with 53 bits of precision defined by y^2 = x^5 + x + 1.00000000000000
sage: H.base_extend(RR)
Closed subscheme of Projective Space of dimension 2 over Real Field with 53 bits of precision defined by:
  -x0^5 + x1^2*x2^3 - x0*x2^4 - x2^5

The last output should be a hyperelliptic curve object too.

CC: @jpflori

Component: geometry

Keywords: base extend hyperelliptic curve sd53

Author: Marco Streng

Branch: u/jpflori/ticket/15108

Reviewer: Jean-Pierre Flori

Issue created by migration from https://trac.sagemath.org/ticket/15108

[mstreng]

Author: Marco Streng

[mstreng]

comment:2

apply 15108.patch

[mstreng]

comment:3

This patch speeds up the count_points method for hyperelliptic curves over finite fields.

[jpflori]

Changed keywords from base extend hyperelliptic curve to base extend hyperelliptic curve sd53

[jpflori]

Reviewer: Jean-Pierre Flori

[jpflori]

comment:6

Looks fine to me.
I made the trivial rebase against the latest beta.

[jpflori]

Branch: u/jpflori/15108

[jpflori]

Changed branch from u/jpflori/15108 to u/jpflori/ticket/15108

[jdemeyer]

comment:8

Please make it clear whether the patch should be applied or the branch merged (in the latter case, move the milestone to sage-6.0)

[jpflori]

comment:9

Merge the branch.