Differences between revisions 2 and 5 (spanning 3 versions)
Revision 2 as of 2010-05-28 22:39:43
Size: 1815
Editor: AlysonDeines
Comment:
Revision 5 as of 2010-05-29 00:18:00
Size: 2234
Comment:
Deletions are marked like this. Additions are marked like this.
Line 15: Line 15:
Goal--get the examples from the Thesis to work Goal--get the examples from the thesis to work
Line 17: Line 17:
Pointsearch--height zero or one, easy, since we just need a point, we can possibly just do this ourselves
           --eventually need the whole thing, since points might have larger hight
           --in the examples they are all hight zero or one
Pointsearch              *height zero or one, easy, since we just need a point, we can possibly just do this ourselves
            *eventually need the whole thing, since points might have larger height
            *in the examples they are all height zero or one
Line 21: Line 22:
ConcisFF(Kevin)--square roots in residue fields and lifts, also conic solving over QQ (auxiliary,i.e. useful in general) ConcisFF(Kevin)              *square roots in residue fields and lifts, also conic solving over QQ (auxiliary,i.e. useful in general)
Line 23: Line 25:
DescentFF(all-ish)--in the process of being decomposed and doctested/tested
                  --need to find intersections of curves (points) -restrict to hight zero or one?
                  --find all the singular points? make this case work?
DescentFF(Kevin and Jen)              *in the process of being decomposed and doctested/tested
            *need to find intersections of curves (points) -restrict to hight zero or one?
            *find all the singular points? make this case work?
Line 27: Line 30:
LocSol(Aly)--needs testing and debugging LocSol(Aly)              *needs testing and debugging
Line 29: Line 33:
Independant--needs is_linear_independent method on elliptic curves (mwrank from number field to function field--ask Cremona?)
           --this is dependent on heights
Independent(Jen)
            *
needs is_linear_independent method on elliptic curves (mwrank from number field to function field--ask Cremona?)
            *this is dependent on heights
Line 32: Line 37:
PointSearchFF--immediate goal is height zero and one cases PointSearchFF              *immediate goal is height zero and one cases
Line 34: Line 40:
QuartMin(Gerriet)--finished but not tested QuartMin(Gerriet)              *finished but not tested
Line 36: Line 43:
Other--decide classes, i.e. where these go and how to get them into trac Other              *decide classes, i.e. where these go and how to get them into trac
Line 38: Line 46:
Typos in Examples--compile and fix these Typos in Examples
            *compile and fix these
            * p. 34: (3.15) T+36 should be T+56
            * p. 35: should be (d_1, d_2) = ((T+17)(T+25),1) (not (T+17)(T+35))
            * p. 35: should be (1) (T+17)(T+25)Z,,1,,^2^ - Z,,2,,^2^ + ...
            * p. 35: should be (2) (T+17)(T+25)Z,,1,,^2^ - (T+17)(T+25)Z,,3,,^2^ + ...

Goal--get the examples from the thesis to work

Pointsearch

  • height zero or one, easy, since we just need a point, we can possibly just do this ourselves
  • eventually need the whole thing, since points might have larger height
  • in the examples they are all height zero or one

ConcisFF(Kevin)

  • square roots in residue fields and lifts, also conic solving over QQ (auxiliary,i.e. useful in general)

DescentFF(Kevin and Jen)

  • in the process of being decomposed and doctested/tested
  • need to find intersections of curves (points) -restrict to hight zero or one?
  • find all the singular points? make this case work?

LocSol(Aly)

  • needs testing and debugging

Independent(Jen)

  • needs is_linear_independent method on elliptic curves (mwrank from number field to function field--ask Cremona?)
  • this is dependent on heights

PointSearchFF

  • immediate goal is height zero and one cases

QuartMin(Gerriet)

  • finished but not tested

Other

  • decide classes, i.e. where these go and how to get them into trac

Typos in Examples

  • compile and fix these
  • p. 34: (3.15) T+36 should be T+56
  • p. 35: should be (d_1, d_2) = ((T+17)(T+25),1) (not (T+17)(T+35))
  • p. 35: should be (1) (T+17)(T+25)Z12 - Z22 + ...

  • p. 35: should be (2) (T+17)(T+25)Z12 - (T+17)(T+25)Z32 + ...

daysff/pms (last edited 2010-06-04 23:08:32 by KevinWilson)