PyPI - snappy - Versions diffs - 3.3__cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl - Mend

snappy 3.3__cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.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 (541) hide show

snappy/CyOpenGL.cpython-310-aarch64-linux-gnu.so +0 -0
snappy/SnapPy.cpython-310-aarch64-linux-gnu.so +0 -0
snappy/SnapPy.ico +0 -0
snappy/SnapPy.png +0 -0
snappy/SnapPyHP.cpython-310-aarch64-linux-gnu.so +0 -0
snappy/__init__.py +534 -0
snappy/app.py +604 -0
snappy/app_menus.py +372 -0
snappy/browser.py +998 -0
snappy/cache.py +25 -0
snappy/canonical.py +249 -0
snappy/cusps/__init__.py +280 -0
snappy/cusps/cusp_area_matrix.py +98 -0
snappy/cusps/cusp_areas_from_matrix.py +96 -0
snappy/cusps/maximal_cusp_area_matrix.py +136 -0
snappy/cusps/short_slopes_for_cusp.py +217 -0
snappy/cusps/test.py +22 -0
snappy/cusps/trig_cusp_area_matrix.py +63 -0
snappy/database.py +454 -0
snappy/db_utilities.py +79 -0
snappy/decorated_isosig.py +717 -0
snappy/dev/__init__.py +0 -0
snappy/dev/extended_ptolemy/__init__.py +8 -0
snappy/dev/extended_ptolemy/closed.py +106 -0
snappy/dev/extended_ptolemy/complexVolumesClosed.py +149 -0
snappy/dev/extended_ptolemy/direct.py +42 -0
snappy/dev/extended_ptolemy/extended.py +406 -0
snappy/dev/extended_ptolemy/giac_helper.py +43 -0
snappy/dev/extended_ptolemy/giac_rur.py +129 -0
snappy/dev/extended_ptolemy/gluing.py +46 -0
snappy/dev/extended_ptolemy/phc_wrapper.py +220 -0
snappy/dev/extended_ptolemy/printMatrices.py +70 -0
snappy/dev/vericlosed/__init__.py +1 -0
snappy/dev/vericlosed/computeApproxHyperbolicStructureNew.py +159 -0
snappy/dev/vericlosed/computeApproxHyperbolicStructureOrb.py +90 -0
snappy/dev/vericlosed/computeVerifiedHyperbolicStructure.py +111 -0
snappy/dev/vericlosed/gimbalLoopFinder.py +130 -0
snappy/dev/vericlosed/hyperbolicStructure.py +313 -0
snappy/dev/vericlosed/krawczykCertifiedEdgeLengthsEngine.py +165 -0
snappy/dev/vericlosed/oneVertexTruncatedComplex.py +122 -0
snappy/dev/vericlosed/orb/__init__.py +1 -0
snappy/dev/vericlosed/orb/orb_solution_for_snappea_finite_triangulation_mac +0 -0
snappy/dev/vericlosed/parseVertexGramMatrixFile.py +47 -0
snappy/dev/vericlosed/polishApproxHyperbolicStructure.py +61 -0
snappy/dev/vericlosed/test.py +54 -0
snappy/dev/vericlosed/truncatedComplex.py +176 -0
snappy/dev/vericlosed/verificationError.py +58 -0
snappy/dev/vericlosed/verifyHyperbolicStructureEngine.py +177 -0
snappy/doc/_images/SnapPy-196.png +0 -0
snappy/doc/_images/m004_paper_plane_on_systole.jpg +0 -0
snappy/doc/_images/m125_paper_plane.jpg +0 -0
snappy/doc/_images/mac.png +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/_images/plink-action.png +0 -0
snappy/doc/_images/ubuntu.png +0 -0
snappy/doc/_images/win7.png +0 -0
snappy/doc/_sources/additional_classes.rst.txt +40 -0
snappy/doc/_sources/bugs.rst.txt +14 -0
snappy/doc/_sources/censuses.rst.txt +52 -0
snappy/doc/_sources/credits.rst.txt +81 -0
snappy/doc/_sources/development.rst.txt +261 -0
snappy/doc/_sources/index.rst.txt +215 -0
snappy/doc/_sources/installing.rst.txt +249 -0
snappy/doc/_sources/manifold.rst.txt +6 -0
snappy/doc/_sources/manifoldhp.rst.txt +46 -0
snappy/doc/_sources/news.rst.txt +425 -0
snappy/doc/_sources/other.rst.txt +25 -0
snappy/doc/_sources/platonic_census.rst.txt +20 -0
snappy/doc/_sources/plink.rst.txt +102 -0
snappy/doc/_sources/ptolemy.rst.txt +66 -0
snappy/doc/_sources/ptolemy_classes.rst.txt +42 -0
snappy/doc/_sources/ptolemy_examples1.rst.txt +298 -0
snappy/doc/_sources/ptolemy_examples2.rst.txt +363 -0
snappy/doc/_sources/ptolemy_examples3.rst.txt +301 -0
snappy/doc/_sources/ptolemy_examples4.rst.txt +61 -0
snappy/doc/_sources/ptolemy_prelim.rst.txt +105 -0
snappy/doc/_sources/screenshots.rst.txt +21 -0
snappy/doc/_sources/snap.rst.txt +87 -0
snappy/doc/_sources/snappy.rst.txt +28 -0
snappy/doc/_sources/spherogram.rst.txt +103 -0
snappy/doc/_sources/todo.rst.txt +47 -0
snappy/doc/_sources/triangulation.rst.txt +11 -0
snappy/doc/_sources/tutorial.rst.txt +49 -0
snappy/doc/_sources/verify.rst.txt +210 -0
snappy/doc/_sources/verify_internals.rst.txt +79 -0
snappy/doc/_static/SnapPy-horizontal-128.png +0 -0
snappy/doc/_static/SnapPy.ico +0 -0
snappy/doc/_static/_sphinx_javascript_frameworks_compat.js +123 -0
snappy/doc/_static/basic.css +906 -0
snappy/doc/_static/css/badge_only.css +1 -0
snappy/doc/_static/css/fonts/Roboto-Slab-Bold.woff +0 -0
snappy/doc/_static/css/fonts/Roboto-Slab-Bold.woff2 +0 -0
snappy/doc/_static/css/fonts/Roboto-Slab-Regular.woff +0 -0
snappy/doc/_static/css/fonts/Roboto-Slab-Regular.woff2 +0 -0
snappy/doc/_static/css/fonts/fontawesome-webfont.eot +0 -0
snappy/doc/_static/css/fonts/fontawesome-webfont.svg +2671 -0
snappy/doc/_static/css/fonts/fontawesome-webfont.ttf +0 -0
snappy/doc/_static/css/fonts/fontawesome-webfont.woff +0 -0
snappy/doc/_static/css/fonts/fontawesome-webfont.woff2 +0 -0
snappy/doc/_static/css/fonts/lato-bold-italic.woff +0 -0
snappy/doc/_static/css/fonts/lato-bold-italic.woff2 +0 -0
snappy/doc/_static/css/fonts/lato-bold.woff +0 -0
snappy/doc/_static/css/fonts/lato-bold.woff2 +0 -0
snappy/doc/_static/css/fonts/lato-normal-italic.woff +0 -0
snappy/doc/_static/css/fonts/lato-normal-italic.woff2 +0 -0
snappy/doc/_static/css/fonts/lato-normal.woff +0 -0
snappy/doc/_static/css/fonts/lato-normal.woff2 +0 -0
snappy/doc/_static/css/theme.css +4 -0
snappy/doc/_static/doctools.js +149 -0
snappy/doc/_static/documentation_options.js +13 -0
snappy/doc/_static/file.png +0 -0
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/jquery.js +2 -0
snappy/doc/_static/js/badge_only.js +1 -0
snappy/doc/_static/js/theme.js +1 -0
snappy/doc/_static/js/versions.js +228 -0
snappy/doc/_static/language_data.js +192 -0
snappy/doc/_static/minus.png +0 -0
snappy/doc/_static/plus.png +0 -0
snappy/doc/_static/pygments.css +75 -0
snappy/doc/_static/searchtools.js +635 -0
snappy/doc/_static/snappy_furo.css +33 -0
snappy/doc/_static/snappy_sphinx_rtd_theme.css +42 -0
snappy/doc/_static/sphinx_highlight.js +154 -0
snappy/doc/additional_classes.html +1500 -0
snappy/doc/bugs.html +132 -0
snappy/doc/censuses.html +453 -0
snappy/doc/credits.html +184 -0
snappy/doc/development.html +385 -0
snappy/doc/doc-latest/additional_classes.html +1500 -0
snappy/doc/doc-latest/bugs.html +132 -0
snappy/doc/doc-latest/censuses.html +453 -0
snappy/doc/doc-latest/credits.html +184 -0
snappy/doc/doc-latest/development.html +385 -0
snappy/doc/doc-latest/genindex.html +1349 -0
snappy/doc/doc-latest/index.html +287 -0
snappy/doc/doc-latest/installing.html +346 -0
snappy/doc/doc-latest/manifold.html +3632 -0
snappy/doc/doc-latest/manifoldhp.html +180 -0
snappy/doc/doc-latest/news.html +438 -0
snappy/doc/doc-latest/objects.inv +0 -0
snappy/doc/doc-latest/other.html +160 -0
snappy/doc/doc-latest/platonic_census.html +376 -0
snappy/doc/doc-latest/plink.html +210 -0
snappy/doc/doc-latest/ptolemy.html +253 -0
snappy/doc/doc-latest/ptolemy_classes.html +1144 -0
snappy/doc/doc-latest/ptolemy_examples1.html +409 -0
snappy/doc/doc-latest/ptolemy_examples2.html +471 -0
snappy/doc/doc-latest/ptolemy_examples3.html +414 -0
snappy/doc/doc-latest/ptolemy_examples4.html +195 -0
snappy/doc/doc-latest/ptolemy_prelim.html +248 -0
snappy/doc/doc-latest/py-modindex.html +165 -0
snappy/doc/doc-latest/screenshots.html +141 -0
snappy/doc/doc-latest/search.html +135 -0
snappy/doc/doc-latest/searchindex.js +1 -0
snappy/doc/doc-latest/snap.html +202 -0
snappy/doc/doc-latest/snappy.html +181 -0
snappy/doc/doc-latest/spherogram.html +1346 -0
snappy/doc/doc-latest/todo.html +166 -0
snappy/doc/doc-latest/triangulation.html +1676 -0
snappy/doc/doc-latest/tutorial.html +159 -0
snappy/doc/doc-latest/verify.html +330 -0
snappy/doc/doc-latest/verify_internals.html +1235 -0
snappy/doc/genindex.html +1349 -0
snappy/doc/index.html +287 -0
snappy/doc/installing.html +346 -0
snappy/doc/manifold.html +3632 -0
snappy/doc/manifoldhp.html +180 -0
snappy/doc/news.html +438 -0
snappy/doc/objects.inv +0 -0
snappy/doc/other.html +160 -0
snappy/doc/platonic_census.html +376 -0
snappy/doc/plink.html +210 -0
snappy/doc/ptolemy.html +253 -0
snappy/doc/ptolemy_classes.html +1144 -0
snappy/doc/ptolemy_examples1.html +409 -0
snappy/doc/ptolemy_examples2.html +471 -0
snappy/doc/ptolemy_examples3.html +414 -0
snappy/doc/ptolemy_examples4.html +195 -0
snappy/doc/ptolemy_prelim.html +248 -0
snappy/doc/py-modindex.html +165 -0
snappy/doc/screenshots.html +141 -0
snappy/doc/search.html +135 -0
snappy/doc/searchindex.js +1 -0
snappy/doc/snap.html +202 -0
snappy/doc/snappy.html +181 -0
snappy/doc/spherogram.html +1346 -0
snappy/doc/todo.html +166 -0
snappy/doc/triangulation.html +1676 -0
snappy/doc/tutorial.html +159 -0
snappy/doc/verify.html +330 -0
snappy/doc/verify_internals.html +1235 -0
snappy/drilling/__init__.py +456 -0
snappy/drilling/barycentric.py +103 -0
snappy/drilling/constants.py +5 -0
snappy/drilling/crush.py +270 -0
snappy/drilling/cusps.py +125 -0
snappy/drilling/debug.py +242 -0
snappy/drilling/epsilons.py +6 -0
snappy/drilling/exceptions.py +55 -0
snappy/drilling/moves.py +620 -0
snappy/drilling/peripheral_curves.py +210 -0
snappy/drilling/perturb.py +188 -0
snappy/drilling/shorten.py +36 -0
snappy/drilling/subdivide.py +274 -0
snappy/drilling/test.py +23 -0
snappy/drilling/test_cases.py +132 -0
snappy/drilling/tracing.py +351 -0
snappy/exceptions.py +26 -0
snappy/export_stl.py +120 -0
snappy/exterior_to_link/__init__.py +2 -0
snappy/exterior_to_link/barycentric_geometry.py +463 -0
snappy/exterior_to_link/exceptions.py +6 -0
snappy/exterior_to_link/geodesic_map.json +14408 -0
snappy/exterior_to_link/hyp_utils.py +112 -0
snappy/exterior_to_link/link_projection.py +323 -0
snappy/exterior_to_link/main.py +198 -0
snappy/exterior_to_link/mcomplex_with_expansion.py +261 -0
snappy/exterior_to_link/mcomplex_with_link.py +687 -0
snappy/exterior_to_link/mcomplex_with_memory.py +162 -0
snappy/exterior_to_link/pl_utils.py +491 -0
snappy/exterior_to_link/put_in_S3.py +156 -0
snappy/exterior_to_link/rational_linear_algebra.py +130 -0
snappy/exterior_to_link/rational_linear_algebra_wrapped.py +135 -0
snappy/exterior_to_link/simplify_to_base_tri.py +114 -0
snappy/exterior_to_link/stored_moves.py +475 -0
snappy/exterior_to_link/test.py +31 -0
snappy/filedialog.py +28 -0
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 +691 -0
snappy/geometric_structure/cusp_neighborhood/cusp_cross_section_base.py +480 -0
snappy/geometric_structure/cusp_neighborhood/exceptions.py +41 -0
snappy/geometric_structure/cusp_neighborhood/real_cusp_cross_section.py +294 -0
snappy/geometric_structure/cusp_neighborhood/tiles_for_cusp_neighborhood.py +156 -0
snappy/geometric_structure/cusp_neighborhood/vertices.py +35 -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_representatives.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/geometric_structure/geodesic/fixed_points.py +106 -0
snappy/geometric_structure/geodesic/geodesic_start_point_info.py +435 -0
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 +128 -0
snappy/geometric_structure/test.py +22 -0
snappy/gui.py +121 -0
snappy/horoviewer.py +443 -0
snappy/hyperboloid/__init__.py +212 -0
snappy/hyperboloid/distances.py +259 -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/info_icon.gif +0 -0
snappy/infowindow.py +65 -0
snappy/isometry_signature.py +389 -0
snappy/len_spec/__init__.py +609 -0
snappy/len_spec/geodesic_info.py +129 -0
snappy/len_spec/geodesic_key_info_dict.py +116 -0
snappy/len_spec/geodesic_piece.py +146 -0
snappy/len_spec/geometric_structure.py +182 -0
snappy/len_spec/geometry.py +136 -0
snappy/len_spec/length_spectrum_geodesic_info.py +185 -0
snappy/len_spec/spine.py +128 -0
snappy/len_spec/test.py +24 -0
snappy/len_spec/test_cases.py +69 -0
snappy/len_spec/tile.py +276 -0
snappy/len_spec/word.py +86 -0
snappy/manifolds/HTWKnots/alternating.gz +0 -0
snappy/manifolds/HTWKnots/nonalternating.gz +0 -0
snappy/manifolds/__init__.py +3 -0
snappy/margulis/__init__.py +332 -0
snappy/margulis/cusp_neighborhood_neighborhood.py +66 -0
snappy/margulis/geodesic_neighborhood.py +152 -0
snappy/margulis/margulis_info.py +21 -0
snappy/margulis/mu_from_neighborhood_pair.py +175 -0
snappy/margulis/neighborhood.py +29 -0
snappy/margulis/test.py +22 -0
snappy/math_basics.py +187 -0
snappy/matrix.py +525 -0
snappy/number.py +657 -0
snappy/numeric_output_checker.py +345 -0
snappy/pari.py +41 -0
snappy/phone_home.py +57 -0
snappy/polyviewer.py +259 -0
snappy/ptolemy/__init__.py +17 -0
snappy/ptolemy/component.py +103 -0
snappy/ptolemy/coordinates.py +2290 -0
snappy/ptolemy/fieldExtensions.py +153 -0
snappy/ptolemy/findLoops.py +473 -0
snappy/ptolemy/geometricRep.py +59 -0
snappy/ptolemy/homology.py +165 -0
snappy/ptolemy/magma/default.magma_template +229 -0
snappy/ptolemy/magma/radicalsOfPrimaryDecomposition.magma_template +79 -0
snappy/ptolemy/manifoldMethods.py +395 -0
snappy/ptolemy/matrix.py +350 -0
snappy/ptolemy/numericalSolutionsToGroebnerBasis.py +113 -0
snappy/ptolemy/polynomial.py +856 -0
snappy/ptolemy/processComponents.py +173 -0
snappy/ptolemy/processFileBase.py +247 -0
snappy/ptolemy/processFileDispatch.py +46 -0
snappy/ptolemy/processMagmaFile.py +392 -0
snappy/ptolemy/processRurFile.py +150 -0
snappy/ptolemy/ptolemyGeneralizedObstructionClass.py +102 -0
snappy/ptolemy/ptolemyObstructionClass.py +64 -0
snappy/ptolemy/ptolemyVariety.py +995 -0
snappy/ptolemy/ptolemyVarietyPrimeIdealGroebnerBasis.py +140 -0
snappy/ptolemy/reginaWrapper.py +698 -0
snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c0.magma_out.bz2 +0 -0
snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c1.magma_out.bz2 +0 -0
snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c2.magma_out.bz2 +0 -0
snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c3.magma_out.bz2 +0 -0
snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c4.magma_out.bz2 +0 -0
snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c5.magma_out.bz2 +0 -0
snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c6.magma_out.bz2 +0 -0
snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c7.magma_out.bz2 +0 -0
snappy/ptolemy/regina_testing_files_generalized/m003__sl3_c0.magma_out.bz2 +0 -0
snappy/ptolemy/regina_testing_files_generalized/m003__sl3_c1.magma_out.bz2 +0 -0
snappy/ptolemy/regina_testing_files_generalized/m015__sl2_c0.magma_out.bz2 +0 -0
snappy/ptolemy/regina_testing_files_generalized/m015__sl2_c1.magma_out.bz2 +0 -0
snappy/ptolemy/regina_testing_files_generalized/m015__sl3_c0.magma_out.bz2 +0 -0
snappy/ptolemy/regina_testing_files_generalized/m015__sl3_c1.magma_out.bz2 +0 -0
snappy/ptolemy/rur.py +545 -0
snappy/ptolemy/solutionsToPrimeIdealGroebnerBasis.py +277 -0
snappy/ptolemy/test.py +1126 -0
snappy/ptolemy/testing_files/3_1__sl2_c0.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/3_1__sl2_c1.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/4_1__sl2_c0.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/4_1__sl2_c1.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/4_1__sl3_c0.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/4_1__sl4_c0.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/4_1__sl4_c1.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/5_2__sl2_c0.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/5_2__sl2_c1.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c0.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c1.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c2.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c3.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c4.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c5.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c6.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c7.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/data/pgl2/OrientableCuspedCensus/03_tetrahedra/m019__sl2_c0.magma_out +95 -0
snappy/ptolemy/testing_files/data/pgl2/OrientableCuspedCensus/03_tetrahedra/m019__sl2_c1.magma_out +95 -0
snappy/ptolemy/testing_files/m015__sl3_c0.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/m135__sl2_c0.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/m135__sl2_c1.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/m135__sl2_c2.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/m135__sl2_c3.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/m135__sl2_c4.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/m135__sl2_c5.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/m135__sl2_c6.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/m135__sl2_c7.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/s000__sl2_c0.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/s000__sl2_c1.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/t00000__sl2_c0.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/t00000__sl2_c1.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/v0000__sl2_c0.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/v0000__sl2_c1.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/v0000__sl2_c2.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files/v0000__sl2_c3.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files_generalized/m003__sl2_c0.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files_generalized/m003__sl2_c1.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files_generalized/m003__sl3_c0.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files_generalized/m003__sl3_c1.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files_generalized/m004__sl2_c0.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files_generalized/m004__sl2_c1.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files_generalized/m015__sl2_c1.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files_generalized/m015__sl3_c0.magma_out.bz2 +0 -0
snappy/ptolemy/testing_files_rur/m052__sl3_c0.rur.bz2 +0 -0
snappy/ptolemy/utilities.py +236 -0
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 +197 -0
snappy/raytracing/eyeball.py +124 -0
snappy/raytracing/finite_raytracing_data.py +237 -0
snappy/raytracing/finite_viewer.py +590 -0
snappy/raytracing/geodesic_tube_info.py +174 -0
snappy/raytracing/geodesics.py +246 -0
snappy/raytracing/geodesics_window.py +258 -0
snappy/raytracing/gui_utilities.py +293 -0
snappy/raytracing/hyperboloid_navigation.py +556 -0
snappy/raytracing/hyperboloid_utilities.py +234 -0
snappy/raytracing/ideal_raytracing_data.py +592 -0
snappy/raytracing/inside_viewer.py +974 -0
snappy/raytracing/pack.py +22 -0
snappy/raytracing/raytracing_data.py +126 -0
snappy/raytracing/raytracing_view.py +454 -0
snappy/raytracing/shaders/Eye.png +0 -0
snappy/raytracing/shaders/NonGeometric.png +0 -0
snappy/raytracing/shaders/__init__.py +101 -0
snappy/raytracing/shaders/fragment.glsl +1744 -0
snappy/raytracing/test.py +29 -0
snappy/raytracing/tooltip.py +146 -0
snappy/raytracing/upper_halfspace_utilities.py +98 -0
snappy/raytracing/view_scale_controller.py +98 -0
snappy/raytracing/zoom_slider/__init__.py +263 -0
snappy/raytracing/zoom_slider/inward.png +0 -0
snappy/raytracing/zoom_slider/inward18.png +0 -0
snappy/raytracing/zoom_slider/outward.png +0 -0
snappy/raytracing/zoom_slider/outward18.png +0 -0
snappy/raytracing/zoom_slider/test.py +20 -0
snappy/sage_helper.py +119 -0
snappy/settings.py +407 -0
snappy/shell.py +53 -0
snappy/snap/__init__.py +117 -0
snappy/snap/character_varieties.py +375 -0
snappy/snap/find_field.py +372 -0
snappy/snap/fox_milnor.py +271 -0
snappy/snap/fundamental_polyhedron.py +569 -0
snappy/snap/generators.py +39 -0
snappy/snap/interval_reps.py +81 -0
snappy/snap/kernel_structures.py +128 -0
snappy/snap/mcomplex_base.py +18 -0
snappy/snap/nsagetools.py +716 -0
snappy/snap/peripheral/__init__.py +1 -0
snappy/snap/peripheral/dual_cellulation.py +219 -0
snappy/snap/peripheral/link.py +127 -0
snappy/snap/peripheral/peripheral.py +159 -0
snappy/snap/peripheral/surface.py +522 -0
snappy/snap/peripheral/test.py +35 -0
snappy/snap/polished_reps.py +335 -0
snappy/snap/shapes.py +152 -0
snappy/snap/slice_obs_HKL/__init__.py +194 -0
snappy/snap/slice_obs_HKL/basics.py +236 -0
snappy/snap/slice_obs_HKL/direct.py +217 -0
snappy/snap/slice_obs_HKL/poly_norm.py +212 -0
snappy/snap/slice_obs_HKL/rep_theory.py +424 -0
snappy/snap/t3mlite/__init__.py +2 -0
snappy/snap/t3mlite/arrow.py +243 -0
snappy/snap/t3mlite/corner.py +22 -0
snappy/snap/t3mlite/edge.py +172 -0
snappy/snap/t3mlite/face.py +37 -0
snappy/snap/t3mlite/files.py +211 -0
snappy/snap/t3mlite/homology.py +53 -0
snappy/snap/t3mlite/linalg.py +419 -0
snappy/snap/t3mlite/mcomplex.py +1499 -0
snappy/snap/t3mlite/perm4.py +320 -0
snappy/snap/t3mlite/setup.py +12 -0
snappy/snap/t3mlite/simplex.py +199 -0
snappy/snap/t3mlite/spun.py +297 -0
snappy/snap/t3mlite/surface.py +519 -0
snappy/snap/t3mlite/test.py +20 -0
snappy/snap/t3mlite/test_vs_regina.py +86 -0
snappy/snap/t3mlite/tetrahedron.py +109 -0
snappy/snap/t3mlite/vertex.py +42 -0
snappy/snap/test.py +139 -0
snappy/snap/utilities.py +288 -0
snappy/test.py +213 -0
snappy/test_cases.py +263 -0
snappy/testing.py +131 -0
snappy/tiling/__init__.py +2 -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/quotient_dict.py +70 -0
snappy/tiling/real_hash_dict.py +164 -0
snappy/tiling/test.py +23 -0
snappy/tiling/tile.py +224 -0
snappy/tiling/triangle.py +33 -0
snappy/tkterminal.py +920 -0
snappy/twister/__init__.py +20 -0
snappy/twister/main.py +646 -0
snappy/twister/surfaces/S_0_1 +3 -0
snappy/twister/surfaces/S_0_2 +3 -0
snappy/twister/surfaces/S_0_4 +7 -0
snappy/twister/surfaces/S_0_4_Lantern +8 -0
snappy/twister/surfaces/S_1 +3 -0
snappy/twister/surfaces/S_1_1 +4 -0
snappy/twister/surfaces/S_1_2 +5 -0
snappy/twister/surfaces/S_1_2_5 +6 -0
snappy/twister/surfaces/S_2 +6 -0
snappy/twister/surfaces/S_2_1 +8 -0
snappy/twister/surfaces/S_2_heeg +10 -0
snappy/twister/surfaces/S_3 +8 -0
snappy/twister/surfaces/S_3_1 +10 -0
snappy/twister/surfaces/S_4_1 +12 -0
snappy/twister/surfaces/S_5_1 +14 -0
snappy/twister/surfaces/heeg_fig8 +9 -0
snappy/twister/twister_core.cpython-310-aarch64-linux-gnu.so +0 -0
snappy/upper_halfspace/__init__.py +146 -0
snappy/upper_halfspace/ideal_point.py +29 -0
snappy/verify/__init__.py +13 -0
snappy/verify/canonical.py +542 -0
snappy/verify/complex_volume/__init__.py +18 -0
snappy/verify/complex_volume/adjust_torsion.py +86 -0
snappy/verify/complex_volume/closed.py +168 -0
snappy/verify/complex_volume/compute_ptolemys.py +90 -0
snappy/verify/complex_volume/cusped.py +56 -0
snappy/verify/complex_volume/extended_bloch.py +201 -0
snappy/verify/cusp_translations.py +85 -0
snappy/verify/edge_equations.py +80 -0
snappy/verify/exceptions.py +254 -0
snappy/verify/hyperbolicity.py +224 -0
snappy/verify/interval_newton_shapes_engine.py +523 -0
snappy/verify/interval_tree.py +400 -0
snappy/verify/krawczyk_shapes_engine.py +518 -0
snappy/verify/real_algebra.py +286 -0
snappy/verify/shapes.py +25 -0
snappy/verify/square_extensions.py +1005 -0
snappy/verify/test.py +72 -0
snappy/verify/volume.py +128 -0
snappy/version.py +2 -0
snappy-3.3.dist-info/METADATA +58 -0
snappy-3.3.dist-info/RECORD +541 -0
snappy-3.3.dist-info/WHEEL +6 -0
snappy-3.3.dist-info/entry_points.txt +2 -0
snappy-3.3.dist-info/top_level.txt +28 -0

