Skip to content

Commit

Permalink
Prepare for SageMath 10.4: Second attempt at updating some tests so t…
Browse files Browse the repository at this point in the history
…hat they work with the SageMath versions having naive complex interval division and tight complex interval division.
  • Loading branch information
unhyperbolic committed Jul 20, 2024
1 parent 0f8c3c0 commit 60dd12f
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions python/verify/krawczyk_shapes_engine.py
Original file line number Diff line number Diff line change
Expand Up @@ -75,12 +75,12 @@ class KrawczykShapesEngine:
And here an example where the initial solution is somewhat off::
sage: M = Manifold("m019")
sage: shapes = [ 0.78+0.91j, 0.79+0.92j, 0.5 + 0.63j ]
sage: C = KrawczykShapesEngine(M, shapes, bits_prec = 100)
sage: shapes = [0.780559+0.91449j, 0.780559+0.9144j, 0.46009+0.639j]
sage: C = KrawczykShapesEngine(M, shapes, bits_prec = 190)
sage: C.expand_until_certified()
True
sage: C.certified_shapes
(0.78? + 0.92?*I, 0.78? + 0.92?*I, 0.46? + 0.64?*I)
(0.7806? + 0.9145?*I, 0.7806? + 0.9145?*I, 0.4601? + 0.6326?*I)
"""

Expand Down Expand Up @@ -392,7 +392,7 @@ def __init__(self, M, initial_shapes, bits_prec=None, dec_prec=None):
Or some non-hyperbolic manifolds::
sage: Manifold("t02333(1,0)").tetrahedra_shapes(intervals = True, bits_precision = 100)
sage: Manifold("t02333(1,0)").tetrahedra_shapes(intervals = True) # doctest: +SKIP
Traceback (most recent call last):
...
RuntimeError: Could not certify shape intervals, either there are degenerate shapes or the precision must be increased.
Expand Down

0 comments on commit 60dd12f

Please sign in to comment.