Size: 1815
Comment:
|
Size: 1815
Comment:
|
Deletions are marked like this. | Additions are marked like this. |
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 hight *in the examples they are all hight zero or one |
Line 21: | Line 21: |
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 23: |
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(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? |
Line 27: | Line 27: |
LocSol(Aly)--needs testing and debugging | LocSol(Aly) *needs testing and debugging |
Line 29: | Line 29: |
Independant--needs is_linear_independent method on elliptic curves (mwrank from number field to function field--ask Cremona?) --this is dependent on heights |
Independant *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 32: |
PointSearchFF--immediate goal is height zero and one cases | PointSearchFF *immediate goal is height zero and one cases |
Line 34: | Line 34: |
QuartMin(Gerriet)--finished but not tested | QuartMin(Gerriet) *finished but not tested |
Line 36: | Line 36: |
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 38: |
Typos in Examples--compile and fix these | Typos in Examples *compile and fix these |
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 hight
- in the examples they are all hight zero or one
ConcisFF(Kevin) *square roots in residue fields and lifts, also conic solving over QQ (auxiliary,i.e. useful in general)
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?
LocSol(Aly) *needs testing and debugging
Independant *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