Opened 20 months ago
Last modified 5 weeks ago
#29079 new defect
Random AssertionError: The output matrix is not congruent mod p to the approximation found earlier in src/sage/schemes/elliptic_curves/padics.py:
Reported by: | vbraun | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.5 |
Component: | number theory | Keywords: | |
Cc: | Merged in: | ||
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
********************************************************************** File "src/sage/schemes/elliptic_curves/padics.py", line 639, in sage.schemes.elliptic_curves.padics.padic_height Failed example: h = E.padic_height(53, 10) Exception raised: Traceback (most recent call last): File "/home/buildbot/slave/sage_git/build/local/lib/python3.7/site-packages/sage/doctest/forker.py", line 681, in _run self.compile_and_execute(example, compiler, test.globs) File "/home/buildbot/slave/sage_git/build/local/lib/python3.7/site-packages/sage/doctest/forker.py", line 1123, in compile_and_execute exec(compiled, globs) File "<doctest sage.schemes.elliptic_curves.padics.padic_height[4]>", line 1, in <module> h = E.padic_height(Integer(53), Integer(10)) File "/home/buildbot/slave/sage_git/build/local/lib/python3.7/site-packages/sage/schemes/elliptic_curves/padics.py", line 741, in padic_height sigma = self.padic_sigma(p, adjusted_prec, check_hypotheses=False) File "/home/buildbot/slave/sage_git/build/local/lib/python3.7/site-packages/sage/schemes/elliptic_curves/padics.py", line 1080, in padic_sigma E2 = self.padic_E2(p, N-2, check_hypotheses=False) File "/home/buildbot/slave/sage_git/build/local/lib/python3.7/site-packages/sage/schemes/elliptic_curves/padics.py", line 1486, in padic_E2 frob_p = X.matrix_of_frobenius(p, prec, check, check_hypotheses, algorithm).change_ring(Integers(p**prec)) File "/home/buildbot/slave/sage_git/build/local/lib/python3.7/site-packages/sage/schemes/elliptic_curves/padics.py", line 1631, in matrix_of_frobenius Q, p, adjusted_prec, trace) File "/home/buildbot/slave/sage_git/build/local/lib/python3.7/site-packages/sage/schemes/hyperelliptic_curves/monsky_washnitzer.py", line 1712, in matrix_of_frobenius F0_reduced[0].is_unit() or F0_reduced[1].is_unit()), msg AssertionError: The output matrix is not congruent mod p to the approximation found earlier! ********************************************************************** File "src/sage/schemes/elliptic_curves/padics.py", line 640, in sage.schemes.elliptic_curves.padics.padic_height Failed example: h(P) Expected: 26*53^-1 + 30 + 20*53 + 47*53^2 + 10*53^3 + 32*53^4 + 9*53^5 + 22*53^6 + 35*53^7 + 30*53^8 + 17*53^9 + O(53^10) Got: 5 + 5^2 + 5^3 + 3*5^6 + 4*5^7 + 5^9 + O(5^10) ********************************************************************** 1 item had failures: 2 of 36 in sage.schemes.elliptic_curves.padics.padic_height [199 tests, 2 failures, 13.64 s] **********************************************************************
See also #25969
Change History (4)
comment:1 Changed 17 months ago by
- Milestone changed from sage-9.1 to sage-9.2
comment:2 Changed 11 months ago by
- Milestone changed from sage-9.2 to sage-9.3
comment:3 Changed 6 months ago by
- Milestone changed from sage-9.3 to sage-9.4
comment:4 Changed 5 weeks ago by
- Milestone changed from sage-9.4 to sage-9.5
Note: See
TracTickets for help on using
tickets.
Moving tickets to milestone sage-9.2 based on a review of last modification date, branch status, and severity.