1824
Comment: our group has a page!
|
2234
|
Deletions are marked like this. | Additions are marked like this. |
Line 14: | Line 14: |
* AlysonDeines | |
Line 16: | Line 15: |
Goal--get the examples from the thesis to work | |
Line 17: | Line 17: |
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 |
Line 19: | Line 22: |
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) |
Line 23: | Line 25: |
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 |
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 33: | Line 30: |
Other--decide classes, i.e. where these go and how to get them into trac | LocSol(Aly) *needs testing and debugging |
Line 35: | Line 33: |
Typos in Examples--compile and fix these | 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)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 + ...