#8749: BSD: doctest failures on solaris (t2)
-------------------------------+--------------------------------------------
Reporter: jhpalmieri | Owner: cremona
Type: defect | Status: new
Priority: blocker | Milestone: sage-5.0
Component: elliptic curves | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-------------------------------+--------------------------------------------
With Sage 4.4.alpha2, I see the following:
{{{
File "/home/palmieri/t2/sage-4.4.alpha2/devel/sage-
main/sage/schemes/elliptic_curves/BSD.py", line\
304:
sage: EllipticCurve('11a').prove_BSD(verbosity=2)
Expected:
p = 2: True by 2-descent
True for p not in {2, 5} by Kolyvagin.
True for p=5 by Mazur
[]
Got:
p = 2: True by 2-descent
Timeout stopped Heegner index computation...
Proceeding to use heegner_index_bound instead.
True for p not in {2, 5} by Kolyvagin.
True for p=5 by Mazur
[]
**********************************************************************
File "/home/palmieri/t2/sage-4.4.alpha2/devel/sage-
main/sage/schemes/elliptic_curves/BSD.py", line\
377:
sage: E.prove_BSD(verbosity=2) # long time
Exception raised:
Traceback (most recent call last):
File "/home/palmieri/t2/sage-4.4.alpha2/local/bin/ncadoctest.py",
line 1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File "/home/palmieri/t2/sage-4.4.alpha2/local/bin/sagedoctest.py",
line 38, in run_one_examp\
le
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File "/home/palmieri/t2/sage-4.4.alpha2/local/bin/ncadoctest.py",
line 1172, in run_one_exam\
ple
compileflags, 1) in test.globs
File "<doctest __main__.example_6[22]>", line 1, in <module>
E.prove_BSD(verbosity=Integer(2)) # long time###line
377:
sage: E.prove_BSD(verbosity=2) # long time
File "/home/palmieri/t2/sage-4.4.alpha2/local/lib/python/site-
packages/sage/schemes/elliptic\
_curves/BSD.py", line 761, in prove_BSD
raise RuntimeError("p = %d: ord_p_bound == %d, but sha_an.ord(p)
== %d. This appears to be\
a counterexample to BSD, but is more likely a
bug."%(p,ord_p_bound,BSD.sha_an.ord(p)))
RuntimeError: p = 3: ord_p_bound == 1, but sha_an.ord(p) == 2. This
appears to be a counterexa\
mple to BSD, but is more likely a bug.
**********************************************************************
1 items had failures:
2 of 35 in __main__.example_6
***Test Failed*** 2 failures.
}}}
The first is a timeout issue of some sort, and perhaps could be fixed by
putting in some dots {{{...}}} in case the timeout message appears. (I've
also seen more failures of this type from the same file, so ellipses in
several places might be needed. Test on t2 several times to see.)
I have no idea about the second issue. Presumably it's not a
counterexample to BSD.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8749>
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.
