Changes between Initial Version and Version 1 of Ticket #11474, comment 13
 Timestamp:
 04/15/14 09:02:27 (7 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #11474, comment 13
initial v1 1 1 So, if I make it short: 2 2 3 * the idea would be to generalize the "abelian_group" method which is nowonly 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 "nonuniqueness 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.3 * the idea would be to generalize the "abelian_group" method which is currently 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 "nonuniqueness 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. 4 4 * Moreover, it would be nice to do the same separation between isogenies seen as schememorphim and isogenis seen as groupmorphim. 5 5