Opened 9 years ago
Closed 9 years ago
#1239 closed enhancement (fixed)
[with patch, with positive review *BUT* see comments] Wrap Simon's new gp two descent code
Reported by: | robertwb | Owned by: | robertwb |
---|---|---|---|
Priority: | major | Milestone: | sage-2.9 |
Component: | number theory | Keywords: | |
Cc: | Merged in: | ||
Authors: | Reviewers: | ||
Report Upstream: | Work issues: | ||
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
Scripts were recently updated http://www.math.unicaen.fr/~simon/
It now handles two-torsion more uniformly, works on more curves, and actually returns points on the curve given.
Attachments (5)
Change History (17)
Changed 9 years ago by
Changed 9 years ago by
comment:1 Changed 9 years ago by
- Owner changed from was to robertwb
comment:2 Changed 9 years ago by
- Summary changed from Wrap Simon's new gp two descent code to [with patch] Wrap Simon's new gp two descent code
comment:3 Changed 9 years ago by
- Milestone set to sage-2.8.14
comment:4 Changed 9 years ago by
- Summary changed from [with patch] Wrap Simon's new gp two descent code to [with patch, with negative review] Wrap Simon's new gp two descent code
WARNING: This is full of bugs and issues.
E.g.,
sage: E = EllipticCurve([0, 0, 1/216, -7/1296, 1/7776]) sage: F = E.global_integral_model(); F outputs a non-integral model!
DO NOT apply this until further patche(s) are posted.
I'm working on some now.
ALSO -- there are many new functions with no doctets.
comment:5 Changed 9 years ago by
Some missing doctests or things that will cause latex problems:
a/sage/schemes/elliptic_curves/ell_generic.py integral_model change_weierstrass_model a/sage/rings/complex_double.pyx argument * number_field_element.pyx -- nth_root has \ but no r""" * same prob in WeierstrassIsomorphism * no doctest in init method for WeierstrassIsomorphism * no doctest in init method for WeierstrassIsomorphism _call_
comment:6 Changed 9 years ago by
[11:14pm] wstein-rvw-1239: It might be easy for you to fix the problems. [11:14pm] wstein-rvw-1239: E.g., sage: E = EllipticCurve([0, 0, 1/216, -7/1296, 1/7776]) [11:14pm] wstein-rvw-1239: sage: F = E.global_integral_model(); F [11:14pm] wstein-rvw-1239: doesn't return an integral model. [11:14pm] wstein-rvw-1239: E = EllipticCurve([1/3, 5]); E [11:14pm] wstein-rvw-1239: E.integral_model() [11:14pm] wstein-rvw-1239: returns a non-integral model
comment:7 Changed 9 years ago by
[good review -- on extcode] The extcode bundle is *OK* -- no problems.
Changed 9 years ago by
comment:8 Changed 9 years ago by
- Status changed from new to assigned
The global_integral_model / integral_model code in question is John Cremona's. I'll look into it more.
WARNING: The extcode patch can't go in without this one (due to interface changes).
comment:9 Changed 9 years ago by
- Summary changed from [with patch, with negative review] Wrap Simon's new gp two descent code to [with patch, with positive review *BUT* see comments] Wrap Simon's new gp two descent code
Changed 9 years ago by
comment:10 Changed 9 years ago by
Turned out to be an indentation issue. Also added another doctest.
Should be ready to go in now.
comment:11 Changed 9 years ago by
Merged in 2.9.rc0.
comment:12 Changed 9 years ago by
- Resolution set to fixed
- Status changed from assigned to closed
John Cremona and I worked on this during Sage Days 6.
The attached patches have the new version of the code (to be applied to extcode) and a revised interface.
This also includes an implementation of transformations between different Weierstrass models.