#9254: A collection of little improvements to BSD.py
-------------------------------+--------------------------------------------
Reporter: rlm | Owner: cremona
Type: defect | Status: needs_work
Priority: major | Milestone: sage-4.5.3
Component: elliptic curves | Keywords:
Author: Robert Miller | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-------------------------------+--------------------------------------------
Changes (by mpatel):
* status: positive_review => needs_work
Comment:
I get a long doctest failure on t2 and sage.math:
{{{
#!python
sage -t -long "devel/sage/sage/schemes/elliptic_curves/BSD.py"
**********************************************************************
File
"/mnt/usb1/scratch/mpatel/tmp/sage-4.5.2-fin/devel/sage/sage/schemes/elliptic_curves/BSD.py",
line 383:
sage: E.prove_BSD(verbosity=2) # long time
Expected:
p = 2: True by 2-descent...
True for p not in {2, 3} by Kolyvagin....
ALERT: p = 3 left in Kolyvagin bound
0 <= ord_p(#Sha) <= 2
ord_p(#Sha_an) = 2
Remaining primes:
p = 3: irreducible, surjective, non-split multiplicative
(0 <= ord_p <= 2)
[3]
Got:
p = 2: True by 2-descent
True for p not in {2, 3} by Kolyvagin.
Remaining primes:
p = 3: irreducible, surjective, non-split multiplicative
(0 <= ord_p <= 2)
ord_p(#Sha_an) = 2
[3]
**********************************************************************
1 items had failures:
1 of 36 in __main__.example_6
***Test Failed*** 1 failures.
}}}
I'm using 4.5.2 + #9476 + #9247 + #9253 + #9254. The failure first
appears with this ticket.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9254#comment:7>
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.
