#16034: Remember points of infinite order on an elliptic curve when extending
the
base field
-------------------------------------+-------------------------------------
Reporter: pbruin | Owner:
Type: enhancement | Status: needs_review
Priority: minor | Milestone: sage-6.2
Component: elliptic curves | Resolution:
Keywords: elliptic curve | Merged in:
Mordell-Weil group base extension | Reviewers:
Authors: Peter Bruin | Work issues:
Report Upstream: N/A | Commit:
Branch: | 272a2ed8f2029ea2fe14392badd50632029c7df2
u/pbruin/16034-elliptic_curve_base_change| Stopgaps:
Dependencies: #10745 |
-------------------------------------+-------------------------------------
Changes (by {'newvalue': u'Peter Bruin', 'oldvalue': ''}):
* status: new => needs_review
* commit: => 272a2ed8f2029ea2fe14392badd50632029c7df2
* dependencies: => #10745
* branch: => u/pbruin/16034-elliptic_curve_base_change
* author: => Peter Bruin
Comment:
This commit does the following:
- new attribute `EllipticCurve_number_field._known_points` to store points
coming from 2-descent
- make `EllipticCurve_number_field.base_extend()` transfer these known
points to the base-extended curve
- make `EllipticCurve_number_field.simon_two_descent()` (and `gens()`,
`rank_bounds()`) use `_known_points` as the optional argument `help` to
Simon's function `bnfellrank`, and store any new points that were found
- make `EllipticCurve_rational_field.gens()` store its result in
`_known_points`, and restructure this method a bit (by splitting of
`_compute_gens()`) so this only has to be done at a single point
- a bit of general cleaning up
It's not really elegant, but my attempts at making it better were not very
successful.
--
Ticket URL: <http://trac.sagemath.org/ticket/16034#comment:1>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
