Differences between revisions 20 and 21
Revision 20 as of 2011-09-21 18:02:30
Size: 2252
Editor: katestange
Comment:
Revision 21 as of 2011-09-21 18:27:03
Size: 2245
Editor: katestange
Comment:
Deletions are marked like this. Additions are marked like this.
Line 43: Line 43:
  * change_weierstrass_model() -- the problem may be my patch didn't work   * change_weierstrass_model() -- the new curve needs to pass flag

Project Leader

Kate

Group Members

Aly, Jenn, Diane, Ekin

Project Description

* KateWishList.sws

  • 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)?

Singular Cubics

Trac ticket 11823

* 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):

  • 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

days33/kates (last edited 2011-10-01 17:59:47 by ekin)