Changes between Initial Version and Version 1 of Ticket #11474, comment 13


Ignore:
Timestamp:
04/15/14 09:02:27 (6 years ago)
Author:
sbesnier
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #11474, comment 13

    initial v1  
    11So, if I make it short:
    22
    3 * 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.
     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 "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.
    44* Moreover, it would be nice to do the same separation between isogenies seen as scheme-morphim and isogenis seen as group-morphim.
    55