#6341: implement Mestre's algorithm for constructing genus 2 hyperelliptic
curves
-------------------------------------+-------------------------------------
Reporter: ncalexan | Owner: was
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-feature
Component: number theory | Resolution:
Keywords: mestre algorithm | Merged in:
genus 2 hyperelliptic curves sd35 | Reviewers: Lassina Dembele,
sd51 | Fredrik Stromberg
Authors: Florian Bouyer, | Work issues:
Marco Streng | Commit:
Report Upstream: N/A | Stopgaps:
Branch: |
u/fstromberg/ticket/6341 |
Dependencies: |
-------------------------------------+-------------------------------------
Old description:
> *** this ticket is still using the old workflow, just apply patches and
> ignore the "branch" field ***
>
> An implementation of Mestre's algorithm for reconstructing genus 2
> hyperelliptic curves from their invariants.
>
> This is limited to fields of characteristic not 2, 3, 5 and to curves
> with automorphism group generated by the hyperelliptic involution. Curve
> equations are not reduced, hence are unusably large over QQ, but see
> below.
>
> That's it. Various other tickets deal with extensions:
>
> * #14755 reduces the discriminant of the hyperelliptic curve (essential
> for getting usable models over number fields)
> * #14756 reduces the hyperelliptic curve equation once the discriminant
> is minimal (also essential for getting usable models over number fields).
> * #12199 treats the case of larger automorphism groups
> * #12200 is about characteristic 2, 3, 5
>
> Apply:
> * [attachment:6341-mestre-only.patch]
> * [attachment:trac_6341-mestre-only_cleanup.patch]
> * [attachment:trac_6341_correcttions.patch]
> * [attachment:6341-more-corrections.3.patch]
New description:
*** this ticket is still using the old workflow, just apply patches and
ignore the "branch" field ***
An implementation of Mestre's algorithm for reconstructing genus 2
hyperelliptic curves from their invariants.
This is limited to fields of characteristic not 2, 3, 5 and to curves with
automorphism group generated by the hyperelliptic involution. Curve
equations are not reduced, hence are unusably large over QQ, but see
below.
That's it. Various other tickets deal with extensions:
* #14755 reduces the discriminant of the hyperelliptic curve (essential
for getting usable models over number fields)
* #14756 reduces the hyperelliptic curve equation once the discriminant is
minimal (also essential for getting usable models over number fields).
* #12199 treats the case of larger automorphism groups
* #12200 is about characteristic 2, 3, 5
Apply:
* [attachment:6341.patch]
--
Comment (by mstreng):
I combined the patches into one, for easier review. Apply only 6341.patch
--
Ticket URL: <http://trac.sagemath.org/ticket/6341#comment:34>
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.
