|
Size: 1089
Comment:
|
Size: 1070
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 13: | Line 13: |
| * Implement E.reduction(p) for E defined over a p-adic fields [[http://trac.sagemath.org/sage_trac/ticket/11823|#11823]] | * Implement E.reduction(p) for E defined over a p-adic fields |
| Line 15: | Line 15: |
| * Implement Singular Weierstrass Equations and functionality similar to Elliptic Curves * make E.reduction(bad_prime) able to return this singular cubic object (maybe with a flag?) |
* Implement Singular Weierstrass Equations and functionality similar to Elliptic Curves * make E.reduction(bad_prime) able to return this singular cubic object [[http://trac.sagemath.org/sage_trac/ticket/11823|#11823]] |
Project Leader
Kate
Group Members
Aly, Jenn, Diane
Project Description
Wrap E.reduction(prime)(P) so that we can also use P.reduction(prime) #11822
- Implement E.reduction(p) for E defined over a p-adic fields
- See what exactly is going on in E.global_minimal_model(), is it returning the unique restricted model? If so, update documentation
- Implement Singular Weierstrass Equations and functionality similar to Elliptic Curves
make E.reduction(bad_prime) able to return this singular cubic object #11823
- change weierstrass model, addition of points, P.is_singular() to check if point is node/cusp, etc
- Compute lots of examples to find guesses for bounds on "C"
- p-adic Tate's algorithm
* Put Kate's EDS class into sage (document properly)?