|
Size: 1824
Comment: our group has a page!
|
← Revision 9 as of 2010-06-04 23:08:32 ⇥
Size: 2927
Comment:
|
| 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) ([[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. 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)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.