|
Size: 1179
Comment:
|
Size: 3602
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 6: | Line 6: |
| 1. Regulators over number fields | 1. Regulators over number fields. NB over $\mathbf{Q}$ there are two functions, regulator() and regulator_of_points(), and it is the second of these which can be trivially implemented. Just copy the code from ell_rational_field.py into ell_number_field.py; also copy height_pairing_matrix(). In each case I mean "move" rather than "copy". Then in each case add doctests with a couple of examples over number fields. The other function (regulator) is something which depends on having an actual MW basis, so is not for now. See ticket #9372: JEC has uploaded a patch which is ready for review. (Aly and Jeremy -- reviewed, assuming just the doctest needed changed, positive review) |
| Line 8: | Line 8: |
| 2. Linear dependencies over number fields | 2. Linear dependencies of points over number fields (and over Q), modulo torsion. The attached file [[attachment:mwnf.m]] has Magma code for this (written by me) which may be useful, though you will have to find the Sage equivalent of LLLgram(). That function takes a gram matrix (of not-necessarily full rank) and returns a reduced gram matrix and a matrix in GL(n,Z) and the rank r. (Aly, Jeremy, Jim) $\mathbf{Note:}$ the Sage equivalent of LLLgram() is LLL_gram() which is a method for integer matrices. |
| Line 10: | Line 10: |
| 3. Finish ticket #8829 on saturation over number fields. | |
| Line 12: | Line 11: |
| 4. Kilford's rank function patch #9342: complete and review. | 3. Finish ticket #8829 on saturation over number fields. [This depends on item 1.] Probably a job for JEC since he reviewed robertwb's patch and suggested changes, which he will now implement. |
| Line 14: | Line 13: |
| 5. Integral points over number fields | 4. Kilford's rank function patch #9342: completed needs review. (Aly and Jeremy)(Done, has a positive review) |
| Line 16: | Line 15: |
| 6. $S$-integral points over number fields | 5. Integral points over number fields: ongoing project work re-implementing Nook's Magma code. |
| Line 18: | Line 17: |
| 7. $S$-class groups | 6. $S$-integral points over number fields: ongoing project work, based on Smart-Stephens and taking as a model the code over $\mathbb{Q}$ for $S$-integral points. |
| Line 20: | Line 19: |
| 8. K-Selmer groups esp. $K(S,4)$ and $K(S,2)_4$ | 7. $S$-class groups: on going project work. |
| Line 22: | Line 21: |
| 9. All curves with e.g.r. | 8. K-Selmer groups esp. $K(S,4)$ and $K(S,2)_4$: ongoing project work. |
| Line 24: | Line 23: |
| 10. All curves with e.g.r. outside $S$ (using most of the above) | 9. All curves with e.g.r.: putting together a lot of the above! When the time comes, I have some complete lists over imaginary quadratic fields of class number 1 which will be helpful. |
| Line 26: | Line 25: |
| 11. Iterating through number field elements by height; special case for integers; simpler version not by height. | 10. All curves with e.g.r. outside $S$ (using most of the above again) |
| Line 28: | Line 27: |
| 12. Heights on projective space over number fields (Jackie's code) | 11. Iterating through number field elements by height; special case for integers; simpler version not by height. Ongoing project work. |
| Line 30: | Line 29: |
| 13. Elkies-Watkins over number fields -- post what function you have by the end of the week. | 12. Heights on projective space over number fields (Jackie's code: make into a ticket+patch) |
| Line 32: | Line 31: |
| 14. Implement a $2$-torsion rank function over number fields. | 13. Elkies-Watkins over number fields -- post what code you have by the end of the week. |
| Line 34: | Line 33: |
| 15. Given an elliptic curves defined over $K$, determine whether it is isomorphic over $K$ to a curves defined over $\QQ$. | 14. Implement a $2$-torsion rank function over number fields. Jamie is working on this: #9371. 15. Given an elliptic curves defined over $K$, determine whether it is isomorphic over $K$ to a curves defined over $\mathbb{Q}$. [Get the j_invariant, decide if it is rational, if so construct a curve over Q with that j-invariant, base change itback to K, and test for the quadratic twist. All these steps are implemented already. See attached example [[attachment:eg.sage]] ] (Erin - patch posted #9384) *I've fixed this function, descend_to. It now returns the correct twist for the general case and works when j=0,1728. However, I haven't posted a replacement patch yet because I want the output to be an elliptic curve that sage recognizes is defined over the subfield K of L. This will hopefully be fixed by the end of the day. |
To-do list for elliptic curves in Sage
This is a list of things (small or large) which came up during SD22 at MSRI as deserving to be fixed or implemented in Sage.
Regulators over number fields. NB over \mathbf{Q} there are two functions, regulator() and regulator_of_points(), and it is the second of these which can be trivially implemented. Just copy the code from ell_rational_field.py into ell_number_field.py; also copy height_pairing_matrix(). In each case I mean "move" rather than "copy". Then in each case add doctests with a couple of examples over number fields. The other function (regulator) is something which depends on having an actual MW basis, so is not for now. See ticket #9372: JEC has uploaded a patch which is ready for review. (Aly and Jeremy -- reviewed, assuming just the doctest needed changed, positive review)
Linear dependencies of points over number fields (and over Q), modulo torsion. The attached file mwnf.m has Magma code for this (written by me) which may be useful, though you will have to find the Sage equivalent of LLLgram(). That function takes a gram matrix (of not-necessarily full rank) and returns a reduced gram matrix and a matrix in GL(n,Z) and the rank r. (Aly, Jeremy, Jim) \mathbf{Note:} the Sage equivalent of LLLgram() is LLL_gram() which is a method for integer matrices.
- Finish ticket #8829 on saturation over number fields. [This depends on item 1.] Probably a job for JEC since he reviewed robertwb's patch and suggested changes, which he will now implement.
- Kilford's rank function patch #9342: completed needs review. (Aly and Jeremy)(Done, has a positive review)
- Integral points over number fields: ongoing project work re-implementing Nook's Magma code.
S-integral points over number fields: ongoing project work, based on Smart-Stephens and taking as a model the code over \mathbb{Q} for S-integral points.
S-class groups: on going project work.
K-Selmer groups esp. K(S,4) and K(S,2)_4: ongoing project work.
- All curves with e.g.r.: putting together a lot of the above! When the time comes, I have some complete lists over imaginary quadratic fields of class number 1 which will be helpful.
All curves with e.g.r. outside S (using most of the above again)
- Iterating through number field elements by height; special case for integers; simpler version not by height. Ongoing project work.
- Heights on projective space over number fields (Jackie's code: make into a ticket+patch)
- Elkies-Watkins over number fields -- post what code you have by the end of the week.
Implement a 2-torsion rank function over number fields. Jamie is working on this: #9371.
Given an elliptic curves defined over K, determine whether it is isomorphic over K to a curves defined over \mathbb{Q}. [Get the j_invariant, decide if it is rational, if so construct a curve over Q with that j-invariant, base change itback to K, and test for the quadratic twist. All these steps are implemented already. See attached example eg.sage ] (Erin - patch posted #9384)
- I've fixed this function, descend_to. It now returns the correct twist for the general case and works when j=0,1728.
- However, I haven't posted a replacement patch yet because I want the output to be an elliptic curve that sage recognizes is defined over the subfield K of L. This will hopefully be fixed by the end of the day.