#7576: improvements to the prove_BSD function
-------------------------------+--------------------------------------------
Reporter: rlm | Owner: cremona
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.3.1
Component: elliptic curves | Keywords:
Work_issues: | Author: Robert Miller
Upstream: N/A | Reviewer:
Merged: |
-------------------------------+--------------------------------------------
Comment(by was):
Needs work:
{{{
sage: for E in cremona_optimal_curves([1001..2000]):
print E.cremona_label(); print E.prove_BSD(verbosity=1, secs_hi=1)
...
1014g1
p = 2: Unverified since it is difficult to access the rank bound for
Sha[2] computed by MWrank
Interrupting Mwrank...
Timeout stopped Heegner index computation...
Proceeding to use heegner_index_bound instead.
True for p not in {2, 5} by Kolyvagin.
Kolyvagin's bound for p = 5 applies by Stein et al.
ALERT: p = 5 left in Kolyvagin bound
---------------------------------------------------------------------------
UnboundLocalError Traceback (most recent call
last)
/virtual/scratch/wstein/build/sage-4.3.1.alpha2/<ipython console> in
<module>()
/virtual/scratch/wstein/build/sage-4.3.1.alpha2/local/lib/python2.6/site-
packages/sage/schemes/elliptic_curves/ell_rational_field.pyc in
prove_BSD(self, verbosity, simon, proof, secs_hi)
6603 if verbosity > 0:
6604 print 'ALERT: p = %d left in Kolyvagin bound'%p
-> 6605 print ' 0 <= ord_p(#Sha) <= %d'%ord_p_bound
6606 print ' ord_p(#Sha_an) =', sha_an.ord(p)
6607 for p in primes_to_remove:
UnboundLocalError: local variable 'ord_p_bound' referenced before
assignment
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7576#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 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.
