#11095: Add BMSS algorithm for isogenies of elliptic curves
-------------------------------------+-------------------------------------
Reporter: defeo | Owner: cremona
Type: enhancement | Status: needs_review
Priority: minor | Milestone: sage-pending
Component: elliptic curves | Resolution:
Keywords: isogenies ecc2011 | Merged in:
Authors: Luca De Feo | Reviewers: John Cremona, Marco
Report Upstream: N/A | Streng
Branch: | Work issues:
u/pbruin/11095-isogeny_char_zero | Commit:
Dependencies: | 8cae4a71b0836ee6ed2e5607ff3040a0cd538923
| Stopgaps:
-------------------------------------+-------------------------------------
Comment (by defeo):
Thanks Peter for resurrecting this old ticket of mine. I have no
objections to the file renaming.
Back in 2011 Marco Streng and I bypassed Trac and discussed this ticket
via mail. I feel I must make an update to explain why the ticket was set
to needs work back then.
Essentially, Marco was unhappy about the documentation for two reasons.
1. It wasn't clear whether Stark's algorithm could fail silently. I just
had a look at it. It can. I'm commiting the necessary modifications to the
docs.
2. The docstring talks about THE normalized isogeny of degree at most
`degree`, but it wasn't immediately clear that this isogeny should be
unique. Marco himself gave the proof of unicity. This is explained in the
note in the docstring of `isogeny_BMSS`.
I can't find any other issue in my mail logs, so it is good to go for me.
--
Ticket URL: <http://trac.sagemath.org/ticket/11095#comment:31>
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/d/optout.
