|
Size: 1181
Comment:
|
Size: 1089
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 7: | Line 7: |
| Aly, Jen, Diane | Aly, Jenn, Diane |
| Line 12: | Line 12: |
| * Wrap E.reduction(prime)(P) so that we can also use P.reduction(prime) * Implement E.reduction(p) for E defined over a p-adic fields |
* Wrap E.reduction(prime)(P) so that we can also use P.reduction(prime) [[http://trac.sagemath.org/sage_trac/ticket/11822|#11822]] * Implement E.reduction(p) for E defined over a p-adic fields [[http://trac.sagemath.org/sage_trac/ticket/11823|#11823]] |
| Line 23: | Line 23: |
| == Quick Sage Example == def reduction(self,p): """ This is going to be documentation. This is a simple version of wrapping a function. The next step is to make a patch with this in the correct place in the code. """ P = self E = P.curve() return E.reduction(p)(P) |
=== Singular Cubics === [[http://trac.sagemath.org/sage_trac/ticket/11823 | Trac ticket 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 #11823
- 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 (maybe with a flag?)
- 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)?