#7262: Have multiplcation_by_m() return an EllipticCurveIsogeny object
-------------------------------+--------------------------------------------
Reporter: wuthrich | Owner: davidloeffler
Type: defect | Status: needs_review
Priority: minor | Milestone: sage-4.3.1
Component: elliptic curves | Keywords: elliptic curves, isogeny,
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-------------------------------+--------------------------------------------
Comment(by wuthrich):
(Shame that I am sitting in my office, marking exams, when all this action
happens on bugs.)
I fear that speed is an issue, so I am in favour of having both options,
{{{multiplication_by_m_isogeny}}} sounds like a good idea.
In a more long-term vision, you might want to look at #7368. For instance,
I am not sure yet, how one should design isogenies in general. Probably
they should internally remember their factorisation if they came with one.
Like a seperable \circ non-seperable isogeny. Even for the isogeny [m], it
might be much faster if we treat it as \phi \circ \hat\phi when there is a
factorisation like that. etc etc.
But any progress on this is very welcome and the big philiosophical
questions can be looked at later.
Probably you are aware of the related ticket #6413.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7262#comment:3>
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.
