ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Tue, 10 Jan 2017 15:10:01 +0100procedure integralpoints produces wrong answerhttps://ask.sagemath.org/question/11045/procedure-integralpoints-produces-wrong-answer/Elliptic Curve E defined by y^2 = x^3 - 4627*x + 13870 over Rational Field, rank=4
The procedure E.integral_points(verbose=True) uses a MW basis which isn't a basis. Therefore the answer is not correct. There are at least 60 integral points on this curve, but the procedure finds only 58 points. In fact the pair E(1676505139935,±2170737625086802600) is missing. The value of the regulator of the four basis points used in the procedure is 4 times the value of the regulator of four correct basis points. Strange enough the above missing points are linear combinations of the four basis points used in the procedure. I have more examples with similar errors. I used the SAGE app version 6.1.1 on OSX Maverick as well as SAGE version 5.13 in a Virtual Box under Windows 7.Sun, 16 Feb 2014 07:59:33 +0100https://ask.sagemath.org/question/11045/procedure-integralpoints-produces-wrong-answer/Answer by John Cremona for <p>Elliptic Curve E defined by y^2 = x^3 - 4627*x + 13870 over Rational Field, rank=4 </p>
<p>The procedure E.integral_points(verbose=True) uses a MW basis which isn't a basis. Therefore the answer is not correct. There are at least 60 integral points on this curve, but the procedure finds only 58 points. In fact the pair E(1676505139935,±2170737625086802600) is missing. The value of the regulator of the four basis points used in the procedure is 4 times the value of the regulator of four correct basis points. Strange enough the above missing points are linear combinations of the four basis points used in the procedure. I have more examples with similar errors. I used the SAGE app version 6.1.1 on OSX Maverick as well as SAGE version 5.13 in a Virtual Box under Windows 7.</p>
https://ask.sagemath.org/question/11045/procedure-integralpoints-produces-wrong-answer/?answer=36252#post-id-36252The additional point is found with Sage version 7.5.rc2 so will be there in the next release. There was a bug fix since 7.4. However the MW basis used is the same in each case, with regulator 5.695... and this is also what mwrank gives, with a claim that the given points are saturated. I also just checked by hand that the generators are OK.
I think that your diagnosis was put off by a misleading message printed with verbose=True: the curve has 2 real components and there are rational points on the non-identity component (the "egg"). In the algorithm, the first step is to replace the full MW basis with a basis for the index 2 subgroup $E(\mathbb{Q})\cap E^0(\mathbb{R}}$, but this is allowed for later.
In fact the bug was quite different, and due to a precision problem which has been fixed.
Tue, 10 Jan 2017 15:10:01 +0100https://ask.sagemath.org/question/11045/procedure-integralpoints-produces-wrong-answer/?answer=36252#post-id-36252Answer by slelievre for <p>Elliptic Curve E defined by y^2 = x^3 - 4627*x + 13870 over Rational Field, rank=4 </p>
<p>The procedure E.integral_points(verbose=True) uses a MW basis which isn't a basis. Therefore the answer is not correct. There are at least 60 integral points on this curve, but the procedure finds only 58 points. In fact the pair E(1676505139935,±2170737625086802600) is missing. The value of the regulator of the four basis points used in the procedure is 4 times the value of the regulator of four correct basis points. Strange enough the above missing points are linear combinations of the four basis points used in the procedure. I have more examples with similar errors. I used the SAGE app version 6.1.1 on OSX Maverick as well as SAGE version 5.13 in a Virtual Box under Windows 7.</p>
https://ask.sagemath.org/question/11045/procedure-integralpoints-produces-wrong-answer/?answer=16055#post-id-16055This might be the same bug as described by trac tickets
[10152](http://trac.sagemath.org/ticket/10152) and
[12095](http://trac.sagemath.org/ticket/12095). Both
have been closed as duplicates of trac ticket
[10973](http://trac.sagemath.org/ticket/10973)
where a lot of work is being done on integral points
on elliptic curves over number fields.
If you think this is different or if you can help, eg by reviewing the patches, join the discussion at
[http://trac.sagemath.org/ticket/10973](http://trac.sagemath.org/ticket/10973).Mon, 17 Feb 2014 07:36:29 +0100https://ask.sagemath.org/question/11045/procedure-integralpoints-produces-wrong-answer/?answer=16055#post-id-16055