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:

Status badges

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 mkoeppe

  • Milestone changed from sage-9.1 to sage-9.2

Moving tickets to milestone sage-9.2 based on a review of last modification date, branch status, and severity.

comment:2 Changed 11 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:3 Changed 6 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

comment:4 Changed 5 weeks ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5
Note: See TracTickets for help on using tickets.