|
Size: 365
Comment:
|
Size: 1214
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| == Get doctest coverage up to 100% == | |
| Line 4: | Line 5: |
| == fix all the precision and other TODO issues listed in William's talk == [http://wstein.org/talks/20070930-stein-bsd/ Slides] |
== Period Lattice == * Make it so precision can be specified (in bits) * Make an abstract "period lattice" class |
| Line 7: | Line 9: |
| == conductors over number fields == | == Implement Tate's algorithm over number fields == * This means porting Cremona's code. David Roe started on this. * This will give computation of conductors over number fields. == Compute the Neron-Tate canonical height of points on elliptic curves over number fields == * Start with David Kohel and Martin Giraud: package/Geometry/CrvEll/anf_height.m |
| Line 10: | Line 17: |
| * E.g., separate out all the L-series commands into an L-series class, e.g., like padic_lseries right now. | 1. separate out all the L-series commands into an L-series class, e.g., like padic_lseries right now. == Compute E(F_q) and/or #E(F_q) == * Implement smart baby step-giant step (Albrecht, Sutherland) == Compute with L-series of elliptic curves over number fields == * Use Dokchitser to compute L-function == Sympow improvement == * Improve Sage wrapper (a lot) * In particular, should autogenerate the needed data files. [http://wiki.sagemath.org/days5/proj/ellcurve?action=AttachFile&do=get&target=ell_split.hg Breaking up ell_rational_field, adding Tate's algorithm] |
Elliptic Curve
Get doctest coverage up to 100%
Period Lattice
- Make it so precision can be specified (in bits)
- Make an abstract "period lattice" class
Implement Tate's algorithm over number fields
- This means porting Cremona's code. David Roe started on this.
- This will give computation of conductors over number fields.
Compute the Neron-Tate canonical height of points on elliptic curves over number fields
- Start with David Kohel and Martin Giraud: package/Geometry/CrvEll/anf_height.m
Reorganize and refactor the ell_rational_field file
- separate out all the L-series commands into an L-series class, e.g., like padic_lseries right now.
Compute E(F_q) and/or #E(F_q)
- Implement smart baby step-giant step (Albrecht, Sutherland)
Compute with L-series of elliptic curves over number fields
- Use Dokchitser to compute L-function
Sympow improvement
- Improve Sage wrapper (a lot)
- In particular, should autogenerate the needed data files.
[http://wiki.sagemath.org/days5/proj/ellcurve?action=AttachFile&do=get&target=ell_split.hg Breaking up ell_rational_field, adding Tate's algorithm]