PyPI - snappy - Versions diffs - 3.1.1__cp38-cp38-win_amd64.whl → 3.2__cp38-cp38-win_amd64.whl - Mend

snappy 3.1.1__cp38-cp38-win_amd64.whl → 3.2__cp38-cp38-win_amd64.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (476) hide show

snappy/CyOpenGL.cp38-win_amd64.pyd +0 -0
snappy/SnapPy.cp38-win_amd64.pyd +0 -0
snappy/SnapPyHP.cp38-win_amd64.pyd +0 -0
snappy/__init__.py +299 -402
snappy/app.py +70 -20
snappy/browser.py +18 -17
snappy/canonical.py +249 -0
snappy/{verify/cusp_shapes.py → cusps/__init__.py} +8 -18
snappy/cusps/cusp_area_matrix.py +101 -0
snappy/{verify/cusp_areas.py → cusps/cusp_areas_from_matrix.py} +23 -39
snappy/cusps/maximal_cusp_area_matrix.py +136 -0
snappy/cusps/test.py +21 -0
snappy/cusps/trig_cusp_area_matrix.py +63 -0
snappy/database.py +10 -9
snappy/decorated_isosig.py +337 -114
snappy/dev/extended_ptolemy/complexVolumesClosed.py +40 -7
snappy/dev/extended_ptolemy/extended.py +3 -3
snappy/dev/extended_ptolemy/phc_wrapper.py +10 -10
snappy/dev/vericlosed/oneVertexTruncatedComplex.py +1 -1
snappy/doc/_images/m004_paper_plane_on_systole.jpg +0 -0
snappy/doc/_images/m125_paper_plane.jpg +0 -0
snappy/doc/_images/o9_00000_systole_paper_plane.jpg +0 -0
snappy/doc/_images/o9_00000_systole_paper_plane_closer.jpg +0 -0
snappy/doc/_sources/additional_classes.rst.txt +40 -40
snappy/doc/_sources/bugs.rst.txt +14 -14
snappy/doc/_sources/censuses.rst.txt +51 -51
snappy/doc/_sources/credits.rst.txt +75 -75
snappy/doc/_sources/development.rst.txt +259 -239
snappy/doc/_sources/index.rst.txt +182 -115
snappy/doc/_sources/installing.rst.txt +247 -264
snappy/doc/_sources/manifold.rst.txt +6 -6
snappy/doc/_sources/manifoldhp.rst.txt +46 -46
snappy/doc/_sources/news.rst.txt +355 -283
snappy/doc/_sources/other.rst.txt +25 -25
snappy/doc/_sources/platonic_census.rst.txt +20 -20
snappy/doc/_sources/plink.rst.txt +102 -102
snappy/doc/_sources/ptolemy.rst.txt +66 -66
snappy/doc/_sources/ptolemy_classes.rst.txt +42 -42
snappy/doc/_sources/ptolemy_examples1.rst.txt +298 -297
snappy/doc/_sources/ptolemy_examples2.rst.txt +363 -363
snappy/doc/_sources/ptolemy_examples3.rst.txt +301 -301
snappy/doc/_sources/ptolemy_examples4.rst.txt +61 -61
snappy/doc/_sources/ptolemy_prelim.rst.txt +105 -105
snappy/doc/_sources/screenshots.rst.txt +21 -21
snappy/doc/_sources/snap.rst.txt +87 -87
snappy/doc/_sources/snappy.rst.txt +28 -28
snappy/doc/_sources/spherogram.rst.txt +103 -103
snappy/doc/_sources/todo.rst.txt +47 -47
snappy/doc/_sources/triangulation.rst.txt +11 -11
snappy/doc/_sources/tutorial.rst.txt +49 -49
snappy/doc/_sources/verify.rst.txt +210 -150
snappy/doc/_sources/verify_internals.rst.txt +79 -90
snappy/doc/_static/basic.css +924 -902
snappy/doc/_static/css/badge_only.css +1 -1
snappy/doc/_static/css/theme.css +1 -1
snappy/doc/_static/doctools.js +1 -1
snappy/doc/_static/documentation_options.js +12 -13
snappy/doc/_static/fonts/Lato/lato-bold.eot +0 -0
snappy/doc/_static/fonts/Lato/lato-bold.ttf +0 -0
snappy/doc/_static/fonts/Lato/lato-bold.woff +0 -0
snappy/doc/_static/fonts/Lato/lato-bold.woff2 +0 -0
snappy/doc/_static/fonts/Lato/lato-bolditalic.eot +0 -0
snappy/doc/_static/fonts/Lato/lato-bolditalic.ttf +0 -0
snappy/doc/_static/fonts/Lato/lato-bolditalic.woff +0 -0
snappy/doc/_static/fonts/Lato/lato-bolditalic.woff2 +0 -0
snappy/doc/_static/fonts/Lato/lato-italic.eot +0 -0
snappy/doc/_static/fonts/Lato/lato-italic.ttf +0 -0
snappy/doc/_static/fonts/Lato/lato-italic.woff +0 -0
snappy/doc/_static/fonts/Lato/lato-italic.woff2 +0 -0
snappy/doc/_static/fonts/Lato/lato-regular.eot +0 -0
snappy/doc/_static/fonts/Lato/lato-regular.ttf +0 -0
snappy/doc/_static/fonts/Lato/lato-regular.woff +0 -0
snappy/doc/_static/fonts/Lato/lato-regular.woff2 +0 -0
snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.eot +0 -0
snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.ttf +0 -0
snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff +0 -0
snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff2 +0 -0
snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.eot +0 -0
snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.ttf +0 -0
snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff +0 -0
snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff2 +0 -0
snappy/doc/_static/js/versions.js +228 -0
snappy/doc/_static/language_data.js +199 -199
snappy/doc/_static/pygments.css +74 -73
snappy/doc/_static/searchtools.js +125 -71
snappy/doc/_static/snappy_furo.css +33 -33
snappy/doc/_static/snappy_sphinx_rtd_theme.css +42 -42
snappy/doc/_static/sphinx_highlight.js +13 -3
snappy/doc/additional_classes.html +1499 -1330
snappy/doc/bugs.html +131 -134
snappy/doc/censuses.html +426 -445
snappy/doc/credits.html +180 -183
snappy/doc/development.html +383 -363
snappy/doc/genindex.html +1330 -1409
snappy/doc/index.html +261 -206
snappy/doc/installing.html +345 -363
snappy/doc/manifold.html +3451 -2839
snappy/doc/manifoldhp.html +179 -182
snappy/doc/news.html +387 -329
snappy/doc/objects.inv +0 -0
snappy/doc/other.html +160 -162
snappy/doc/platonic_census.html +374 -377
snappy/doc/plink.html +209 -212
snappy/doc/ptolemy.html +253 -255
snappy/doc/ptolemy_classes.html +1143 -1146
snappy/doc/ptolemy_examples1.html +408 -410
snappy/doc/ptolemy_examples2.html +470 -473
snappy/doc/ptolemy_examples3.html +413 -416
snappy/doc/ptolemy_examples4.html +194 -197
snappy/doc/ptolemy_prelim.html +247 -250
snappy/doc/py-modindex.html +164 -167
snappy/doc/screenshots.html +140 -142
snappy/doc/search.html +134 -137
snappy/doc/searchindex.js +1 -1
snappy/doc/snap.html +201 -204
snappy/doc/snappy.html +180 -182
snappy/doc/spherogram.html +1210 -1213
snappy/doc/todo.html +165 -168
snappy/doc/triangulation.html +1583 -1474
snappy/doc/tutorial.html +158 -161
snappy/doc/verify.html +329 -275
snappy/doc/verify_internals.html +1234 -1691
snappy/drilling/__init__.py +153 -235
snappy/drilling/barycentric.py +103 -0
snappy/drilling/constants.py +0 -2
snappy/drilling/crush.py +56 -130
snappy/drilling/cusps.py +12 -6
snappy/drilling/debug.py +2 -1
snappy/drilling/exceptions.py +7 -40
snappy/drilling/moves.py +302 -243
snappy/drilling/perturb.py +63 -37
snappy/drilling/shorten.py +36 -0
snappy/drilling/subdivide.py +0 -5
snappy/drilling/test.py +23 -0
snappy/drilling/test_cases.py +126 -0
snappy/drilling/tracing.py +9 -37
snappy/exceptions.py +18 -5
snappy/exterior_to_link/barycentric_geometry.py +2 -4
snappy/exterior_to_link/main.py +8 -7
snappy/exterior_to_link/mcomplex_with_link.py +2 -2
snappy/exterior_to_link/rational_linear_algebra.py +1 -1
snappy/exterior_to_link/rational_linear_algebra_wrapped.py +1 -1
snappy/exterior_to_link/test.py +21 -33
snappy/geometric_structure/__init__.py +212 -0
snappy/geometric_structure/cusp_neighborhood/__init__.py +3 -0
snappy/geometric_structure/cusp_neighborhood/complex_cusp_cross_section.py +697 -0
snappy/geometric_structure/cusp_neighborhood/cusp_cross_section_base.py +484 -0
snappy/geometric_structure/cusp_neighborhood/exceptions.py +42 -0
snappy/geometric_structure/cusp_neighborhood/real_cusp_cross_section.py +298 -0
snappy/geometric_structure/cusp_neighborhood/tiles_for_cusp_neighborhood.py +159 -0
snappy/geometric_structure/cusp_neighborhood/vertices.py +32 -0
snappy/geometric_structure/geodesic/__init__.py +0 -0
snappy/geometric_structure/geodesic/add_core_curves.py +152 -0
snappy/geometric_structure/geodesic/avoid_core_curves.py +369 -0
snappy/geometric_structure/geodesic/canonical_keys.py +52 -0
snappy/geometric_structure/geodesic/check_away_from_core_curve.py +60 -0
snappy/geometric_structure/geodesic/constants.py +6 -0
snappy/geometric_structure/geodesic/exceptions.py +22 -0
snappy/{drilling → geometric_structure/geodesic}/fixed_points.py +34 -9
snappy/{drilling/geodesic_info.py → geometric_structure/geodesic/geodesic_start_point_info.py} +139 -180
snappy/geometric_structure/geodesic/graph_trace_helper.py +67 -0
snappy/geometric_structure/geodesic/line.py +30 -0
snappy/geometric_structure/geodesic/multiplicity.py +127 -0
snappy/geometric_structure/geodesic/tiles_for_geodesic.py +101 -0
snappy/geometric_structure/test.py +22 -0
snappy/gui.py +23 -13
snappy/horoviewer.py +7 -7
snappy/hyperboloid/__init__.py +96 -31
snappy/hyperboloid/distances.py +245 -0
snappy/hyperboloid/horoball.py +19 -0
snappy/hyperboloid/line.py +35 -0
snappy/hyperboloid/point.py +9 -0
snappy/hyperboloid/triangle.py +29 -0
snappy/isometry_signature.py +382 -0
snappy/len_spec/__init__.py +596 -0
snappy/len_spec/geodesic_info.py +110 -0
snappy/len_spec/geodesic_key_info_dict.py +117 -0
snappy/len_spec/geodesic_piece.py +143 -0
snappy/len_spec/geometric_structure.py +182 -0
snappy/len_spec/geometry.py +80 -0
snappy/len_spec/length_spectrum_geodesic_info.py +170 -0
snappy/len_spec/spine.py +206 -0
snappy/len_spec/test.py +24 -0
snappy/len_spec/test_cases.py +69 -0
snappy/len_spec/tile.py +275 -0
snappy/len_spec/word.py +86 -0
snappy/math_basics.py +39 -13
snappy/matrix.py +52 -9
snappy/number.py +12 -6
snappy/numeric_output_checker.py +2 -3
snappy/pari.py +8 -4
snappy/phone_home.py +2 -1
snappy/polyviewer.py +8 -8
snappy/ptolemy/__init__.py +1 -1
snappy/ptolemy/component.py +2 -2
snappy/ptolemy/coordinates.py +25 -25
snappy/ptolemy/findLoops.py +9 -9
snappy/ptolemy/manifoldMethods.py +27 -29
snappy/ptolemy/polynomial.py +50 -57
snappy/ptolemy/processFileBase.py +60 -0
snappy/ptolemy/ptolemyVariety.py +109 -41
snappy/ptolemy/reginaWrapper.py +4 -4
snappy/ptolemy/rur.py +1 -1
snappy/ptolemy/solutionsToPrimeIdealGroebnerBasis.py +9 -9
snappy/ptolemy/test.py +99 -54
snappy/ptolemy/utilities.py +1 -1
snappy/raytracing/__init__.py +64 -0
snappy/raytracing/additional_horospheres.py +64 -0
snappy/raytracing/additional_len_spec_choices.py +63 -0
snappy/raytracing/cohomology_fractal.py +0 -3
snappy/raytracing/eyeball.py +123 -0
snappy/raytracing/finite_raytracing_data.py +17 -17
snappy/raytracing/finite_viewer.py +15 -15
snappy/raytracing/geodesic_tube_info.py +93 -63
snappy/raytracing/geodesics.py +94 -64
snappy/raytracing/geodesics_window.py +56 -34
snappy/raytracing/gui_utilities.py +21 -6
snappy/raytracing/hyperboloid_navigation.py +29 -4
snappy/raytracing/hyperboloid_utilities.py +73 -73
snappy/raytracing/ideal_raytracing_data.py +121 -91
snappy/raytracing/inside_viewer.py +199 -66
snappy/raytracing/pack.py +22 -0
snappy/raytracing/raytracing_data.py +37 -25
snappy/raytracing/raytracing_view.py +70 -65
snappy/raytracing/shaders/Eye.png +0 -0
snappy/raytracing/shaders/NonGeometric.png +0 -0
snappy/raytracing/shaders/__init__.py +39 -3
snappy/raytracing/shaders/fragment.glsl +451 -133
snappy/raytracing/test.py +29 -0
snappy/raytracing/tooltip.py +146 -0
snappy/raytracing/upper_halfspace_utilities.py +42 -9
snappy/sage_helper.py +67 -134
snappy/settings.py +90 -77
snappy/shell.py +2 -0
snappy/snap/character_varieties.py +2 -2
snappy/snap/find_field.py +4 -3
snappy/snap/fundamental_polyhedron.py +2 -2
snappy/snap/kernel_structures.py +5 -1
snappy/snap/nsagetools.py +9 -8
snappy/snap/peripheral/dual_cellulation.py +4 -3
snappy/snap/peripheral/peripheral.py +2 -2
snappy/snap/peripheral/surface.py +5 -5
snappy/snap/peripheral/test.py +1 -1
snappy/snap/polished_reps.py +8 -8
snappy/snap/slice_obs_HKL.py +16 -14
snappy/snap/t3mlite/arrow.py +3 -3
snappy/snap/t3mlite/edge.py +3 -3
snappy/snap/t3mlite/homology.py +2 -2
snappy/snap/t3mlite/mcomplex.py +3 -3
snappy/snap/t3mlite/simplex.py +12 -0
snappy/snap/t3mlite/spun.py +18 -17
snappy/snap/t3mlite/test_vs_regina.py +4 -4
snappy/snap/test.py +37 -53
snappy/snap/utilities.py +4 -5
snappy/test.py +121 -138
snappy/test_cases.py +263 -0
snappy/testing.py +131 -0
snappy/tiling/__init__.py +2 -0
snappy/tiling/canonical_key_dict.py +59 -0
snappy/tiling/dict_based_set.py +79 -0
snappy/tiling/floor.py +49 -0
snappy/tiling/hyperboloid_dict.py +54 -0
snappy/tiling/iter_utils.py +78 -0
snappy/tiling/lifted_tetrahedron.py +22 -0
snappy/tiling/lifted_tetrahedron_set.py +54 -0
snappy/tiling/real_hash_dict.py +164 -0
snappy/tiling/test.py +23 -0
snappy/tiling/tile.py +215 -0
snappy/tiling/triangle.py +33 -0
snappy/tkterminal.py +113 -84
snappy/twister/main.py +1 -7
snappy/twister/twister_core.cp38-win_amd64.pyd +0 -0
snappy/upper_halfspace/__init__.py +78 -17
snappy/verify/__init__.py +3 -7
snappy/verify/{verifyCanonical.py → canonical.py} +78 -70
snappy/verify/complex_volume/adjust_torsion.py +1 -2
snappy/verify/complex_volume/closed.py +13 -13
snappy/verify/complex_volume/cusped.py +6 -6
snappy/verify/complex_volume/extended_bloch.py +5 -8
snappy/verify/{cuspTranslations.py → cusp_translations.py} +1 -1
snappy/verify/edge_equations.py +80 -0
snappy/verify/exceptions.py +0 -55
snappy/verify/{verifyHyperbolicity.py → hyperbolicity.py} +3 -3
snappy/verify/interval_newton_shapes_engine.py +7 -5
snappy/verify/interval_tree.py +5 -5
snappy/verify/krawczyk_shapes_engine.py +17 -18
snappy/verify/maximal_cusp_area_matrix/__init__.py +7 -74
snappy/verify/maximal_cusp_area_matrix/cusp_tiling_engine.py +3 -4
snappy/verify/maximal_cusp_area_matrix/cusp_translate_engine.py +1 -1
snappy/verify/{realAlgebra.py → real_algebra.py} +1 -1
snappy/verify/shapes.py +5 -3
snappy/verify/short_slopes.py +39 -41
snappy/verify/{squareExtensions.py → square_extensions.py} +14 -11
snappy/verify/test.py +57 -60
snappy/verify/upper_halfspace/extended_matrix.py +1 -1
snappy/verify/upper_halfspace/finite_point.py +3 -4
snappy/verify/upper_halfspace/ideal_point.py +9 -9
snappy/verify/volume.py +2 -2
snappy/version.py +2 -2
{snappy-3.1.1.dist-info → snappy-3.2.dist-info}/METADATA +14 -10
snappy-3.2.dist-info/RECORD +503 -0
{snappy-3.1.1.dist-info → snappy-3.2.dist-info}/WHEEL +1 -1
{snappy-3.1.1.dist-info → snappy-3.2.dist-info}/top_level.txt +6 -1
snappy/__pycache__/__init__.cpython-38.pyc +0 -0
snappy/__pycache__/browser.cpython-38.pyc +0 -0
snappy/__pycache__/cache.cpython-38.pyc +0 -0
snappy/__pycache__/database.cpython-38.pyc +0 -0
snappy/__pycache__/db_utilities.cpython-38.pyc +0 -0
snappy/__pycache__/decorated_isosig.cpython-38.pyc +0 -0
snappy/__pycache__/exceptions.cpython-38.pyc +0 -0
snappy/__pycache__/export_stl.cpython-38.pyc +0 -0
snappy/__pycache__/filedialog.cpython-38.pyc +0 -0
snappy/__pycache__/gui.cpython-38.pyc +0 -0
snappy/__pycache__/horoviewer.cpython-38.pyc +0 -0
snappy/__pycache__/math_basics.cpython-38.pyc +0 -0
snappy/__pycache__/matrix.cpython-38.pyc +0 -0
snappy/__pycache__/number.cpython-38.pyc +0 -0
snappy/__pycache__/numeric_output_checker.cpython-38.pyc +0 -0
snappy/__pycache__/pari.cpython-38.pyc +0 -0
snappy/__pycache__/polyviewer.cpython-38.pyc +0 -0
snappy/__pycache__/sage_helper.cpython-38.pyc +0 -0
snappy/__pycache__/version.cpython-38.pyc +0 -0
snappy/doc/_sources/verify_canon.rst.txt +0 -90
snappy/doc/_static/jquery-3.6.0.js +0 -10881
snappy/doc/_static/js/html5shiv-printshiv.min.js +0 -4
snappy/doc/_static/js/html5shiv.min.js +0 -4
snappy/doc/_static/underscore-1.13.1.js +0 -2042
snappy/doc/_static/underscore.js +0 -6
snappy/doc/verify_canon.html +0 -304
snappy/drilling/__pycache__/__init__.cpython-38.pyc +0 -0
snappy/drilling/__pycache__/constants.cpython-38.pyc +0 -0
snappy/drilling/__pycache__/crush.cpython-38.pyc +0 -0
snappy/drilling/__pycache__/cusps.cpython-38.pyc +0 -0
snappy/drilling/__pycache__/debug.cpython-38.pyc +0 -0
snappy/drilling/__pycache__/epsilons.cpython-38.pyc +0 -0
snappy/drilling/__pycache__/exceptions.cpython-38.pyc +0 -0
snappy/drilling/__pycache__/fixed_points.cpython-38.pyc +0 -0
snappy/drilling/__pycache__/geodesic_info.cpython-38.pyc +0 -0
snappy/drilling/__pycache__/geodesic_tube.cpython-38.pyc +0 -0
snappy/drilling/__pycache__/geometric_structure.cpython-38.pyc +0 -0
snappy/drilling/__pycache__/line.cpython-38.pyc +0 -0
snappy/drilling/__pycache__/moves.cpython-38.pyc +0 -0
snappy/drilling/__pycache__/peripheral_curves.cpython-38.pyc +0 -0
snappy/drilling/__pycache__/perturb.cpython-38.pyc +0 -0
snappy/drilling/__pycache__/quotient_space.cpython-38.pyc +0 -0
snappy/drilling/__pycache__/spatial_dict.cpython-38.pyc +0 -0
snappy/drilling/__pycache__/subdivide.cpython-38.pyc +0 -0
snappy/drilling/__pycache__/tracing.cpython-38.pyc +0 -0
snappy/drilling/geodesic_tube.py +0 -441
snappy/drilling/geometric_structure.py +0 -366
snappy/drilling/line.py +0 -122
snappy/drilling/quotient_space.py +0 -94
snappy/drilling/spatial_dict.py +0 -128
snappy/exterior_to_link/__pycache__/__init__.cpython-38.pyc +0 -0
snappy/exterior_to_link/__pycache__/barycentric_geometry.cpython-38.pyc +0 -0
snappy/exterior_to_link/__pycache__/exceptions.cpython-38.pyc +0 -0
snappy/exterior_to_link/__pycache__/hyp_utils.cpython-38.pyc +0 -0
snappy/exterior_to_link/__pycache__/link_projection.cpython-38.pyc +0 -0
snappy/exterior_to_link/__pycache__/main.cpython-38.pyc +0 -0
snappy/exterior_to_link/__pycache__/mcomplex_with_expansion.cpython-38.pyc +0 -0
snappy/exterior_to_link/__pycache__/mcomplex_with_link.cpython-38.pyc +0 -0
snappy/exterior_to_link/__pycache__/mcomplex_with_memory.cpython-38.pyc +0 -0
snappy/exterior_to_link/__pycache__/pl_utils.cpython-38.pyc +0 -0
snappy/exterior_to_link/__pycache__/put_in_S3.cpython-38.pyc +0 -0
snappy/exterior_to_link/__pycache__/rational_linear_algebra.cpython-38.pyc +0 -0
snappy/exterior_to_link/__pycache__/simplify_to_base_tri.cpython-38.pyc +0 -0
snappy/exterior_to_link/__pycache__/stored_moves.cpython-38.pyc +0 -0
snappy/hyperboloid/__pycache__/__init__.cpython-38.pyc +0 -0
snappy/manifolds/__pycache__/__init__.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/__init__.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/component.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/coordinates.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/fieldExtensions.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/findLoops.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/homology.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/manifoldMethods.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/matrix.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/numericalSolutionsToGroebnerBasis.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/polynomial.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/processComponents.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/processFileBase.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/processFileDispatch.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/processMagmaFile.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/processRurFile.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/ptolemyGeneralizedObstructionClass.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/ptolemyObstructionClass.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/ptolemyVariety.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/ptolemyVarietyPrimeIdealGroebnerBasis.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/rur.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/solutionsToPrimeIdealGroebnerBasis.cpython-38.pyc +0 -0
snappy/ptolemy/__pycache__/utilities.cpython-38.pyc +0 -0
snappy/snap/__pycache__/__init__.cpython-38.pyc +0 -0
snappy/snap/__pycache__/character_varieties.cpython-38.pyc +0 -0
snappy/snap/__pycache__/fundamental_polyhedron.cpython-38.pyc +0 -0
snappy/snap/__pycache__/interval_reps.cpython-38.pyc +0 -0
snappy/snap/__pycache__/kernel_structures.cpython-38.pyc +0 -0
snappy/snap/__pycache__/mcomplex_base.cpython-38.pyc +0 -0
snappy/snap/__pycache__/nsagetools.cpython-38.pyc +0 -0
snappy/snap/__pycache__/polished_reps.cpython-38.pyc +0 -0
snappy/snap/__pycache__/shapes.cpython-38.pyc +0 -0
snappy/snap/__pycache__/slice_obs_HKL.cpython-38.pyc +0 -0
snappy/snap/__pycache__/utilities.cpython-38.pyc +0 -0
snappy/snap/peripheral/__pycache__/__init__.cpython-38.pyc +0 -0
snappy/snap/peripheral/__pycache__/dual_cellulation.cpython-38.pyc +0 -0
snappy/snap/peripheral/__pycache__/link.cpython-38.pyc +0 -0
snappy/snap/peripheral/__pycache__/peripheral.cpython-38.pyc +0 -0
snappy/snap/peripheral/__pycache__/surface.cpython-38.pyc +0 -0
snappy/snap/t3mlite/__pycache__/__init__.cpython-38.pyc +0 -0
snappy/snap/t3mlite/__pycache__/arrow.cpython-38.pyc +0 -0
snappy/snap/t3mlite/__pycache__/corner.cpython-38.pyc +0 -0
snappy/snap/t3mlite/__pycache__/edge.cpython-38.pyc +0 -0
snappy/snap/t3mlite/__pycache__/face.cpython-38.pyc +0 -0
snappy/snap/t3mlite/__pycache__/files.cpython-38.pyc +0 -0
snappy/snap/t3mlite/__pycache__/homology.cpython-38.pyc +0 -0
snappy/snap/t3mlite/__pycache__/linalg.cpython-38.pyc +0 -0
snappy/snap/t3mlite/__pycache__/mcomplex.cpython-38.pyc +0 -0
snappy/snap/t3mlite/__pycache__/perm4.cpython-38.pyc +0 -0
snappy/snap/t3mlite/__pycache__/simplex.cpython-38.pyc +0 -0
snappy/snap/t3mlite/__pycache__/spun.cpython-38.pyc +0 -0
snappy/snap/t3mlite/__pycache__/surface.cpython-38.pyc +0 -0
snappy/snap/t3mlite/__pycache__/tetrahedron.cpython-38.pyc +0 -0
snappy/snap/t3mlite/__pycache__/vertex.cpython-38.pyc +0 -0
snappy/togl/__init__.py +0 -3
snappy/togl/darwin-tk8.6/Togl2.1/LICENSE +0 -28
snappy/togl/darwin-tk8.6/Togl2.1/libTogl2.1.dylib +0 -0
snappy/togl/darwin-tk8.6/Togl2.1/pkgIndex.tcl +0 -5
snappy/togl/darwin-tk8.7/Togl2.1/LICENSE +0 -28
snappy/togl/darwin-tk8.7/Togl2.1/libTogl2.1.dylib +0 -0
snappy/togl/darwin-tk8.7/Togl2.1/pkgIndex.tcl +0 -5
snappy/togl/linux2-x86_64-tk8.6/Togl2.1/LICENSE +0 -28
snappy/togl/linux2-x86_64-tk8.6/Togl2.1/libTogl2.1.so +0 -0
snappy/togl/linux2-x86_64-tk8.6/Togl2.1/pkgIndex.tcl +0 -5
snappy/togl/win32VC-tk8.6/Togl2.1/LICENSE +0 -28
snappy/togl/win32VC-tk8.6/Togl2.1/Togl21.dll +0 -0
snappy/togl/win32VC-tk8.6/Togl2.1/Togl21.lib +0 -0
snappy/togl/win32VC-tk8.6/Togl2.1/pkgIndex.tcl +0 -6
snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/LICENSE +0 -28
snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/Togl21.dll +0 -0
snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/Togl21.lib +0 -0
snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/pkgIndex.tcl +0 -6
snappy/twister/__pycache__/__init__.cpython-38.pyc +0 -0
snappy/twister/__pycache__/main.cpython-38.pyc +0 -0
snappy/upper_halfspace/__pycache__/__init__.cpython-38.pyc +0 -0
snappy/upper_halfspace/__pycache__/ideal_point.cpython-38.pyc +0 -0
snappy/verify/__pycache__/__init__.cpython-38.pyc +0 -0
snappy/verify/__pycache__/cuspCrossSection.cpython-38.pyc +0 -0
snappy/verify/__pycache__/cuspTranslations.cpython-38.pyc +0 -0
snappy/verify/__pycache__/cusp_areas.cpython-38.pyc +0 -0
snappy/verify/__pycache__/cusp_shapes.cpython-38.pyc +0 -0
snappy/verify/__pycache__/exceptions.cpython-38.pyc +0 -0
snappy/verify/__pycache__/interval_newton_shapes_engine.cpython-38.pyc +0 -0
snappy/verify/__pycache__/interval_tree.cpython-38.pyc +0 -0
snappy/verify/__pycache__/krawczyk_shapes_engine.cpython-38.pyc +0 -0
snappy/verify/__pycache__/realAlgebra.cpython-38.pyc +0 -0
snappy/verify/__pycache__/shapes.cpython-38.pyc +0 -0
snappy/verify/__pycache__/short_slopes.cpython-38.pyc +0 -0
snappy/verify/__pycache__/squareExtensions.cpython-38.pyc +0 -0
snappy/verify/__pycache__/verifyCanonical.cpython-38.pyc +0 -0
snappy/verify/__pycache__/verifyHyperbolicity.cpython-38.pyc +0 -0
snappy/verify/__pycache__/volume.cpython-38.pyc +0 -0
snappy/verify/complex_volume/__pycache__/__init__.cpython-38.pyc +0 -0
snappy/verify/complex_volume/__pycache__/adjust_torsion.cpython-38.pyc +0 -0
snappy/verify/complex_volume/__pycache__/closed.cpython-38.pyc +0 -0
snappy/verify/complex_volume/__pycache__/compute_ptolemys.cpython-38.pyc +0 -0
snappy/verify/complex_volume/__pycache__/cusped.cpython-38.pyc +0 -0
snappy/verify/complex_volume/__pycache__/extended_bloch.cpython-38.pyc +0 -0
snappy/verify/cuspCrossSection.py +0 -1422
snappy/verify/maximal_cusp_area_matrix/__pycache__/__init__.cpython-38.pyc +0 -0
snappy/verify/maximal_cusp_area_matrix/__pycache__/cusp_tiling_engine.cpython-38.pyc +0 -0
snappy/verify/maximal_cusp_area_matrix/__pycache__/cusp_translate_engine.cpython-38.pyc +0 -0
snappy/verify/upper_halfspace/__pycache__/__init__.cpython-38.pyc +0 -0
snappy/verify/upper_halfspace/__pycache__/extended_matrix.cpython-38.pyc +0 -0
snappy/verify/upper_halfspace/__pycache__/finite_point.cpython-38.pyc +0 -0
snappy/verify/upper_halfspace/__pycache__/ideal_point.cpython-38.pyc +0 -0
snappy-3.1.1.dist-info/RECORD +0 -575
{snappy-3.1.1.dist-info → snappy-3.2.dist-info}/entry_points.txt +0 -0