snappy/doc/tutorial.html ADDED Viewed

@@ -0,0 +1,159 @@
+<!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>Tutorial &mdash; SnapPy 3.3 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=26f62d79"></script>
+      <script src="_static/doctools.js?v=9bcbadda"></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="The snappy module and its classes" href="snappy.html" />
+    <link rel="prev" title="Screenshots: SnapPy in action" href="screenshots.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 current"><a class="current reference internal" href="#">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"><a class="reference internal" href="verify.html">Verified computations</a></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">Tutorial</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="tutorial">
+<h1>Tutorial<a class="headerlink" href="#tutorial" title="Link to this heading"></a></h1>
+<p>The easiest way to learn to use SnapPy is to watch the screencasts
+available on <a class="reference external" href="http://youtube.com/user/NathanDunfield">YouTube</a>:</p>
+<ul class="simple">
+<li><p>Intro and quickstart: an 11 minute video with the basics: <a class="reference external" href="http://www.youtube.com/watch?v=ezo19L-JTTI">Part I</a> and <a class="reference external" href="http://www.youtube.com/watch?v=Js4qwyIs-Oo">Part II</a>.</p></li>
+<li><p>An hour-long demo <a class="reference external" href="http://youtu.be/j8enbAkAvdY">Practical computation with hyperbolic
+3-manifolds</a>, recorded at the Thurston Memorial
+Conference.</p></li>
+<li><p>The SnapPy 2.0 <a class="reference external" href="http://youtu.be/bCYe_a48viA">new feature demo</a>.</p></li>
+<li><p><a class="reference external" href="https://icerm.brown.edu/video_archive/?play=1992">SnapPy, SageMath, and Docker are friends</a> with associated
+<a class="reference external" href="https://icerm.brown.edu/materials/Abstracts/tw19-3-pods/Computation_Demonstration_2_]_Nathan_Dunfield,_University_of_Illinois,_Urbana-Champaign.pdf">materials (4 pages), including homework</a>.</p></li>
+<li><p><a class="reference external" href="http://dunfield.info/warwick2017/">Notes, problem sheets, and references</a> from the LMS-CMI Research
+School in Warwick in 2017.</p></li>
+<li><p>Another hour-long demo <a class="reference external" href="https://icerm.brown.edu/video_archive/?play=1856">Practical computations with hyperbolic
+3-manifolds</a>
+given at ICERM in 2019.</p></li>
+</ul>
+<p>The <strong>key</strong> thing to remember when using the SnapPy command shell window is
+that you can explore objects using introspection and tab-completion:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span>In [1]: Manifold? &lt;hit return-key&gt;
+...instructions for creating a manifold...
+</pre></div>
+</div>
+<p>So now we create a manifold:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">In</span> <span class="p">[</span><span class="mi">2</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>
+</pre></div>
+</div>
+<p>But what can we do with it?</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">In</span> <span class="p">[</span><span class="mi">3</span><span class="p">]:</span> <span class="n">M</span><span class="o">.&lt;</span><span class="n">hit</span> <span class="n">tab</span><span class="o">-</span><span class="n">key</span><span class="o">&gt;</span>
+<span class="o">...</span><span class="n">list</span> <span class="n">of</span> <span class="n">methods</span><span class="o">...</span>
+</pre></div>
+</div>
+<p>What does the “cover” method do?</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span>In [4]: M.cover? &lt;hit return-key&gt;
+...description of cover method..
+</pre></div>
+</div>
+</section>
+           </div>
+          </div>
+          <footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
+        <a href="screenshots.html" class="btn btn-neutral float-left" title="Screenshots: SnapPy in action" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
+        <a href="snappy.html" class="btn btn-neutral float-right" title="The snappy module and its classes" 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-2026, 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>

snappy/doc/verify.html ADDED Viewed

@@ -0,0 +1,330 @@
+<!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.3 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=26f62d79"></script>
+      <script src="_static/doctools.js?v=9bcbadda"></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-2026, 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>