#11474: Elliptic curves should be unique parent structures
-----------------------------------+--------------------------
Reporter: SimonKing | Owner: cremona
Type: defect | Status: needs_info
Priority: major | Milestone: sage-6.2
Component: elliptic curves | Resolution:
Keywords: unique parent | Merged in:
Authors: Simon King | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-----------------------------------+--------------------------
Comment (by defeo):
Replying to [comment:8 pbruin]:
> There is also the related question on whether an elliptic curve ''E''
itself or the Abelian group of rational points of ''E'' should be regarded
as the parent of the rational points of ''E''. Same question for the
(co)domain of isogenies; see #12880.
What happened to the idea of having the MW group as an object different
from the elliptic curve? Possibly attaching different representations of
it to the same curve? The sage-nt discussion mentions it, but I don't see
any trace of it in the patch.
I really like the idea, as I like the general idea of having the Abelian
group of (rational?) points as a separate object.
Sébastien (cc-ed) is working on this (and the related questions with
isogenies) for its masters' thesis. If there is a consensus on having a
separate object for the Abelian group, I think he will be happy (or at
least his advisor will :) to do it and finalize this ticket.
--
Ticket URL: <http://trac.sagemath.org/ticket/11474#comment:10>
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.
