|
Size: 2035
Comment:
|
Size: 2836
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 11: | Line 11: |
| * [[attachment:KateWishList.sws]] * 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 * 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 [[http://trac.sagemath.org/sage_trac/ticket/11823|#11823]] * change weierstrass model, addition of points, P.is_singular() to check if point is node/cusp, etc |
Associated notebook file [[attachment:KateWishList.sws]] Projects are listed by section below. No one is currently working on these ones: |
| Line 19: | Line 16: |
| * p-adic Tate's algorithm | * Put Kate's EDS class into sage (document properly)? |
| Line 21: | Line 18: |
| * Put Kate's EDS class into sage (document properly)? | === Restricted global_minimal_model() === * Ticket needs review! [[http://trac.sagemath.org/sage_trac/ticket/11827|#11827]] === Wrapping E.reduction(prime)(P) === * Ticket needs review! [[http://trac.sagemath.org/sage_trac/ticket/11822|#11822]] === p-adics === * Implement E.reduction(p) for E defined over a p-adic fields: [[attachment:reduction of elliptic curves over padics.sws]] * This found a bug/needed enhancement which is now reported: [[http://trac.sagemath.org/sage_trac/ticket/11826|#11826]] * Tate's algorithm [[attachment:Tate.sws]] |
| Line 27: | Line 37: |
| Functions that seem ok out of the box (so need only documentation adjustment/testing): | * Currently the patch on the trac server will allow one to define singular cubics. |
| Line 29: | Line 39: |
| * a_invariants() etc. (b, c also) | {{{ sage: E = WeierstrassCubic([0,0,0,0,0]) sage: E.is_singular() True }}} |
| Line 31: | Line 45: |
| * discriminant() | * Stuff to do: |
| Line 33: | Line 47: |
| * base_ring() | * Work through elliptic curve documentation, test functions that should work for singular curves, and update the following lists * Document the WeierstrassCubic and SingularWeierstrass classes we've created * Do the stuff on the list below * make E.reduction(bad_prime) able to return this singular cubic object * put the checks back in for EllipticCurve and SingularWeierstrass that it is actually (or is not) singular |
| Line 35: | Line 53: |
| * base_field() | * Functions that seem ok out of the box (so need only documentation adjustment/testing): |
| Line 37: | Line 55: |
| * is_on_curve() | * a_invariants() etc. (b, c also) * discriminant() * base_ring() * base_field() * is_on_curve() * coordinate_ring() * division_polynomial() * formal_group() * multiplication_by_m()? |
| Line 39: | Line 65: |
| * coordinate_ring() | * Functions that should do something appropriate but don't (need coding): |
| Line 41: | Line 67: |
| * division_polynomial() | * j_invariant() -- should probably return +infinity? * change_weierstrass_model() -- the new curve needs to pass flag * base_extend() -- the problem may be my patch didn't work * change_ring() -- the problem may be my patch didn't work * cardinality() -- for finite fields * local stuff....?? * addition of points on a curve (seems to work, but needs to avoid singular point) |
| Line 43: | Line 75: |
| * formal_group() | * Functions that we should write (new): done - see attached worksheet. |
| Line 45: | Line 77: |
| * multiplication_by_m()? * addition of points on a curve Functions that should do something appropriate but don't (need coding): * j_invariant() -- should probably return +infinity? * change_weierstrass_model() -- the problem may be my patch didn't work * base_extend() -- the problem may be my patch didn't work * change_ring() -- the problem may be my patch didn't work * cardinality() -- for finite fields * local stuff....?? Functions that we should write (new): * is_singular() (done) * P.is_singular_point() -- for a point on the curve * singularity_type() -- tells you if it's a node or a cusp * singular_point() -- returns the node or cusp |
[[attachment:singularcurves.sws]] * is_singular() (done) -- this is also accessible as an internal flag: self._is_singular * P.is_singular_point() -- for a point on the curve * singularity_type() -- tells you if it's a node or a cusp * singular_point() -- returns the node or cusp |
Project Leader
Kate
Group Members
Aly, Jenn, Diane, Ekin
Project Description
Associated notebook file KateWishList.sws
Projects are listed by section below. No one is currently working on these ones:
- Compute lots of examples to find guesses for bounds on "C"
- Put Kate's EDS class into sage (document properly)?
Restricted global_minimal_model()
* Ticket needs review! #11827
Wrapping E.reduction(prime)(P)
* Ticket needs review! #11822
p-adics
* Implement E.reduction(p) for E defined over a p-adic fields: reduction of elliptic curves over padics.sws
This found a bug/needed enhancement which is now reported: #11826
* Tate's algorithm Tate.sws
Singular Cubics
* Currently the patch on the trac server will allow one to define singular cubics.
sage: E = WeierstrassCubic([0,0,0,0,0]) sage: E.is_singular() True
* Stuff to do:
- Work through elliptic curve documentation, test functions that should work for singular curves, and update the following lists
Document the WeierstrassCubic and SingularWeierstrass classes we've created
- Do the stuff on the list below
- make E.reduction(bad_prime) able to return this singular cubic object
put the checks back in for EllipticCurve and SingularWeierstrass that it is actually (or is not) singular
* Functions that seem ok out of the box (so need only documentation adjustment/testing):
- a_invariants() etc. (b, c also)
- discriminant()
- base_ring()
- base_field()
- is_on_curve()
- coordinate_ring()
- division_polynomial()
- formal_group()
- multiplication_by_m()?
* Functions that should do something appropriate but don't (need coding):
- j_invariant() -- should probably return +infinity?
- change_weierstrass_model() -- the new curve needs to pass flag
- base_extend() -- the problem may be my patch didn't work
- change_ring() -- the problem may be my patch didn't work
- cardinality() -- for finite fields
- local stuff....??
- addition of points on a curve (seems to work, but needs to avoid singular point)
* Functions that we should write (new): done - see attached worksheet.
- is_singular() (done) -- this is also accessible as an internal flag: self._is_singular
- P.is_singular_point() -- for a point on the curve
- singularity_type() -- tells you if it's a node or a cusp
- singular_point() -- returns the node or cusp