#8451: improve galois representation for elliptic curves
----------------------------------------------+-----------------------------
Reporter: wuthrich | Owner: cremona
Type: defect | Status: positive_review
Priority: major | Milestone: sage-4.6.1
Component: elliptic curves | Keywords: elliptic curves,
galois representation, is_surjective
Author: Chris Wuthrich | Upstream: N/A
Reviewer: Robert Miller, Drew Sutherland | Merged:
Work_issues: |
----------------------------------------------+-----------------------------
Changes (by rlm):
* status: needs_review => positive_review
* reviewer: => Robert Miller, Drew Sutherland
Comment:
This looks good to me.
It applies cleanly to sage-4.6, and it passes all doctests.
Since this fixes bugs in is_surjective, I recommend that we merge it ASAP.
These bugs have been around for a long time!
Side note, I would be interested to implement a function which says
whether the image were as surjective as possible for CM curves, and I've
done some computations about this in specific cases, but I'm not sure I
would be able to implement a general routine without a lot of thinking...
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8451#comment:14>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.