snappy/doc/verify.html CHANGED Viewed

@@ -1,276 +1,330 @@
-<!DOCTYPE html>
-<html class="writer-html5" lang="en" >
-<head>
-  <meta charset="utf-8" /><meta name="generator" content="Docutils 0.18.1: http://docutils.sourceforge.net/" />
-  <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>Verified computations &mdash; SnapPy 3.1.1 documentation</title>
-      <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
-      <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
-      <link rel="stylesheet" href="_static/snappy_sphinx_rtd_theme.css" type="text/css" />
-    <link rel="shortcut icon" href="_static/SnapPy.ico"/>
-  <!--[if lt IE 9]>
-    <script src="_static/js/html5shiv.min.js"></script>
-  <![endif]-->
-        <script src="_static/jquery.js"></script>
-        <script src="_static/_sphinx_javascript_frameworks_compat.js"></script>
-        <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js"></script>
-        <script src="_static/doctools.js"></script>
-        <script src="_static/sphinx_highlight.js"></script>
-    <script src="_static/js/theme.js"></script>
-    <link rel="index" title="Index" href="genindex.html" />
-    <link rel="search" title="Search" href="search.html" />
-    <link rel="next" title="Canonical retriangulation and isometry signature" href="verify_canon.html" />
-    <link rel="prev" title="Number theory of hyperbolic 3-manifolds" href="snap.html" />
-</head>
-<body class="wy-body-for-nav">
-  <div class="wy-grid-for-nav">
-    <nav data-toggle="wy-nav-shift" class="wy-nav-side">
-      <div class="wy-side-scroll">
-        <div class="wy-side-nav-search" >
-          <a href="index.html" class="icon icon-home">
-            SnapPy
-              <img src="_static/SnapPy-horizontal-128.png" class="logo" alt="Logo"/>
-          </a>
-              <div class="version">
-                3.1.1
-              </div>
-<div role="search">
-  <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
-    <input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
-    <input type="hidden" name="check_keywords" value="yes" />
-    <input type="hidden" name="area" value="default" />
-  </form>
-</div>
-        </div><div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="Navigation menu">
-              <ul class="current">
-<li class="toctree-l1"><a class="reference internal" href="installing.html">Installing SnapPy</a></li>
-<li class="toctree-l1"><a class="reference internal" href="screenshots.html">Screenshots: SnapPy in action</a></li>
-<li class="toctree-l1"><a class="reference internal" href="tutorial.html">Tutorial</a></li>
-<li class="toctree-l1"><a class="reference internal" href="snappy.html">The snappy module and its classes</a></li>
-<li class="toctree-l1"><a class="reference internal" href="plink.html">Using SnapPy’s link editor</a></li>
-<li class="toctree-l1"><a class="reference internal" href="spherogram.html">Links: planar diagrams and invariants</a></li>
-<li class="toctree-l1"><a class="reference internal" href="snap.html">Number theory of hyperbolic 3-manifolds</a></li>
-<li class="toctree-l1 current"><a class="current reference internal" href="#">Verified computations</a><ul>
-<li class="toctree-l2"><a class="reference internal" href="#overview">Overview</a></li>
-<li class="toctree-l2"><a class="reference internal" href="#verified-computation-topics">Verified computation topics</a><ul>
-<li class="toctree-l3"><a class="reference internal" href="verify_canon.html">Canonical retriangulation and isometry signature</a></li>
-<li class="toctree-l3"><a class="reference internal" href="verify_internals.html">Internals of verified computations</a></li>
-</ul>
-</li>
-</ul>
-</li>
-<li class="toctree-l1"><a class="reference internal" href="other.html">Other components</a></li>
-<li class="toctree-l1"><a class="reference internal" href="news.html">News</a></li>
-<li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
-<li class="toctree-l1"><a class="reference internal" href="bugs.html">Reporting bugs and other problems</a></li>
-<li class="toctree-l1"><a class="reference internal" href="todo.html">To Do List</a></li>
-<li class="toctree-l1"><a class="reference internal" href="development.html">Development Basics</a></li>
-</ul>
-        </div>
-      </div>
-    </nav>
-    <section data-toggle="wy-nav-shift" class="wy-nav-content-wrap"><nav class="wy-nav-top" aria-label="Mobile navigation menu" >
-          <i data-toggle="wy-nav-top" class="fa fa-bars"></i>
-          <a href="index.html">SnapPy</a>
-      </nav>
-      <div class="wy-nav-content">
-        <div class="rst-content">
-          <div role="navigation" aria-label="Page navigation">
-  <ul class="wy-breadcrumbs">
-      <li><a href="index.html" class="icon icon-home" aria-label="Home"></a></li>
-      <li class="breadcrumb-item active">Verified computations</li>
-      <li class="wy-breadcrumbs-aside">
-      </li>
-  </ul>
-  <hr/>
-</div>
-          <div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
-           <div itemprop="articleBody">
-  <section id="verified-computations">
-<h1>Verified computations<a class="headerlink" href="#verified-computations" title="Permalink to this heading"></a></h1>
-<section id="overview">
-<h2>Overview<a class="headerlink" href="#overview" title="Permalink to this heading"></a></h2>
-<p>When used inside <a class="reference external" href="http://sagemath.org">Sage</a>, SnapPy can verify the
-following computations:</p>
-<ul>
-<li><p>Complex intervals for the shapes that are guaranteed to contain a true
-but not necessarily geometric solution to the rectangular gluing equations:</p>
-<div class="highlight-default notranslate"><div class="highlight"><pre><span></span>sage: M = Manifold(&quot;m015(3,1)&quot;)
-sage: M.tetrahedra_shapes(&#39;rect&#39;, intervals=True)
-[0.625222762246? + 3.177940133813?*I,
- -0.0075523593782? + 0.5131157955971?*I,
- 0.6515818912107? - 0.1955023488930?*I]
-</pre></div>
-</div>
-<p>(Specify <code class="xref py py-attr docutils literal notranslate"><span class="pre">bits_prec</span></code> or <code class="xref py py-attr docutils literal notranslate"><span class="pre">dec_prec</span></code> for higher precision intervals.)</p>
-</li>
-<li><p>Verify the hyperbolicity
-of an orientable 3-manifold giving complex intervals for the
-shapes corresponding to a hyperbolic structure or holonomy representation with
-<a class="reference internal" href="manifold.html#snappy.Manifold.verify_hyperbolicity" title="snappy.Manifold.verify_hyperbolicity"><code class="xref py py-meth docutils literal notranslate"><span class="pre">verify_hyperbolicity()</span></code></a>:</p>
-<div class="highlight-default notranslate"><div class="highlight"><pre><span></span>sage: M = Manifold(&quot;m015&quot;)
-sage: M.verify_hyperbolicity()
-(True,
- [0.6623589786224? + 0.5622795120623?*I,
-  0.6623589786224? + 0.5622795120623?*I,
-  0.6623589786224? + 0.5622795120623?*I])
-sage: M.verify_hyperbolicity(holonomy=True)[1].SL2C(&#39;a&#39;)
-[-0.324717957? - 1.124559024?*I -0.704807293? + 0.398888830?*I]
-[ 1.409614585? - 0.797777659?*I       -1.000000000? + 0.?e-9*I]
-</pre></div>
-</div>
-</li>
-<li><p>Intervals for the volume and complex volume of a hyperbolic orientable 3-manifold:</p>
-<div class="highlight-default notranslate"><div class="highlight"><pre><span></span>sage: M = Manifold(&quot;m003(-3,1)&quot;)
-sage: M.volume(verified=True, bits_prec = 100)
-0.942707362776927720921299603?
-sage: M = Manifold(&quot;m015&quot;)
-sage: M.complex_volume(verified_modulo_2_torsion=True)
-2.8281220883? + 1.9106738240?*I
-</pre></div>
-</div>
-<p>(Note that when using verified computation, the Chern-Simons invariant is only computed
-modulo pi^2/2 even though it is defined modulo pi^2.)</p>
-</li>
-<li><p>Give the <a class="reference internal" href="verify_canon.html"><span class="doc">canonical retriangulation</span></a> (a close
-relative to the canonical cell decomposition) of a cusped hyperbolic
-manifold using intervals or exact arithmetic if necessary with
-<a class="reference internal" href="manifold.html#snappy.Manifold.canonical_retriangulation" title="snappy.Manifold.canonical_retriangulation"><code class="xref py py-meth docutils literal notranslate"><span class="pre">canonical_retriangulation()</span></code></a>:</p>
-<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">sage</span><span class="p">:</span> <span class="n">M</span> <span class="o">=</span> <span class="n">Manifold</span><span class="p">(</span><span class="s2">&quot;m412&quot;</span><span class="p">)</span>
-<span class="n">sage</span><span class="p">:</span> <span class="n">K</span> <span class="o">=</span> <span class="n">M</span><span class="o">.</span><span class="n">canonical_retriangulation</span><span class="p">(</span><span class="n">verified</span> <span class="o">=</span> <span class="kc">True</span><span class="p">)</span>
-<span class="n">sage</span><span class="p">:</span> <span class="nb">len</span><span class="p">(</span><span class="n">K</span><span class="o">.</span><span class="n">isomorphisms_to</span><span class="p">(</span><span class="n">K</span><span class="p">))</span> <span class="c1"># Certified size of isometry group</span>
-<span class="mi">8</span>
-</pre></div>
-</div>
-<p><strong>Remark:</strong> For the case of non-tetrahedral canonical cell, exact values
-are used which are found
-using the   <a class="reference external" href="http://en.wikipedia.org/wiki/Lenstra%E2%80%93Lenstra%E2%80%93Lov%C3%A1sz_lattice_basis_reduction_algorithm">LLL-algorithm</a>
-and then verified using exact computations. These computations can be slow. A massive speed-up was achieved by
-recent improvements so that the computation of the isometry signature of any manifold in <code class="docutils literal notranslate"><span class="pre">OrientableCuspedCensus</span></code>
-takes at most a couple of seconds, typically, far less. Manifolds with more simplices might require setting
-a higher value for
-<code class="xref py py-attr docutils literal notranslate"><span class="pre">exact_bits_prec_and_degrees</span></code>.</p>
-</li>
-<li><p>The <a class="reference internal" href="verify_canon.html"><span class="doc">isometry signature</span></a> which is a complete invariant of the isometry type
-of a cusped hyperbolic manifold (i.e., two manifolds are isometric if and only
-if they have the same isometry signature):</p>
-<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">sage</span><span class="p">:</span> <span class="n">M</span> <span class="o">=</span> <span class="n">Manifold</span><span class="p">(</span><span class="s2">&quot;m412&quot;</span><span class="p">)</span>
-<span class="n">sage</span><span class="p">:</span> <span class="n">M</span><span class="o">.</span><span class="n">isometry_signature</span><span class="p">(</span><span class="n">verified</span> <span class="o">=</span> <span class="kc">True</span><span class="p">)</span>
-<span class="s1">&#39;mvvLALQQQhfghjjlilkjklaaaaaffffffff&#39;</span>
-</pre></div>
-</div>
-<p>The isometry signature can be strengthened to include the peripheral curves
-such that it is a complete invariant of a hyperbolic link:</p>
-<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">sage</span><span class="p">:</span> <span class="n">M</span> <span class="o">=</span> <span class="n">Manifold</span><span class="p">(</span><span class="s2">&quot;L5a1&quot;</span><span class="p">)</span>
-<span class="n">sage</span><span class="p">:</span> <span class="n">M</span><span class="o">.</span><span class="n">isometry_signature</span><span class="p">(</span><span class="n">of_link</span> <span class="o">=</span> <span class="kc">True</span><span class="p">,</span> <span class="n">verified</span> <span class="o">=</span> <span class="kc">True</span><span class="p">)</span>
-<span class="s1">&#39;eLPkbdcddhgggb_baCbbaCb&#39;</span>
-</pre></div>
-</div>
-<p>See <a class="reference internal" href="manifold.html#snappy.Manifold.isometry_signature" title="snappy.Manifold.isometry_signature"><code class="xref py py-meth docutils literal notranslate"><span class="pre">isometry_signature()</span></code></a> for details.</p>
-<p><strong>Remark:</strong> The isometry signature is based on the canonical
-retriangulation so the same warning applies.</p>
-</li>
-<li><p>The maximal cusp area matrix which characterizes the configuration
-space of disjoint cusp neighborhoods with
-<a class="reference internal" href="manifold.html#snappy.Manifold.cusp_area_matrix" title="snappy.Manifold.cusp_area_matrix"><code class="xref py py-meth docutils literal notranslate"><span class="pre">cusp_area_matrix()</span></code></a>:</p>
-<div class="highlight-default notranslate"><div class="highlight"><pre><span></span>sage: M=Manifold(&quot;m203&quot;)
-sage: M.cusp_area_matrix(method=&#39;maximal&#39;, verified=True)
-[   27.000000? 9.0000000000?]
-[9.0000000000?   27.0000000?]
-</pre></div>
-</div>
-<p>In this example, the cusp neighborhood about cusp 0 or 1 is only
-embedded if and only if its area is less than sqrt(27). The cusp
-neighborhood about cusp 0 is only disjoint from the one about cusp 1
-if and only if the product of their areas is less than 9.</p>
-</li>
-<li><p>Compute areas for disjoint cusp neighborhoods with
-<a class="reference internal" href="manifold.html#snappy.Manifold.cusp_areas" title="snappy.Manifold.cusp_areas"><code class="xref py py-meth docutils literal notranslate"><span class="pre">cusp_areas()</span></code></a>:</p>
-<div class="highlight-default notranslate"><div class="highlight"><pre><span></span>sage: M=Manifold(&quot;m203&quot;)
-sage: M.cusp_areas(policy = &#39;unbiased&#39;, method=&#39;maximal&#39;, verified = True)
-[3.00000000000?, 3.00000000000?]
-</pre></div>
-</div>
-<p>With the above parameters, the result is intrinsic to the hyperbolic
-manifold with labeled cusped.</p>
-</li>
-<li><p>Find all slopes of length less or equal to 6 when measured on the boundary
-of disjoint cusp neighborhoods:</p>
-<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">sage</span><span class="p">:</span> <span class="n">M</span><span class="o">=</span><span class="n">Manifold</span><span class="p">(</span><span class="s2">&quot;m203&quot;</span><span class="p">)</span>
-<span class="n">sage</span><span class="p">:</span> <span class="n">M</span><span class="o">.</span><span class="n">short_slopes</span><span class="p">(</span><span class="n">policy</span> <span class="o">=</span> <span class="s1">&#39;unbiased&#39;</span><span class="p">,</span> <span class="n">method</span><span class="o">=</span><span class="s1">&#39;maximal&#39;</span><span class="p">,</span> <span class="n">verified</span> <span class="o">=</span> <span class="kc">True</span><span class="p">)</span>
-<span class="p">[[(</span><span class="mi">1</span><span class="p">,</span> <span class="mi">0</span><span class="p">),</span> <span class="o">...</span><span class="p">,</span>  <span class="p">(</span><span class="mi">1</span><span class="p">,</span> <span class="mi">2</span><span class="p">)],</span> <span class="p">[(</span><span class="mi">1</span><span class="p">,</span> <span class="mi">0</span><span class="p">),</span> <span class="o">...</span><span class="p">,</span>  <span class="p">(</span><span class="mi">1</span><span class="p">,</span> <span class="mi">2</span><span class="p">)]]</span>
-</pre></div>
-</div>
-<p>First block has all short slopes for first cusp, …, see
-<a class="reference internal" href="manifold.html#snappy.Manifold.short_slopes" title="snappy.Manifold.short_slopes"><code class="xref py py-meth docutils literal notranslate"><span class="pre">short_slopes()</span></code></a> for details.</p>
-<p>By <a class="reference external" href="http://arxiv.org/abs/math/9906183">Agol’s</a> and <a class="reference external" href="http://arxiv.org/abs/math/9808120">Lackenby’s</a> 6-Theorem any Dehn-filling
-resulting in a non-hyperbolic manifold must contain one of the above
-slopes.  Thus, <a class="reference internal" href="manifold.html#snappy.Manifold.short_slopes" title="snappy.Manifold.short_slopes"><code class="xref py py-meth docutils literal notranslate"><span class="pre">short_slopes()</span></code></a> can be used
-to implement the techniques to find exceptional Dehn surgeries
-(<a class="reference external" href="https://arxiv.org/abs/1109.0903">arXiv:1109.0903</a> and
-<a class="reference external" href="https://arxiv.org/abs/1310.3472">arXiv:1310.3472</a>).</p>
-</li>
-</ul>
-<p>This is all based on a reimplementation of <a class="reference external" href="http://www.oishi.info.waseda.ac.jp/~takayasu/hikmot/">HIKMOT</a> which
-pioneered the use of interval methods for hyperbolic manifolds (also see
-<a class="reference external" href="http://ww2.ii.uj.edu.pl/~zgliczyn/cap07/krawczyk.pdf">Zgliczynski’s notes</a>). It
-can be used in a way very similar to HIKMOT, but uses Sage’s complex
-interval types for certification. It furthermore makes use of code by
-<a class="reference external" href="http://arxiv.org/abs/1407.7827/">Dunfield, Hoffman, Licata</a>. The code to
-compute the isomorphism signature was ported over from
-<a class="reference external" href="https://regina-normal.github.io/">Regina</a>.</p>
-<p>This verification code was contributed by Matthias Goerner.</p>
-</section>
-<section id="verified-computation-topics">
-<h2>Verified computation topics<a class="headerlink" href="#verified-computation-topics" title="Permalink to this heading"></a></h2>
-<div class="toctree-wrapper compound">
-<ul>
-<li class="toctree-l1"><a class="reference internal" href="verify_canon.html">Canonical retriangulation and isometry signature</a></li>
-<li class="toctree-l1"><a class="reference internal" href="verify_internals.html">Internals of verified computations</a></li>
-</ul>
-</div>
-</section>
-</section>
-           </div>
-          </div>
-          <footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
-        <a href="snap.html" class="btn btn-neutral float-left" title="Number theory of hyperbolic 3-manifolds" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
-        <a href="verify_canon.html" class="btn btn-neutral float-right" title="Canonical retriangulation and isometry signature" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
-    </div>
-  <hr/>
-  <div role="contentinfo">
-    <p>&#169; Copyright 2009-2023, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
-  </div>
-  Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
-    <a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
-    provided by <a href="https://readthedocs.org">Read the Docs</a>.
-</footer>
-        </div>
-      </div>
-    </section>
-  </div>
-  <script>
-      jQuery(function () {
-          SphinxRtdTheme.Navigation.enable(true);
-      });
-  </script>
-</body>
+<!DOCTYPE html>
+<html class="writer-html5" lang="en" data-content_root="./">
+<head>
+  <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
+  <meta name="viewport" content="width=device-width, initial-scale=1.0" />
+  <title>Verified computations &mdash; SnapPy 3.2 documentation</title>
+      <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=fa44fd50" />
+      <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=e59714d7" />
+      <link rel="stylesheet" type="text/css" href="_static/snappy_sphinx_rtd_theme.css?v=1b8ec2a8" />
+    <link rel="shortcut icon" href="_static/SnapPy.ico"/>
+      <script src="_static/jquery.js?v=5d32c60e"></script>
+      <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
+      <script src="_static/documentation_options.js?v=828ea960"></script>
+      <script src="_static/doctools.js?v=9a2dae69"></script>
+      <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
+    <script src="_static/js/theme.js"></script>
+    <link rel="index" title="Index" href="genindex.html" />
+    <link rel="search" title="Search" href="search.html" />
+    <link rel="next" title="Internals of verified computations" href="verify_internals.html" />
+    <link rel="prev" title="Number theory of hyperbolic 3-manifolds" href="snap.html" />
+</head>
+<body class="wy-body-for-nav">
+  <div class="wy-grid-for-nav">
+    <nav data-toggle="wy-nav-shift" class="wy-nav-side">
+      <div class="wy-side-scroll">
+        <div class="wy-side-nav-search" >
+          <a href="index.html" class="icon icon-home">
+            SnapPy
+              <img src="_static/SnapPy-horizontal-128.png" class="logo" alt="Logo"/>
+          </a>
+<div role="search">
+  <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
+    <input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
+    <input type="hidden" name="check_keywords" value="yes" />
+    <input type="hidden" name="area" value="default" />
+  </form>
+</div>
+        </div><div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="Navigation menu">
+              <ul class="current">
+<li class="toctree-l1"><a class="reference internal" href="installing.html">Installing SnapPy</a></li>
+<li class="toctree-l1"><a class="reference internal" href="screenshots.html">Screenshots: SnapPy in action</a></li>
+<li class="toctree-l1"><a class="reference internal" href="tutorial.html">Tutorial</a></li>
+<li class="toctree-l1"><a class="reference internal" href="snappy.html">The snappy module and its classes</a></li>
+<li class="toctree-l1"><a class="reference internal" href="plink.html">Using SnapPy’s link editor</a></li>
+<li class="toctree-l1"><a class="reference internal" href="spherogram.html">Links: planar diagrams and invariants</a></li>
+<li class="toctree-l1"><a class="reference internal" href="snap.html">Number theory of hyperbolic 3-manifolds</a></li>
+<li class="toctree-l1 current"><a class="current reference internal" href="#">Verified computations</a><ul>
+<li class="toctree-l2"><a class="reference internal" href="#introduction">Introduction</a></li>
+<li class="toctree-l2"><a class="reference internal" href="#overview">Overview</a></li>
+<li class="toctree-l2"><a class="reference internal" href="#verified-computation-topics">Verified computation topics</a><ul>
+<li class="toctree-l3"><a class="reference internal" href="verify_internals.html">Internals of verified computations</a></li>
+</ul>
+</li>
+</ul>
+</li>
+<li class="toctree-l1"><a class="reference internal" href="other.html">Other components</a></li>
+<li class="toctree-l1"><a class="reference internal" href="news.html">News</a></li>
+<li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
+<li class="toctree-l1"><a class="reference internal" href="bugs.html">Reporting bugs and other problems</a></li>
+<li class="toctree-l1"><a class="reference internal" href="todo.html">To Do List</a></li>
+<li class="toctree-l1"><a class="reference internal" href="development.html">Development Basics</a></li>
+</ul>
+        </div>
+      </div>
+    </nav>
+    <section data-toggle="wy-nav-shift" class="wy-nav-content-wrap"><nav class="wy-nav-top" aria-label="Mobile navigation menu" >
+          <i data-toggle="wy-nav-top" class="fa fa-bars"></i>
+          <a href="index.html">SnapPy</a>
+      </nav>
+      <div class="wy-nav-content">
+        <div class="rst-content">
+          <div role="navigation" aria-label="Page navigation">
+  <ul class="wy-breadcrumbs">
+      <li><a href="index.html" class="icon icon-home" aria-label="Home"></a></li>
+      <li class="breadcrumb-item active">Verified computations</li>
+      <li class="wy-breadcrumbs-aside">
+      </li>
+  </ul>
+  <hr/>
+</div>
+          <div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
+           <div itemprop="articleBody">
+  <section id="verified-computations">
+<h1>Verified computations<a class="headerlink" href="#verified-computations" title="Link to this heading"></a></h1>
+<section id="introduction">
+<span id="verify-primer"></span><h2>Introduction<a class="headerlink" href="#introduction" title="Link to this heading"></a></h2>
+<p>Several SnapPy methods use numerical computations with floating point
+approximations and can potentially result in incorrect results. This even
+applies to methods whose output is purely combinatorial such as
+<a class="reference internal" href="manifold.html#snappy.Manifold.canonical_retriangulation" title="snappy.Manifold.canonical_retriangulation"><code class="xref py py-meth docutils literal notranslate"><span class="pre">canonical_retriangulation()</span></code></a>.</p>
+<p>Many of these SnapPy methods can be supplied with a <code class="xref py py-attr docutils literal notranslate"><span class="pre">verified</span></code> flag to
+ensure that the result is provably correct. Note that verified computations are
+only available when using SnapPy inside <a class="reference external" href="http://sagemath.org">SageMath</a>.
+If the flag <code class="xref py py-attr docutils literal notranslate"><span class="pre">verified=True</span></code> is specified, an incorrect result is
+never returned. Instead the method clearly indicates a failure, usually through
+an exception:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">sage</span><span class="p">:</span> <span class="n">M</span><span class="o">=</span><span class="n">Manifold</span><span class="p">(</span><span class="s2">&quot;m004&quot;</span><span class="p">)</span>
+<span class="n">sage</span><span class="p">:</span> <span class="n">M</span><span class="o">.</span><span class="n">drill_word</span><span class="p">(</span><span class="s1">&#39;abc&#39;</span><span class="p">,</span> <span class="n">verified</span><span class="o">=</span><span class="kc">True</span><span class="p">,</span> <span class="n">bits_prec</span> <span class="o">=</span> <span class="mi">40</span><span class="p">)</span>
+<span class="o">...</span>
+<span class="n">InsufficientPrecisionError</span><span class="p">:</span> <span class="n">When</span> <span class="n">re</span><span class="o">-</span><span class="n">tracing</span> <span class="n">the</span> <span class="n">geodesic</span><span class="p">,</span> <span class="n">the</span> <span class="n">intersection</span> <span class="k">with</span> <span class="n">the</span> <span class="nb">next</span> <span class="n">tetrahedron</span> <span class="n">face</span> <span class="n">was</span> <span class="n">too</span> <span class="n">close</span> <span class="n">to</span> <span class="n">the</span> <span class="n">previous</span> <span class="n">to</span> <span class="n">tell</span> <span class="n">them</span> <span class="n">apart</span><span class="o">.</span> <span class="n">Increasing</span> <span class="n">the</span> <span class="n">precision</span> <span class="n">will</span> <span class="n">probably</span> <span class="n">avoid</span> <span class="n">this</span> <span class="n">problem</span><span class="o">.</span>
+</pre></div>
+</div>
+<p>Often, such a failure can be advoided by increasing the precision. In
+particular, this applies if the exception is a (subclass of)
+<code class="xref py py-class docutils literal notranslate"><span class="pre">InsufficientPrecisionError</span></code>:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">sage</span><span class="p">:</span> <span class="n">M</span><span class="o">.</span><span class="n">drill_word</span><span class="p">(</span><span class="s1">&#39;abc&#39;</span><span class="p">,</span> <span class="n">verified</span><span class="o">=</span><span class="kc">True</span><span class="p">,</span> <span class="n">bits_prec</span> <span class="o">=</span> <span class="mi">60</span><span class="p">)</span>
+<span class="n">m004_drilled</span><span class="p">(</span><span class="mi">0</span><span class="p">,</span><span class="mi">0</span><span class="p">)(</span><span class="mi">0</span><span class="p">,</span><span class="mi">0</span><span class="p">)</span>
+</pre></div>
+</div>
+<p>Note that, <a class="reference internal" href="manifold.html#snappy.Manifold.verify_hyperbolicity" title="snappy.Manifold.verify_hyperbolicity"><code class="xref py py-meth docutils literal notranslate"><span class="pre">verify_hyperbolicity()</span></code></a> is different though
+and does not throw an exception. Instead, it returns a bool indicating success
+as part of its output. This is for compatibility with
+<a class="reference external" href="http://www.oishi.info.waseda.ac.jp/~takayasu/hikmot/">HIKMOT</a>’s
+<code class="docutils literal notranslate"><span class="pre">verify_hyperbolicty</span></code>:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span>sage: M.verify_hyperbolicity(bits_prec=10)
+(False, [])
+sage: M.verify_hyperbolicity()
+(True,
+ [0.50000000000000? + 0.86602540378444?*I,
+  0.50000000000000? + 0.86602540378444?*I])
+</pre></div>
+</div>
+<p>As illustrated above, the result consists of intervals
+(of type SageMath’s <code class="docutils literal notranslate"><span class="pre">RealIntervalField</span></code> or
+<code class="docutils literal notranslate"><span class="pre">ComplexIntervalField</span></code>) if the output of a computation is numerical
+and <code class="xref py py-attr docutils literal notranslate"><span class="pre">verified=True</span></code> is specified. These intervals contain the true
+value.</p>
+</section>
+<section id="overview">
+<h2>Overview<a class="headerlink" href="#overview" title="Link to this heading"></a></h2>
+<p>Some examples of verified computations are:</p>
+<ul>
+<li><p>Verify the hyperbolicity
+of an orientable 3-manifold giving complex intervals for the
+shapes corresponding to a hyperbolic structure or holonomy representation with
+<a class="reference internal" href="manifold.html#snappy.Manifold.verify_hyperbolicity" title="snappy.Manifold.verify_hyperbolicity"><code class="xref py py-meth docutils literal notranslate"><span class="pre">verify_hyperbolicity()</span></code></a>:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span>sage: M = Manifold(&quot;m015&quot;)
+sage: M.verify_hyperbolicity()
+(True,
+ [0.6623589786224? + 0.5622795120623?*I,
+  0.6623589786224? + 0.5622795120623?*I,
+  0.6623589786224? + 0.5622795120623?*I])
+sage: M.verify_hyperbolicity(holonomy=True)[1].SL2C(&#39;a&#39;)
+[-0.324717957? - 1.124559024?*I -0.704807293? + 0.398888830?*I]
+[ 1.409614585? - 0.797777659?*I       -1.000000000? + 0.?e-9*I]
+</pre></div>
+</div>
+</li>
+<li><p>Intervals for the volume and complex volume of a hyperbolic orientable 3-manifold:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span>sage: M = Manifold(&quot;m003(-3,1)&quot;)
+sage: M.volume(verified=True, bits_prec = 100)
+0.942707362776927720921299603?
+sage: M = Manifold(&quot;m015&quot;)
+sage: M.complex_volume(verified_modulo_2_torsion=True)
+2.8281220883? + 1.9106738240?*I
+</pre></div>
+</div>
+<p>(Note that when using verified computation, the Chern-Simons invariant is only computed
+modulo pi^2/2 even though it is defined modulo pi^2.)</p>
+</li>
+<li><p>Give the (a close relative to the canonical cell decomposition) of a cusped
+hyperbolic manifold using intervals or exact arithmetic if necessary with
+<a class="reference internal" href="manifold.html#snappy.Manifold.canonical_retriangulation" title="snappy.Manifold.canonical_retriangulation"><code class="xref py py-meth docutils literal notranslate"><span class="pre">canonical_retriangulation()</span></code></a>:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">sage</span><span class="p">:</span> <span class="n">M</span> <span class="o">=</span> <span class="n">Manifold</span><span class="p">(</span><span class="s2">&quot;m412&quot;</span><span class="p">)</span>
+<span class="n">sage</span><span class="p">:</span> <span class="n">K</span> <span class="o">=</span> <span class="n">M</span><span class="o">.</span><span class="n">canonical_retriangulation</span><span class="p">(</span><span class="n">verified</span> <span class="o">=</span> <span class="kc">True</span><span class="p">)</span>
+<span class="n">sage</span><span class="p">:</span> <span class="nb">len</span><span class="p">(</span><span class="n">K</span><span class="o">.</span><span class="n">isomorphisms_to</span><span class="p">(</span><span class="n">K</span><span class="p">))</span> <span class="c1"># Certified size of isometry group</span>
+<span class="mi">8</span>
+</pre></div>
+</div>
+<p><strong>Remark:</strong> For the case of non-tetrahedral canonical cell, exact values
+are used which are found
+using the   <a class="reference external" href="http://en.wikipedia.org/wiki/Lenstra%E2%80%93Lenstra%E2%80%93Lov%C3%A1sz_lattice_basis_reduction_algorithm">LLL-algorithm</a>
+and then verified using exact computations. These computations can be slow. A massive speed-up was achieved by
+recent improvements so that the computation of the isometry signature of any manifold in <code class="docutils literal notranslate"><span class="pre">OrientableCuspedCensus</span></code>
+takes at most a couple of seconds, typically, far less. Manifolds with more simplices might require setting
+a higher value for
+<code class="xref py py-attr docutils literal notranslate"><span class="pre">exact_bits_prec_and_degrees</span></code>.</p>
+</li>
+<li><p>The isometry signature which is a complete invariant of the isometry type
+of a cusped hyperbolic manifold (i.e., two manifolds are isometric if and only
+if they have the same isometry signature):</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">sage</span><span class="p">:</span> <span class="n">M</span> <span class="o">=</span> <span class="n">Manifold</span><span class="p">(</span><span class="s2">&quot;m412&quot;</span><span class="p">)</span>
+<span class="n">sage</span><span class="p">:</span> <span class="n">M</span><span class="o">.</span><span class="n">isometry_signature</span><span class="p">(</span><span class="n">verified</span> <span class="o">=</span> <span class="kc">True</span><span class="p">)</span>
+<span class="s1">&#39;mvvLALQQQhfghjjlilkjklaaaaaffffffff&#39;</span>
+</pre></div>
+</div>
+<p>The isometry signature can be strengthened to include the peripheral curves
+such that it is a complete invariant of a hyperbolic link:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">sage</span><span class="p">:</span> <span class="n">M</span> <span class="o">=</span> <span class="n">Manifold</span><span class="p">(</span><span class="s2">&quot;L5a1&quot;</span><span class="p">)</span>
+<span class="n">sage</span><span class="p">:</span> <span class="n">M</span><span class="o">.</span><span class="n">isometry_signature</span><span class="p">(</span><span class="n">of_link</span> <span class="o">=</span> <span class="kc">True</span><span class="p">,</span> <span class="n">verified</span> <span class="o">=</span> <span class="kc">True</span><span class="p">)</span>
+<span class="s1">&#39;eLPkbdcddhgggb_baCbbaCb&#39;</span>
+</pre></div>
+</div>
+<p>See <a class="reference internal" href="manifold.html#snappy.Manifold.isometry_signature" title="snappy.Manifold.isometry_signature"><code class="xref py py-meth docutils literal notranslate"><span class="pre">isometry_signature()</span></code></a> for details.</p>
+<p><strong>Remark:</strong> The isometry signature is based on the canonical
+retriangulation so the same warning applies.</p>
+</li>
+<li><p>The maximal cusp area matrix which characterizes the configuration
+space of disjoint cusp neighborhoods with
+<a class="reference internal" href="manifold.html#snappy.Manifold.cusp_area_matrix" title="snappy.Manifold.cusp_area_matrix"><code class="xref py py-meth docutils literal notranslate"><span class="pre">cusp_area_matrix()</span></code></a>:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span>sage: M=Manifold(&quot;m203&quot;)
+sage: M.cusp_area_matrix(method=&#39;maximal&#39;, verified=True)
+[   27.000000? 9.0000000000?]
+[9.0000000000?   27.0000000?]
+</pre></div>
+</div>
+<p>In this example, the cusp neighborhood about cusp 0 or 1 is only
+embedded if and only if its area is less than sqrt(27). The cusp
+neighborhood about cusp 0 is only disjoint from the one about cusp 1
+if and only if the product of their areas is less than 9.</p>
+</li>
+<li><p>Compute areas for disjoint cusp neighborhoods with
+<a class="reference internal" href="manifold.html#snappy.Manifold.cusp_areas" title="snappy.Manifold.cusp_areas"><code class="xref py py-meth docutils literal notranslate"><span class="pre">cusp_areas()</span></code></a>:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span>sage: M=Manifold(&quot;m203&quot;)
+sage: M.cusp_areas(policy = &#39;unbiased&#39;, method=&#39;maximal&#39;, verified = True)
+[3.00000000000?, 3.00000000000?]
+</pre></div>
+</div>
+<p>With the above parameters, the result is intrinsic to the hyperbolic
+manifold with labeled cusped.</p>
+</li>
+<li><p>Find all slopes of length less or equal to 6 when measured on the boundary
+of disjoint cusp neighborhoods:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">sage</span><span class="p">:</span> <span class="n">M</span><span class="o">=</span><span class="n">Manifold</span><span class="p">(</span><span class="s2">&quot;m203&quot;</span><span class="p">)</span>
+<span class="n">sage</span><span class="p">:</span> <span class="n">M</span><span class="o">.</span><span class="n">short_slopes</span><span class="p">(</span><span class="n">policy</span> <span class="o">=</span> <span class="s1">&#39;unbiased&#39;</span><span class="p">,</span> <span class="n">method</span><span class="o">=</span><span class="s1">&#39;maximal&#39;</span><span class="p">,</span> <span class="n">verified</span> <span class="o">=</span> <span class="kc">True</span><span class="p">)</span>
+<span class="p">[[(</span><span class="mi">1</span><span class="p">,</span> <span class="mi">0</span><span class="p">),</span> <span class="o">...</span><span class="p">,</span>  <span class="p">(</span><span class="mi">1</span><span class="p">,</span> <span class="mi">2</span><span class="p">)],</span> <span class="p">[(</span><span class="mi">1</span><span class="p">,</span> <span class="mi">0</span><span class="p">),</span> <span class="o">...</span><span class="p">,</span>  <span class="p">(</span><span class="mi">1</span><span class="p">,</span> <span class="mi">2</span><span class="p">)]]</span>
+</pre></div>
+</div>
+<p>First block has all short slopes for first cusp, …, see
+<a class="reference internal" href="manifold.html#snappy.Manifold.short_slopes" title="snappy.Manifold.short_slopes"><code class="xref py py-meth docutils literal notranslate"><span class="pre">short_slopes()</span></code></a> for details.</p>
+<p>By <a class="reference external" href="http://arxiv.org/abs/math/9906183">Agol’s</a> and <a class="reference external" href="http://arxiv.org/abs/math/9808120">Lackenby’s</a> 6-Theorem any Dehn-filling
+resulting in a non-hyperbolic manifold must contain one of the above
+slopes.  Thus, <a class="reference internal" href="manifold.html#snappy.Manifold.short_slopes" title="snappy.Manifold.short_slopes"><code class="xref py py-meth docutils literal notranslate"><span class="pre">short_slopes()</span></code></a> can be used
+to implement the techniques to find exceptional Dehn surgeries
+(<a class="reference external" href="https://arxiv.org/abs/1109.0903">arXiv:1109.0903</a> and
+<a class="reference external" href="https://arxiv.org/abs/1310.3472">arXiv:1310.3472</a>).</p>
+</li>
+<li><p>An example of finding all geodesics up to length 1:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">sage</span><span class="p">:</span> <span class="kn">from</span> <span class="nn">sage.all</span> <span class="kn">import</span> <span class="n">RIF</span>
+<span class="n">sage</span><span class="p">:</span> <span class="n">L</span> <span class="o">=</span> <span class="n">RIF</span><span class="p">(</span><span class="mi">1</span><span class="p">)</span>
+<span class="n">sage</span><span class="p">:</span> <span class="n">M</span> <span class="o">=</span> <span class="n">Manifold</span><span class="p">(</span><span class="s2">&quot;m003&quot;</span><span class="p">)</span>
+<span class="n">sage</span><span class="p">:</span> <span class="n">spec</span> <span class="o">=</span> <span class="n">M</span><span class="o">.</span><span class="n">length_spectrum_alt_gen</span><span class="p">(</span><span class="n">verified</span><span class="o">=</span><span class="kc">True</span><span class="p">)</span>
+<span class="n">sage</span><span class="p">:</span> <span class="n">n</span> <span class="o">=</span> <span class="mi">0</span>
+<span class="n">sage</span><span class="p">:</span> <span class="k">for</span> <span class="n">g</span> <span class="ow">in</span> <span class="n">spec</span><span class="p">:</span>
+<span class="o">...</span>       <span class="k">if</span> <span class="n">g</span><span class="o">.</span><span class="n">length</span><span class="o">.</span><span class="n">real</span><span class="p">()</span> <span class="o">&gt;</span> <span class="n">L</span><span class="p">:</span>
+<span class="o">...</span>           <span class="k">break</span> <span class="c1"># Done! All subsequent geodesics will be longer.</span>
+<span class="o">...</span>       <span class="k">if</span> <span class="n">g</span><span class="o">.</span><span class="n">length</span><span class="o">.</span><span class="n">real</span><span class="p">()</span> <span class="o">&lt;</span> <span class="n">L</span><span class="p">:</span>
+<span class="o">...</span>           <span class="n">n</span> <span class="o">+=</span> <span class="mi">1</span>
+<span class="o">...</span>           <span class="k">continue</span>
+<span class="o">...</span>       <span class="k">raise</span> <span class="ne">Exception</span><span class="p">(</span><span class="s2">&quot;Interval too large. Increase precision.&quot;</span><span class="p">)</span>
+<span class="n">sage</span><span class="p">:</span> <span class="n">n</span>
+<span class="mi">4</span>
+</pre></div>
+</div>
+</li>
+</ul>
+<p>Additionally, we can compute complex intervals for the shapes that are
+guaranteed to contain a true solution to the rectangular gluing equations
+that is not necessarily a geometric solution (specify <code class="xref py py-attr docutils literal notranslate"><span class="pre">bits_prec</span></code>
+or <code class="xref py py-attr docutils literal notranslate"><span class="pre">dec_prec</span></code> for higher precision intervals.):</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span>sage: M = Manifold(&quot;m015(3,1)&quot;)
+sage: M.tetrahedra_shapes(&#39;rect&#39;, intervals=True)
+[0.625222762246? + 3.177940133813?*I,
+ -0.0075523593782? + 0.5131157955971?*I,
+ 0.6515818912107? - 0.1955023488930?*I]
+</pre></div>
+</div>
+<p>This is all based on a reimplementation of <a class="reference external" href="http://www.oishi.info.waseda.ac.jp/~takayasu/hikmot/">HIKMOT</a> which
+pioneered the use of interval methods for hyperbolic manifolds (also see
+<a class="reference external" href="http://ww2.ii.uj.edu.pl/~zgliczyn/cap07/krawczyk.pdf">Zgliczynski’s notes</a>). It
+can be used in a way very similar to HIKMOT, but uses Sage’s complex
+interval types for certification. It furthermore makes use of code by
+<a class="reference external" href="http://arxiv.org/abs/1407.7827/">Dunfield, Hoffman, Licata</a>.</p>
+<p>This verification code was contributed by Matthias Goerner.</p>
+</section>
+<section id="verified-computation-topics">
+<h2>Verified computation topics<a class="headerlink" href="#verified-computation-topics" title="Link to this heading"></a></h2>
+<div class="toctree-wrapper compound">
+<ul>
+<li class="toctree-l1"><a class="reference internal" href="verify_internals.html">Internals of verified computations</a></li>
+</ul>
+</div>
+</section>
+</section>
+           </div>
+          </div>
+          <footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
+        <a href="snap.html" class="btn btn-neutral float-left" title="Number theory of hyperbolic 3-manifolds" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
+        <a href="verify_internals.html" class="btn btn-neutral float-right" title="Internals of verified computations" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
+    </div>
+  <hr/>
+  <div role="contentinfo">
+    <p>&#169; Copyright 2009-2025, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
+  </div>
+  Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
+    <a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
+    provided by <a href="https://readthedocs.org">Read the Docs</a>.
+</footer>
+        </div>
+      </div>
+    </section>
+  </div>
+  <script>
+      jQuery(function () {
+          SphinxRtdTheme.Navigation.enable(true);
+      });
+  </script>
+</body>
 </html>