#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
Component: number theory | Keywords: Elliptic Curves
---------------------------+------------------------------------------------
Comment(by cremona):
That is probably right, but how do you define "normalised"? I think the
definition is that the pull-back of the standard differential w_E =
dx/(2y+a1*x+a3) under the isgeny is again the standard differential; for
[m] the pull-back of w is m*w. Obviously this only makes sense for
separable isogenies, since otherwise the pull-back of w is 0.
Or do you in fact mean "cyclic" isogeny?
We definitely need to be able to handle non-normalised isogenies, if only
because the dual of a normalised isogeny is not normalised (using my
definition above).
I'm in a rush, so apologise if this is nonsense.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5976#comment:10>
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
-~----------~----~----~----~------~----~------~--~---
