#11271: there is a serious bug in the documentation or code for is_surjective
for
Galois representations attached to elliptic curves
-------------------------------------+-------------------------------------
Reporter: was | Owner: cremona
Type: defect | Status: needs_review
Priority: critical | Milestone: sage-6.1
Component: elliptic curves | Resolution:
Keywords: | Merged in:
Authors: Chris Wuthrich | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/wuthrich/ticket/11271 | c3ae100155d686452e326d0dc4662a1c7378e61c
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by {'newvalue': u'Chris Wuthrich', 'oldvalue': ''}):
* status: new => needs_review
* commit: => c3ae100155d686452e326d0dc4662a1c7378e61c
* author: => Chris Wuthrich
Comment:
Finally !! I corrected this.
So I decided to change the code. It now returns True False or None,
depending if the algorithm can prove that it is surjective, can prove that
it is not or if it is indecisive. I think this is more useful than the
previous version.
Of course, I also altered the documentation to make sure the issue with 2
and 3 is correctly stated.
As discussed above. After this ticket a natural step would be to implement
Zywina's bounds and criterions in his paper. I have tried so and that is
documented on the ticket #12270 and should not concern this ticket any
more. The ticket #11276 should be closed as a duplicate.
----
New commits:
||[[http://git.sagemath.org/sage.git/commit/?id=c3ae100|c3ae100]]||{{{Trac
#11271: Corrections to is_surjective in Galois representations over
Q.}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/11271#comment:6>
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/groups/opt_out.
