#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_work
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:
-------------------------------------+-------------------------------------
Comment (by wuthrich):
I am certainly not angry, but thankful for your work.
I don't understand 4). Being reducible for the Galois module E[p] is
equivalent to E having an isogeny defined over Q and so the answer is ok
in all cases, including cm and including 27a. Did you get confused with
non_surjective. There is should return [0] as documented.
1) There is already #11905 on the splitting field. I agree that division
field could become a visible function. I opened a ticket on it : #15610.
3) Yes, I will do that. Is there a python rule about this in general?
5) Oh, that is a left over from a further change towards #11270. Sorry.
I'd proof-read the documentation as well as I can.
--
Ticket URL: <http://trac.sagemath.org/ticket/11271#comment:9>
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.
