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/snap.html ADDED Viewed

@@ -0,0 +1,202 @@
+<!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>Number theory of hyperbolic 3-manifolds &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="Verified computations" href="verify.html" />
+    <link rel="prev" title="Links: planar diagrams and invariants" href="spherogram.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 current"><a class="current reference internal" href="#">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">Number theory of hyperbolic 3-manifolds</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="number-theory-of-hyperbolic-3-manifolds">
+<span id="module-snappy.snap"></span><h1>Number theory of hyperbolic 3-manifolds<a class="headerlink" href="#number-theory-of-hyperbolic-3-manifolds" title="Link to this heading"></a></h1>
+<p>SnapPy has support for arbitrary-precision computation and for
+identifying number fields associated to hyperbolic 3-manifolds.  While
+this functionality is less than that of <a class="reference external" href="http://snap-pari.sf.net/">Snap</a>, it is already useful.  Except for the
+first example, one currently needs to use SnapPy inside of <a class="reference external" href="http://sagemath.org">Sage</a> to have access to these features.  Here’s how
+to find the tetrahedra shapes to high-precision:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">sage</span><span class="p">:</span> <span class="kn">import</span> <span class="nn">snappy</span>
+<span class="n">sage</span><span class="p">:</span> <span class="n">M</span> <span class="o">=</span> <span class="n">snappy</span><span class="o">.</span><span class="n">Manifold</span><span class="p">(</span><span class="s1">&#39;m004&#39;</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">tetrahedra_shapes</span><span class="p">(</span><span class="s1">&#39;rect&#39;</span><span class="p">,</span> <span class="n">bits_prec</span><span class="o">=</span><span class="mi">100</span><span class="p">)</span>
+<span class="p">[</span><span class="mf">0.50000000000000000000000000000</span> <span class="o">+</span> <span class="mf">0.86602540378443864676372317075</span><span class="o">*</span><span class="n">I</span><span class="p">,</span> <span class="mf">0.50000000000000000000000000000</span> <span class="o">+</span> <span class="mf">0.86602540378443864676372317075</span><span class="o">*</span><span class="n">I</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">tetrahedra_shapes</span><span class="p">(</span><span class="s1">&#39;rect&#39;</span><span class="p">,</span> <span class="n">dec_prec</span><span class="o">=</span><span class="mi">100</span><span class="p">)[</span><span class="mi">0</span><span class="p">]</span>
+<span class="mf">0.500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000</span> <span class="o">+</span>
+<span class="mf">0.866025403784438646763723170752936183471402626905190314027903489725966508454400018540573093378624288</span><span class="o">*</span><span class="n">I</span>
+</pre></div>
+</div>
+<p>One can also compute the holonomy representation to any precision:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">sage</span><span class="p">:</span> <span class="n">G</span> <span class="o">=</span> <span class="n">M</span><span class="o">.</span><span class="n">polished_holonomy</span><span class="p">(</span><span class="n">bits_prec</span><span class="o">=</span><span class="mi">100</span><span class="p">)</span>
+<span class="n">sage</span><span class="p">:</span> <span class="n">G</span><span class="o">.</span><span class="n">SL2C</span><span class="p">(</span><span class="s1">&#39;a&#39;</span><span class="p">)</span>
+<span class="p">[</span><span class="mf">0.50000000000000000000000000000</span> <span class="o">+</span> <span class="mf">0.86602540378443864676372317075</span><span class="o">*</span><span class="n">I</span>                                   <span class="o">-</span><span class="mf">1.0000000000000000000000000000</span><span class="o">*</span><span class="n">I</span><span class="p">]</span>
+<span class="p">[</span>                                   <span class="mf">1.0000000000000000000000000000</span><span class="o">*</span><span class="n">I</span>   <span class="mf">1.0000000000000000000000000000</span> <span class="o">-</span> <span class="mf">1.7320508075688772935274463415</span><span class="o">*</span><span class="n">I</span><span class="p">]</span>
+</pre></div>
+</div>
+<p>You can also try to guess the shapes exactly using an LLL-based
+algorithm of the type pioneered by Snap:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">sage</span><span class="p">:</span> <span class="n">T</span> <span class="o">=</span> <span class="n">M</span><span class="o">.</span><span class="n">tetrahedra_field_gens</span><span class="p">()</span>
+<span class="n">sage</span><span class="p">:</span> <span class="n">T</span><span class="o">.</span><span class="n">find_field</span><span class="p">(</span><span class="n">prec</span><span class="o">=</span><span class="mi">100</span><span class="p">,</span> <span class="n">degree</span><span class="o">=</span><span class="mi">10</span><span class="p">,</span> <span class="n">optimize</span><span class="o">=</span><span class="kc">True</span><span class="p">)</span>
+<span class="p">(</span><span class="n">Number</span> <span class="n">Field</span> <span class="ow">in</span> <span class="n">z</span> <span class="k">with</span> <span class="n">defining</span> <span class="n">polynomial</span> <span class="n">x</span><span class="o">^</span><span class="mi">2</span> <span class="o">-</span> <span class="n">x</span> <span class="o">+</span> <span class="mi">1</span><span class="p">,</span> <span class="o">&lt;</span><span class="n">ApproxAN</span><span class="p">:</span> <span class="mf">0.5</span> <span class="o">+</span> <span class="mf">0.866025403784</span><span class="o">*</span><span class="n">I</span><span class="o">&gt;</span><span class="p">,</span> <span class="p">[</span><span class="n">x</span><span class="p">,</span> <span class="n">x</span><span class="p">])</span>
+</pre></div>
+</div>
+<p>You can do the same for various other fields via the methods
+<code class="docutils literal notranslate"><span class="pre">trace_field_gens</span></code>, <code class="docutils literal notranslate"><span class="pre">invariant_trace_field_gens</span></code>, and <code class="docutils literal notranslate"><span class="pre">holonomy_matrix_entries</span></code>.</p>
+<p>In more complicated examples, one needs to use higher precision and/or
+degree to actually find the exact values:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">sage</span><span class="p">:</span> <span class="n">N</span> <span class="o">=</span> <span class="n">snappy</span><span class="o">.</span><span class="n">Manifold</span><span class="p">(</span><span class="s1">&#39;m004(1,3)&#39;</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">N</span><span class="o">.</span><span class="n">trace_field_gens</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">find_field</span><span class="p">(</span><span class="n">prec</span><span class="o">=</span><span class="mi">100</span><span class="p">,</span> <span class="n">degree</span><span class="o">=</span><span class="mi">10</span><span class="p">,</span> <span class="n">optimize</span><span class="o">=</span><span class="kc">True</span><span class="p">)</span>    <span class="c1"># Fails, so no output</span>
+<span class="n">sage</span><span class="p">:</span> <span class="n">K</span><span class="o">.</span><span class="n">find_field</span><span class="p">(</span><span class="n">prec</span><span class="o">=</span><span class="mi">200</span><span class="p">,</span> <span class="n">degree</span><span class="o">=</span><span class="mi">20</span><span class="p">,</span> <span class="n">optimize</span><span class="o">=</span><span class="kc">True</span><span class="p">)[</span><span class="mi">0</span><span class="p">]</span>
+<span class="n">Number</span> <span class="n">Field</span> <span class="ow">in</span> <span class="n">z</span> <span class="k">with</span> <span class="n">defining</span> <span class="n">polynomial</span> <span class="n">x</span><span class="o">^</span><span class="mi">11</span> <span class="o">-</span> <span class="mi">2</span><span class="o">*</span><span class="n">x</span><span class="o">^</span><span class="mi">10</span> <span class="o">-</span> <span class="mi">8</span><span class="o">*</span><span class="n">x</span><span class="o">^</span><span class="mi">9</span> <span class="o">+</span> <span class="mi">16</span><span class="o">*</span><span class="n">x</span><span class="o">^</span><span class="mi">8</span> <span class="o">+</span> <span class="mi">22</span><span class="o">*</span><span class="n">x</span><span class="o">^</span><span class="mi">7</span> <span class="o">-</span> <span class="mi">44</span><span class="o">*</span><span class="n">x</span><span class="o">^</span><span class="mi">6</span> <span class="o">-</span> <span class="mi">25</span><span class="o">*</span><span class="n">x</span><span class="o">^</span><span class="mi">5</span> <span class="o">+</span> <span class="mi">50</span><span class="o">*</span><span class="n">x</span><span class="o">^</span><span class="mi">4</span> <span class="o">+</span> <span class="mi">11</span><span class="o">*</span><span class="n">x</span><span class="o">^</span><span class="mi">3</span> <span class="o">-</span> <span class="mi">22</span><span class="o">*</span><span class="n">x</span><span class="o">^</span><span class="mi">2</span> <span class="o">-</span> <span class="n">x</span> <span class="o">+</span> <span class="mi">1</span>
+</pre></div>
+</div>
+<p>We can also compute various hyperbolicly-twisted Alexander
+polynomials, as described <a class="reference external" href="http://dunfield.info/torsion">here</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">snappy</span><span class="o">.</span><span class="n">Manifold</span><span class="p">(</span><span class="s1">&#39;5_2&#39;</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">alexander_polynomial</span><span class="p">()</span>
+<span class="mi">2</span><span class="o">*</span><span class="n">a</span><span class="o">^</span><span class="mi">2</span> <span class="o">-</span> <span class="mi">3</span><span class="o">*</span><span class="n">a</span> <span class="o">+</span> <span class="mi">2</span>
+<span class="n">sage</span><span class="p">:</span> <span class="n">M</span><span class="o">.</span><span class="n">hyperbolic_torsion</span><span class="p">(</span><span class="n">bits_prec</span><span class="o">=</span><span class="mi">100</span><span class="p">)</span>
+<span class="p">(</span><span class="mf">2.3376410213776269870195455729</span> <span class="o">-</span> <span class="mf">0.56227951206230124389918214504</span><span class="o">*</span><span class="n">I</span><span class="p">)</span><span class="o">*</span><span class="n">a</span><span class="o">^</span><span class="mi">2</span>
+<span class="o">-</span> <span class="mf">4.0000000000000000000000000003</span><span class="o">*</span><span class="n">a</span>
+<span class="o">+</span> <span class="mf">2.3376410213776269870195455731</span> <span class="o">-</span> <span class="mf">0.56227951206230124389918214477</span><span class="o">*</span><span class="n">I</span>
+<span class="n">sage</span><span class="p">:</span> <span class="n">M</span><span class="o">.</span><span class="n">hyperbolic_SLN_torsion</span><span class="p">(</span><span class="mi">3</span><span class="p">,</span> <span class="mi">100</span><span class="p">)</span>   <span class="c1"># Dubois-Yamagachi adjoint torsion</span>
+<span class="p">(</span><span class="mf">0.40431358073618481197132660504</span> <span class="o">+</span>
+<span class="mf">0.75939451500971650241038772223</span><span class="o">*</span><span class="n">I</span><span class="p">)</span><span class="o">*</span><span class="n">a</span><span class="o">^</span><span class="mi">3</span>
+<span class="o">+</span> <span class="p">(</span><span class="mf">2.9032849613891083021420278850</span> <span class="o">-</span>
+<span class="mf">4.1185388389935516999882632998</span><span class="o">*</span><span class="n">I</span><span class="p">)</span><span class="o">*</span><span class="n">a</span><span class="o">^</span><span class="mi">2</span>
+<span class="o">+</span> <span class="p">(</span><span class="o">-</span><span class="mf">2.9032849613891083021420278809</span> <span class="o">+</span>
+<span class="mf">4.1185388389935516999882633007</span><span class="o">*</span><span class="n">I</span><span class="p">)</span><span class="o">*</span><span class="n">a</span>
+<span class="o">-</span> <span class="mf">0.40431358073618481197132661847</span> <span class="o">-</span> <span class="mf">0.75939451500971650241038771418</span><span class="o">*</span><span class="n">I</span>
+<span class="n">sage</span><span class="p">:</span> <span class="n">M</span><span class="o">.</span><span class="n">hyperbolic_SLN_torsion</span><span class="p">(</span><span class="mi">4</span><span class="p">,</span> <span class="mi">100</span><span class="p">)</span>   <span class="c1"># Why not?</span>
+<span class="p">(</span><span class="mf">2.5890988184099251088892745185</span> <span class="o">+</span> <span class="mf">3.5126610817613336586374292713</span><span class="o">*</span><span class="n">I</span><span class="p">)</span><span class="o">*</span><span class="n">a</span><span class="o">^</span><span class="mi">4</span>
+<span class="o">+</span> <span class="p">(</span><span class="mf">10.357403823939297224437742077</span> <span class="o">-</span> <span class="mf">13.378446302375451727042633120</span><span class="o">*</span><span class="n">I</span><span class="p">)</span><span class="o">*</span><span class="n">a</span><span class="o">^</span><span class="mi">3</span>
+<span class="o">+</span> <span class="p">(</span><span class="o">-</span><span class="mf">26.821802363180149782221451472</span> <span class="o">+</span> <span class="mf">7.0253221635226673172748587283</span><span class="o">*</span><span class="n">I</span><span class="p">)</span><span class="o">*</span><span class="n">a</span><span class="o">^</span><span class="mi">2</span>
+<span class="o">+</span> <span class="p">(</span><span class="mf">10.357403823939297224437738856</span> <span class="o">-</span> <span class="mf">13.378446302375451727042631346</span><span class="o">*</span><span class="n">I</span><span class="p">)</span><span class="o">*</span><span class="n">a</span>
+<span class="o">+</span> <span class="mf">2.5890988184099251088892549440</span> <span class="o">+</span> <span class="mf">3.5126610817613336586374448040</span><span class="o">*</span><span class="n">I</span>
+</pre></div>
+</div>
+<p>You can find out more about each of these methods using
+introspection:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span>sage: M.hyperbolic_torsion?
+Definition: M.hyperbolic_torsion(M, bits_prec=100, all_lifts=False, wada_conventions=False, phi=None)
+Docstring:
+Computes the hyperbolic torsion polynomial as defined in [DFJ].
+&gt;&gt;&gt; M = Manifold(&#39;K11n42&#39;)
+&gt;&gt;&gt; M.alexander_polynomial()
+1
+&gt;&gt;&gt; tau = M.hyperbolic_torsion(bits_prec=200)
+&gt;&gt;&gt; tau.degree()
+6
+</pre></div>
+</div>
+</section>
+           </div>
+          </div>
+          <footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
+        <a href="spherogram.html" class="btn btn-neutral float-left" title="Links: planar diagrams and invariants" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
+        <a href="verify.html" class="btn btn-neutral float-right" title="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>

snappy/doc/snappy.html ADDED Viewed

@@ -0,0 +1,181 @@
+<!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>The snappy module and its classes &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="Manifold: the main class" href="manifold.html" />
+    <link rel="prev" title="Tutorial" href="tutorial.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 current"><a class="current reference internal" href="#">The snappy module and its classes</a><ul>
+<li class="toctree-l2"><a class="reference internal" href="manifold.html">Manifold: the main class</a></li>
+<li class="toctree-l2"><a class="reference internal" href="manifoldhp.html">ManifoldHP: High-precision variant</a></li>
+<li class="toctree-l2"><a class="reference internal" href="triangulation.html">Triangulation</a></li>
+<li class="toctree-l2"><a class="reference internal" href="additional_classes.html">Additional Classes</a></li>
+<li class="toctree-l2"><a class="reference internal" href="censuses.html">Census manifolds</a></li>
+</ul>
+</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">The snappy module and its classes</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="the-snappy-module-and-its-classes">
+<h1>The snappy module and its classes<a class="headerlink" href="#the-snappy-module-and-its-classes" title="Link to this heading"></a></h1>
+<p>SnapPy is centered around a Python interface for SnapPea called
+“snappy”, and this is what you’re interacting with in the main “SnapPy
+command shell” window.  The main class is Manifold, which is an ideal
+triangulation of the interior of a compact 3-manifold with torus
+boundary, where each tetrahedron has been assigned the geometry of
+an ideal tetrahedron in hyperbolic 3-space.  A Dehn-filling can be
+specified for each boundary component, allowing the description of
+closed 3-manifolds and some orbifolds.  The class Manifold is derived
+from the simpler Triangulation class which lacks any geometric
+structure.  There are also some additional classes for things like
+fundamental groups, Dirichlet domains, etc.  Snappy comes with a large
+library of 3-manifolds, some of which are grouped together in censuses.</p>
+<div class="toctree-wrapper compound">
+<ul>
+<li class="toctree-l1"><a class="reference internal" href="manifold.html">Manifold: the main class</a><ul>
+<li class="toctree-l2"><a class="reference internal" href="manifold.html#snappy.Manifold"><code class="docutils literal notranslate"><span class="pre">Manifold</span></code></a></li>
+</ul>
+</li>
+<li class="toctree-l1"><a class="reference internal" href="manifoldhp.html">ManifoldHP: High-precision variant</a><ul>
+<li class="toctree-l2"><a class="reference internal" href="manifoldhp.html#faq">FAQ</a></li>
+</ul>
+</li>
+<li class="toctree-l1"><a class="reference internal" href="triangulation.html">Triangulation</a><ul>
+<li class="toctree-l2"><a class="reference internal" href="triangulation.html#snappy.Triangulation"><code class="docutils literal notranslate"><span class="pre">Triangulation</span></code></a></li>
+</ul>
+</li>
+<li class="toctree-l1"><a class="reference internal" href="additional_classes.html">Additional Classes</a><ul>
+<li class="toctree-l2"><a class="reference internal" href="additional_classes.html#abeliangroup">AbelianGroup</a></li>
+<li class="toctree-l2"><a class="reference internal" href="additional_classes.html#fundamentalgroup">FundamentalGroup</a></li>
+<li class="toctree-l2"><a class="reference internal" href="additional_classes.html#symmetrygroup">SymmetryGroup</a></li>
+<li class="toctree-l2"><a class="reference internal" href="additional_classes.html#dirichletdomain">DirichletDomain</a></li>
+<li class="toctree-l2"><a class="reference internal" href="additional_classes.html#cuspneighborhood">CuspNeighborhood</a></li>
+</ul>
+</li>
+<li class="toctree-l1"><a class="reference internal" href="censuses.html">Census manifolds</a><ul>
+<li class="toctree-l2"><a class="reference internal" href="censuses.html#snappy.OrientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">OrientableCuspedCensus</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="censuses.html#snappy.OrientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">OrientableClosedCensus</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="censuses.html#snappy.CensusKnots"><code class="docutils literal notranslate"><span class="pre">CensusKnots</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="censuses.html#snappy.LinkExteriors"><code class="docutils literal notranslate"><span class="pre">LinkExteriors</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="censuses.html#snappy.HTLinkExteriors"><code class="docutils literal notranslate"><span class="pre">HTLinkExteriors</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="censuses.html#snappy.RibbonLinks"><code class="docutils literal notranslate"><span class="pre">RibbonLinks</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="censuses.html#snappy.NonorientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">NonorientableCuspedCensus</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="censuses.html#snappy.NonorientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">NonorientableClosedCensus</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="platonic_census.html">Censuses of Platonic manifolds</a></li>
+<li class="toctree-l2"><a class="reference internal" href="censuses.html#snappy.database.ManifoldTable"><code class="docutils literal notranslate"><span class="pre">ManifoldTable</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="censuses.html#snappy.AlternatingKnotExteriors"><code class="docutils literal notranslate"><span class="pre">AlternatingKnotExteriors</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="censuses.html#snappy.NonalternatingKnotExteriors"><code class="docutils literal notranslate"><span class="pre">NonalternatingKnotExteriors</span></code></a></li>
+</ul>
+</li>
+</ul>
+</div>
+</section>
+           </div>
+          </div>
+          <footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
+        <a href="tutorial.html" class="btn btn-neutral float-left" title="Tutorial" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
+        <a href="manifold.html" class="btn btn-neutral float-right" title="Manifold: the main class" 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>