# HG changeset patch
# User Robert L. Miller <rlm@rlmiller.org>
# Date 1275586312 25200
# Node ID 3781235dae089d2feb4c1908fc84d345fc38a1ad
# Parent 2cffe66bd64266c6a64d31ca37ad81d8d5390af8
#9127: BSD.py failure on really really slow machines
diff r 2cffe66bd642 r 3781235dae08 sage/schemes/elliptic_curves/BSD.py
a

b


376  376  sage: E = EllipticCurve('681b') 
377  377  sage: E.prove_BSD(verbosity=2) # long time 
378  378  p = 2: True by 2descent... 
379   True for p not in {2, 3} by Kolyvagin. 
 379  True for p not in {2, 3} by Kolyvagin.... 
380  380  ALERT: p = 3 left in Kolyvagin bound 
381  381  0 <= ord_p(#Sha) <= 2 
382  382  ord_p(#Sha_an) = 2 