#9039: major error in E.sha().bound_kato() for E an elliptic curve
-------------------------------+--------------------------------------------
Reporter: rlm | Owner: cremona
Type: defect | Status: new
Priority: major | Milestone: sage-4.4.3
Component: elliptic curves | Keywords:
Author: Robert Miller | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-------------------------------+--------------------------------------------
Changes (by rlm):
* cc: wuthrich (added)
Comment:
I haven't yet fixed the documentation results, since the returned lists
are different, mainly to highlight the differences... Also I'm not
entirely sure I have the code exactly right, maybe you can verify this. I
also think that the references need updating/completing.
Input is welcome! Here are the doc differences:
{{{
sage -t -long "devel/sage-main/sage/schemes/elliptic_curves/sha_tate.py"
Saturation index bound = 265
WARNING: saturation at primes p > 100 will not be done;
points may be unsaturated at primes between 100 and index bound
Failed to saturate MW basis at primes [ ]
*** saturation possibly incomplete at primes [ ]
**********************************************************************
File "/Users/rlmill/sage-4.4.1/devel/sage-
main/sage/schemes/elliptic_curves/sha_tate.py", line 876:
sage: E.sha().bound_kato()
Expected:
[2, 3, 5]
Got:
[2]
**********************************************************************
File "/Users/rlmill/sage-4.4.1/devel/sage-
main/sage/schemes/elliptic_curves/sha_tate.py", line 879:
sage: E.sha().bound_kato()
Expected:
[2, 3, 5]
Got:
[2]
**********************************************************************
File "/Users/rlmill/sage-4.4.1/devel/sage-
main/sage/schemes/elliptic_curves/sha_tate.py", line 882:
sage: E.sha().bound_kato()
Expected:
[2, 3]
Got:
[2]
**********************************************************************
File "/Users/rlmill/sage-4.4.1/devel/sage-
main/sage/schemes/elliptic_curves/sha_tate.py", line 888:
sage: E.sha().bound_kato() # long time (about 1
second)
Expected:
[2, 3, 5]
Got:
[2, 5, 23]
**********************************************************************
File "/Users/rlmill/sage-4.4.1/devel/sage-
main/sage/schemes/elliptic_curves/sha_tate.py", line 896:
sage: E.sha().bound_kato() # long time (< 10 seconds)
Expected:
[2, 3, 7]
Got:
[2, 7, 29]
**********************************************************************
1 items had failures:
5 of 15 in __main__.example_8
***Test Failed*** 5 failures.
For whitespace errors, see the file
/Users/rlmill/.sage//tmp/.doctest_sha_tate.py
[154.4 s]
----------------------------------------------------------------------
The following tests failed:
sage -t -long "devel/sage-
main/sage/schemes/elliptic_curves/sha_tate.py"
Total time for all tests: 154.4 seconds
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9039#comment:1>
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.
