#15108: base extend for hyperelliptic curves
-------------------------------------------------+-------------------------
Reporter: mstreng | Owner:
Type: defect | Status:
Priority: major | positive_review
Component: geometry | Milestone: sage-5.13
Keywords: base extend hyperelliptic | Resolution:
curve sd53 | Merged in:
Authors: Marco Streng | Reviewers: Jean-
Report Upstream: N/A | Pierre Flori
Branch: u/jpflori/15108 | Work issues:
Dependencies: | Commit:
| Stopgaps:
-------------------------------------------------+-------------------------
Changes (by jpflori):
* status: needs_review => positive_review
* reviewer: => Jean-Pierre Flori
* branch: => u/jpflori/15108
* milestone: sage-5.12 => sage-5.13
Old description:
> {{{
>
> 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.
>
> Apply [attachment:15108.patch]
New description:
{{{
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.
--
Comment:
Looks fine to me.
I made the trivial rebase against the latest beta.
--
Ticket URL: <http://trac.sagemath.org/ticket/15108#comment:6>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
