#6583: [with patch, needs work] Implement two descent over QQ natively in Sage
using ratpoints
-----------------------------+----------------------------------------------
Reporter: rlm | Owner: rlm
Type: enhancement | Status: assigned
Priority: major | Milestone: sage-4.1.2
Component: elliptic curves | Keywords:
Reviewer: | Author: Robert Miller
Merged: |
-----------------------------+----------------------------------------------
Comment(by was):
Applying the patch and doing "sage -t" yields some failures, probably
because you assume the large cremona database is installed, but it isn't:
{{{
wst...@sage:~/build/sage-4.1.2.alpha1$ ./sage -t
devel/sage/sage/schemes/elliptic_curves/descent_two_isogeny.pyx
sage -t "devel/sage/sage/schemes/elliptic_curves/descent_two_isogeny.pyx"
**********************************************************************
File
"/scratch/wstein/build/sage-4.1.2.alpha1/devel/sage/sage/schemes/elliptic_curves/descent_two_isogeny.pyx",
line 1093:
sage: E = EllipticCurve('59450i')
Exception raised:
Traceback (most recent call last):
File
"/scratch/wstein/build/sage-4.1.2.alpha1/local/bin/ncadoctest.py", line
1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File
"/scratch/wstein/build/sage-4.1.2.alpha1/local/bin/sagedoctest.py", line
38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File
"/scratch/wstein/build/sage-4.1.2.alpha1/local/bin/ncadoctest.py", line
1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_18[12]>", line 1, in <module>
E = EllipticCurve('59450i')###line 1093:
sage: E = EllipticCurve('59450i')
File "/scratch/wstein/build/sage-4.1.2.alpha1/local/lib/python/site-
packages/sage/schemes/elliptic_curves/constructor.py", line 216, in
EllipticCurve
return ell_rational_field.EllipticCurve_rational_field(x)
File "/scratch/wstein/build/sage-4.1.2.alpha1/local/lib/python/site-
packages/sage/schemes/elliptic_curves/ell_rational_field.py", line 191, in
__init__
X = sage.databases.cremona.CremonaDatabase()[label]
File "/scratch/wstein/build/sage-4.1.2.alpha1/local/lib/python/site-
packages/sage/databases/cremona.py", line 383, in __getitem__
return self.elliptic_curve(N)
File "/scratch/wstein/build/sage-4.1.2.alpha1/local/lib/python/site-
packages/sage/databases/cremona.py", line 570, in elliptic_curve
raise RuntimeError, message
RuntimeError: There is no elliptic curve with label 59450i in the
default database; try installing the optional package
database_cremona_ellcurve-20071019 which contains all curves of conductor
up to 130000
**********************************************************************
File
"/scratch/wstein/build/sage-4.1.2.alpha1/devel/sage/sage/schemes/elliptic_curves/descent_two_isogeny.pyx",
line 1095:
sage: log(n1,2) + log(n1_prime,2) - 2 # the rank
Expected:
3
Got:
2
**********************************************************************
File
"/scratch/wstein/build/sage-4.1.2.alpha1/devel/sage/sage/schemes/elliptic_curves/descent_two_isogeny.pyx",
line 56:
sage: from sage.schemes.elliptic_curves.descent import test_valuation
as tv
Exception raised:
Traceback (most recent call last):
File
"/scratch/wstein/build/sage-4.1.2.alpha1/local/bin/ncadoctest.py", line
1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File
"/scratch/wstein/build/sage-4.1.2.alpha1/local/bin/sagedoctest.py", line
38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File
"/scratch/wstein/build/sage-4.1.2.alpha1/local/bin/ncadoctest.py", line
1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_2[2]>", line 1, in <module>
from sage.schemes.elliptic_curves.descent import test_valuation as
tv###line 56:
sage: from sage.schemes.elliptic_curves.descent import test_valuation
as tv
ImportError: No module named descent
**********************************************************************
**********************************************************************
File
"/scratch/wstein/build/sage-4.1.2.alpha1/devel/sage/sage/schemes/elliptic_curves/descent_two_isogeny.pyx",
line 57:
sage: for i in [1..20]:
print '%10s'%factor(i), tv(i,Integer(2)), tv(i,Integer(3)),
tv(i,Integer(5))
Exception raised:
Traceback (most recent call last):
File
"/scratch/wstein/build/sage-4.1.2.alpha1/local/bin/ncadoctest.py", line
1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File
"/scratch/wstein/build/sage-4.1.2.alpha1/local/bin/sagedoctest.py", line
38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File
"/scratch/wstein/build/sage-4.1.2.alpha1/local/bin/ncadoctest.py", line
1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_2[3]>", line 2, in <module>
print '%10s'%factor(i), tv(i,Integer(2)), tv(i,Integer(3)),
tv(i,Integer(5))
NameError: name 'tv' is not defined
**********************************************************************
2 items had failures:
2 of 24 in __main__.example_18
2 of 4 in __main__.example_2
***Test Failed*** 4 failures.
For whitespace errors, see the file
/scratch/wstein/build/sage-4.1.2.alpha1/tmp/.doctest_descent_two_isogeny.py
[3.4 s]
exit code: 1024
----------------------------------------------------------------------
The following tests failed:
sage -t
"devel/sage/sage/schemes/elliptic_curves/descent_two_isogeny.pyx"
Total time for all tests: 3.4 seconds
wst...@sage:~/build/sage-4.1.2.alpha1$
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6583#comment:7>
Sage <http://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
-~----------~----~----~----~------~----~------~--~---
