#7262: Have multiplcation_by_m() return an EllipticCurveIsogeny object
-------------------------------+--------------------------------------------
Reporter: wuthrich | Owner: davidloeffler
Type: defect | Status: positive_review
Priority: minor | Milestone: sage-4.3.1
Component: elliptic curves | Keywords: elliptic curves, isogeny,
Author: Craig Citro | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-------------------------------+--------------------------------------------
Comment(by craigcitro):
Okay, good point about the codomain -- I'm going to attach a new patch
with that fix. I should mention that I've never actually used the isogeny
'''or''' multiplication by m code myself -- I volunteered for this while
we were triaging during the bug days. So if you don't think the patch is
helpful, feel free to say so ... I won't take it personally. `:)`
I agree that something more sophisticated is definitely called for. I
happened to email Dan Shumow about this, and he had much the same opinion
as you and John: it would be nice to have an endomorphism class that
inherits from isogeny, and then possibly even a multiplication-by-m class
that inherits from that, each avoiding more and more computation. I was
thinking that the first step would be to make things get calculated lazily
in `EllipticCurveIsogeny`, and then people could pick and choose as they
needed things or knew enough to set them up themselves. (This is what I
was thinking in #8014.) Maybe it's a better idea to just make new classes
from the get-go? In any event, you're right, more work is needed ...
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7262#comment:20>
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 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.
