#4274: assertion failure in rank for elliptic curves
--------------------------------+-------------------------------------------
Reporter: zimmerma | Owner: was
Type: defect | Status: new
Priority: minor | Milestone: sage-3.2
Component: algebraic geometry | Keywords:
--------------------------------+-------------------------------------------
This was reported to me by Peter Schwabe:
{{{
sage: EllipticCurve([1,0,0,0,37455]).rank(proof=False)
---------------------------------------------------------------------------
AssertionError Traceback (most recent call
last)
/usr/local/sage-3.1.2/sage/devel/sage-
main/sage/schemes/elliptic_curves/<ipython console> in <module>()
/tmp/sage-3.1.2/local/lib/python2.5/site-
packages/sage/schemes/elliptic_curves/ell_rational_field.py in rank(self,
use_database, verbose, only_use_mwrank, algorithm, proof)
1274 proof = True #since we actually provably found the
rank
1275 i = X.find('Rank = ')
-> 1276 assert i != -1
1277 j = i + X[i:].find('\n')
1278 self.__rank[proof] = Integer(X[i+7:j])
AssertionError:
}}}
Without proof=False, we get:
{{{
sage: EllipticCurve([1,0,0,0,37455]).rank()
---------------------------------------------------------------------------
RuntimeError Traceback (most recent call
last)
/usr/local/sage-3.1.2/sage/devel/sage-
main/sage/schemes/elliptic_curves/<ipython console> in <module>()
/tmp/sage-3.1.2/local/lib/python2.5/site-
packages/sage/schemes/elliptic_curves/ell_rational_field.py in rank(self,
use_database, verbose, only_use_mwrank, algorithm, proof)
1268 if not 'The rank and full Mordell-Weil basis have been
determined unconditionally' in X:
1269 if proof:
-> 1270 raise RuntimeError, '%s\nRank not provably
correct.'%X
1271 else:
1272 misc.verbose("Warning -- rank not provably
correct", level=1)
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4274>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
