### 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)

* Our first positive 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 tate(1).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