#16115: Class misconception with isogenies
-------------------------------------+------------------------
Reporter: sbesnier | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.3
Component: elliptic curves | Resolution:
Keywords: days57 | Merged in:
Authors: Sébastien Besnier | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: #12880 | Stopgaps:
-------------------------------------+------------------------
Comment (by cremona):
I implemented Weierstrass morphisms in 2007: it was the first piece of
Sage development I did. Until that time it was impossible to change
models or move points from one model to another! And the implementation
of isogenies was done much later than that.
I do agree that the EllipticCurveIsogeny class is not designed in the way
I would want it to be, but it works well enough and has been used an
enormous amount over QQ and over number fields, even if it has not been
possible (for example) to compose isogenies.
I also agree with Peter that the domain and codomain must be elliptic
curves, and not sets or groups of points.
I am currently working on extending the class IsogenyClass_EC to work over
number fields. I don't expect that the work done on this and related
tickets will affect that a lot.
--
Ticket URL: <http://trac.sagemath.org/ticket/16115#comment:8>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
