#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):
Just uploaded isogeny_v4.patch,
This adds:[[BR]]
-"is_normalized" function[[BR]]
-isogeny and isogeny_codomain functions to the ell_field file, so that we
can say E.isogeny(...) and it returns EllipticCurveIsogeny(E, ...) and
also E.isogeny_codomain(...) that returns the codomain only of the isogeny
from E with given kernel data.[[BR]]
-100% doctests[[BR]]
Next, I will finish the Starks algorithm and a function to compute the
dual. After that I would say (modulo feedback from a review) that this
will be good to checkin.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5976#comment:29>
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
-~----------~----~----~----~------~----~------~--~---
