#9127: BSD.py doctest failure due to timeout of Heegner index computation.
-------------------------------+--------------------------------------------
   Reporter:  drkirkby         |       Owner:  cremona   
       Type:  defect           |      Status:  needs_work
   Priority:  blocker          |   Milestone:  sage-4.4.4
  Component:  elliptic curves  |    Keywords:            
     Author:  Robert Miller    |    Upstream:  N/A       
   Reviewer:  John Cremona     |      Merged:            
Work_issues:                   |  
-------------------------------+--------------------------------------------
Changes (by newvalueoldvalue):

  * status:  needs_review => needs_work
  * reviewer:  => John Cremona
  * author:  => Robert Miller


Comment:

 This one confuses me.  Before I apply the patch, the file passes long
 tests for me (ubuntu 64-bit, on 4.4.3).  But after the patch it does not:
 {{{
 sage -t -long "sage/schemes/elliptic_curves/BSD.py"
 **********************************************************************
 File "/storage/jec/sage-4.4.3/devel/sage-
 tests/sage/schemes/elliptic_curves/BSD.py", line 377:
     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.
     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]
 **********************************************************************
 }}}

 So whether or not the patch fixes things on some systems, it breaks
 others, so cannot be included.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9127#comment:4>
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.

Reply via email to