|
Size: 496
Comment:
|
Size: 854
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 == |
| Line 10: | Line 16: |
| * 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. |
| Line 12: | Line 18: |
| == Compute E(F_q) == | == Compute E(F_q) and/or #E(F_q) == |
| Line 14: | Line 20: |
== Compute with L-series of elliptic curves over number fields == |
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 ==
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