#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 sbesnier):
So, if I make it short:
* the idea would be to generalize the "abelian_group" method which is now
only avaible for EC on Galois fields to all the EC in order to have an
actual "AbelianGroup" in the sage category system (in addition with
"Scheme"). Hence, the "non-uniqueness of set of generators" problem is
moved into this "new" class of "Abelian Group of points on EC..." and it
is easy to make EC unique.
* Moreover, it would be nice to do the same separation between isogenies
seen as scheme-morphim and isogenis seen as group-morphim.
Am I right? May I begin to refactoring the code in this way?
I've disscussed today with Luca today and he thinks that would be good to
create a new category "AbelianVarieties" which require to implement this
"abelian_group" method. What do you think about that ?
--
Ticket URL: <http://trac.sagemath.org/ticket/11474#comment:13>
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.
