#5976: [with patch; needs work] Add an Elliptic Curve Isogeny object
---------------------------+------------------------------------------------
Reporter: shumow | Owner: shumow
Type: enhancement | Status: assigned
Priority: major | Milestone: sage-4.0.1
Component: number theory | Keywords: Elliptic Curves
---------------------------+------------------------------------------------
Comment(by shumow):
I rebased the patch onto 4.0.rc0. Hopefully this will not be jumping so
many versions that it causes a problem.
The latest version is in isogeny_v3.patch.
The code I wrote that implemented "switch_sign" as well as unary negation,
actually gives the ability to (post) compose with any W.iso, see the
function set_post_isomorphism.
This still isn't ready to go in terms of being checked in, because I'm not
at 100% doctests (I'm at 59% now.) That said, the only things that I need
to write doctests for at this point are internal functions, which I know
have already been exercised by other doc tests.
My next "to do" items on this code are (in order of priority):
-Finish doctests
-add the isogeny function to ell_field
-add a function "is_normalized"
-finish implementing starks method
-use starks method to implement computing the dual
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5976#comment:28>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
