Hi Martin,

Basically the module that I have written implements the Edwards model as an 
'EdwardsCurve' class with an
accompanying "EdwardsCurvePoint" class. 
For the methods that I have implemented, I have tried to mimic those in the 
Elliptic Curves library already in Sage.
But I do not have different classes for the different types of base fields 
for it was not necessary for my work. 
Once I have added a patch and people feel that it would be better to have 
these classes, then we can easily do that too. 
Plus, I am also thinking of adding the documentation mimicking that for 
Elliptic Curves.

The main functions that I have implemented as of now are:
1. Point addition
2. Scalar multiplication
3. Additive order of the points
4. Returning random points on the curve 
5. Returning the n-torsion subgroup given n
6. Returning all the points on the curve in the finite field setting
7. Returning the isomorphic Weierstrass model as an 'EllipticCurve' object

These are my further plans:
1. Have a method to obtain an 'EdwardsCurve' given a Weierstrass curve, 
after the base field extension if necessary
2. Implement the analogues of Velu's formulae for computing an isogeny 
given the kernel generators

Adarsh.


-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to