Random AssertionError: The output matrix is not congruent mod p to the approximation found earlier in src/sage/schemes/elliptic_curves/padics.py:

**********************************************************************
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]
**********************************************************************

sagemath / sage

Random AssertionError: The output matrix is not congruent mod p to the approximation found earlier in src/sage/schemes/elliptic_curves/padics.py: #29079