#16959: p-primary bound for Sha can be improved
-------------------------------------+-------------------------------------
Reporter: wuthrich | Owner:
Type: defect | Status: needs_work
Priority: major | Milestone: sage-6.4
Component: elliptic curves | Resolution:
Keywords: tate-shafarevich, | Merged in:
shark | Reviewers: William Stein
Authors: Chris Wuthrich | Work issues:
Report Upstream: N/A | Commit:
Branch: | 45eca3df3203644db640072e6aae8bc9d2592c93
u/wuthrich/ticket/16959 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by vbraun):
* status: positive_review => needs_work
Comment:
Fails on 32-bit:
{{{
sage -t --long src/sage/schemes/elliptic_curves/sha_tate.py
**********************************************************************
File "src/sage/schemes/elliptic_curves/sha_tate.py", line 768, in
sage.schemes.elliptic_curves.sha_tate.Sha.p_primary_bound
Failed example:
e.sha().p_primary_bound(7)
Exception raised:
Traceback (most recent call last):
File "/home/buildslave-sage/slave/sage_git/build/local/lib/python2.7
/site-packages/sage/doctest/forker.py", line 480, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/home/buildslave-sage/slave/sage_git/build/local/lib/python2.7
/site-packages/sage/doctest/forker.py", line 843, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.schemes.elliptic_curves.sha_tate.Sha.p_primary_bound[13]>", line 1,
in <module>
e.sha().p_primary_bound(Integer(7))
File "/home/buildslave-sage/slave/sage_git/build/local/lib/python2.7
/site-packages/sage/schemes/elliptic_curves/sha_tate.py", line 805, in
p_primary_bound
shan = self.an_padic(p,prec = 0,use_twists=True)
File "/home/buildslave-sage/slave/sage_git/build/local/lib/python2.7
/site-packages/sage/schemes/elliptic_curves/sha_tate.py", line 577, in
an_padic
lp = Et.padic_lseries(p)
File "/home/buildslave-sage/slave/sage_git/build/local/lib/python2.7
/site-packages/sage/schemes/elliptic_curves/padics.py", line 158, in
padic_lseries
normalize = normalize, use_eclib=use_eclib)
File "/home/buildslave-sage/slave/sage_git/build/local/lib/python2.7
/site-packages/sage/schemes/elliptic_curves/padic_lseries.py", line 197,
in __init__
self._modular_symbol = E.modular_symbol(sign=+1, use_eclib =
use_eclib, normalize=normalize)
File "/home/buildslave-sage/slave/sage_git/build/local/lib/python2.7
/site-packages/sage/schemes/elliptic_curves/ell_rational_field.py", line
1208, in modular_symbol
M = ell_modular_symbols.ModularSymbolECLIB(self, sign,
normalize=normalize)
File "/home/buildslave-sage/slave/sage_git/build/local/lib/python2.7
/site-packages/sage/schemes/elliptic_curves/ell_modular_symbols.py", line
500, in __init__
self._modsym = ECModularSymbol(E)
File "sage/libs/cremona/newforms.pyx", line 70, in
sage.libs.cremona.newforms.ECModularSymbol.__init__
(build/cythonized/sage/libs/cremona/newforms.cpp:2310)
OverflowError: Python int too large to convert to C long
**********************************************************************
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/16959#comment:11>
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.
