|
Size: 1815
Comment:
|
Size: 2395
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^ + ... 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)
- 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 + ...
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.