#11276: bug in documentation for non_surjective for Galois representations
attached
to elliptic curves
-------------------------------+--------------------------------------------
Reporter: dpathakjee | Owner: cremona
Type: defect | Status: new
Priority: minor | Milestone: sage-4.7.1
Component: elliptic curves | Keywords: galois representation,
elliptic curves, non_surjective, documentation
Work_issues: | Upstream: N/A
Reviewer: | Author:
Merged: | Dependencies:
-------------------------------+--------------------------------------------
non_surjective() docstring incorrectly states that it's inconclusive and
often wrong for p=2. The function it calls, is_surjective, is correct for
p=2.
The docstring states that "[the] list of primes p such that the mod-p
representation *might* not be surjective... usually contains 2, because of
shortcomings of the algorithm..." However, non_surjective calls
is_surjective, which should always be correct for p=2,3 because it
computes the Galois group of the 2-division polynomial. (More precisely,
its helper, _is_surjective, does this.) I suspect this caveat may have
been written before the special cases for p=2,3 in _is_surjective had been
written.
All that really needs to be done is to remove the phrase "(this list
usually contains 2, because of shortcomings of the algorithm)" from the
docstring.
See also [http://trac.sagemath.org/sage_trac/ticket/11271 11271],
[http://trac.sagemath.org/sage_trac/ticket/11270 11270]
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11276>
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.
