Differences between revisions 3 and 9 (spanning 6 versions)
⇤ ← Revision 3 as of 2010-05-28 22:41:18 →
Size: 1815
Editor: AlysonDeines
Comment:
← Revision 9 as of 2010-06-04 23:08:32 → ⇥
Size: 2927
Editor: KevinWilson
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?) Independent(Jen)
            *needs is_linear_independent method on elliptic curves (mwrank from number field to function field--ask Cremona?)
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) ([[attachment:quartmin_ff.sage|current implementation]])
            *finished but not tested
            *UPDATE (6/4): When Kevin and Jen were trying to put everything together, they noticed that this file actually isn't used in DAR's original code. Turns out, if you read his thesis closely, it should in fact *never* be used. So nothing's wrong with his algorithm, we just have an extra file. Kevin and Jen are now discontinuing work on this file.
Line 36: Line 44:
Other *decide classes, i.e. where these go and how to get them into trac Other
            *Need to put the following functions into ell_function_field:
            ** gens()
            ** rank()
            ** torsion_subgroup() (need Mazur's theorem!!!!)
            
Line 38: Line 51:
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^ + ...
Comments:
            * p. 34: quadric intersection in (3.16) depends on the labeling of two torsion as in (3.14). See TD_full comment at the top of the code.

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) (current implementation)

  • finished but not tested
  • UPDATE (6/4): When Kevin and Jen were trying to put everything together, they noticed that this file actually isn't used in DAR's original code. Turns out, if you read his thesis closely, it should in fact *never* be used. So nothing's wrong with his algorithm, we just have an extra file. Kevin and Jen are now discontinuing work on this file.

Other

  • Need to put the following functions into ell_function_field:
  • * gens()
  • * rank()
  • * torsion_subgroup() (need Mazur's theorem!!!!)

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 + ...

Comments:

  • p. 34: quadric intersection in (3.16) depends on the labeling of two torsion as in (3.14). See TD_full comment at the top of the code.

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