|
Size: 2567
Comment:
|
← Revision 9 as of 2010-06-04 23:08:32 ⇥
Size: 2927
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 40: | Line 40: |
| QuartMin(Gerriet) ([[attachment:quartmin_ff.sage|current implementation]] | QuartMin(Gerriet) ([[attachment:quartmin_ff.sage|current implementation]]) |
| Line 42: | Line 42: |
| *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. |
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.