#13615: Extend elliptic curve isogenies to arbitrary prime degrees
-----------------------------------+-----------------------------
Reporter: cremona | Owner: John Cremona
Type: enhancement | Status: new
Priority: major | Milestone: sage-5.11
Component: elliptic curves | Resolution:
Keywords: isogenies, sd51 | Merged in:
Authors: Kimi Tsukazaki | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Dependencies:
Stopgaps: |
-----------------------------------+-----------------------------
Comment (by cremona):
The patches apply fine to version 5.11.beta3. But there are some issues
which need to be addressed:
1. The references to John C and Jenny C need to be moved to the new
file, and the header information on the new file needs to be completed
with additional author, dates, etc. with a citation to Kimi's thesis for
justification of all the formulae.
2. Some new functions have no docstring, or no one-line summary:
{{{hyperelliptic_isogeny_data}}}, {{{Psi2}}}.
3. {{{least_semi_primitive}}} docstring missing an asterisk.
4. The interface to the isogeny function from the elliptic curve class
in {{{ell_field.py}}} needs to be updated, otherwise the new functionality
will not be available to users! This should include a new helper
function in {{{isogenies_genus_0}}} which makes the decision about which
of the three functions to call. It will also be necessary to disable the
code which allows for an empty list of primes to be given, since we can
now handle *all* primes with the sole exception of the characteristic.
--
Ticket URL: <http://trac.sagemath.org/ticket/13615#comment:5>
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.
