PyPI - snappy - Versions diffs - 3.2__cp310-cp310-macosx_10_12_x86_64.whl - Mend

snappy 3.2__cp310-cp310-macosx_10_12_x86_64.whl

Files changed (503) hide show

snappy/CyOpenGL.cpython-310-darwin.so +0 -0
snappy/SnapPy.cpython-310-darwin.so +0 -0
snappy/SnapPy.ico +0 -0
snappy/SnapPy.png +0 -0
snappy/SnapPyHP.cpython-310-darwin.so +0 -0
snappy/__init__.py +760 -0
snappy/app.py +605 -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 +38 -0
snappy/cusps/cusp_area_matrix.py +101 -0
snappy/cusps/cusp_areas_from_matrix.py +173 -0
snappy/cusps/maximal_cusp_area_matrix.py +136 -0
snappy/cusps/test.py +21 -0
snappy/cusps/trig_cusp_area_matrix.py +63 -0
snappy/database.py +454 -0
snappy/db_utilities.py +79 -0
snappy/decorated_isosig.py +710 -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/geodesics.jpg +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 +51 -0
snappy/doc/_sources/credits.rst.txt +75 -0
snappy/doc/_sources/development.rst.txt +259 -0
snappy/doc/_sources/index.rst.txt +182 -0
snappy/doc/_sources/installing.rst.txt +247 -0
snappy/doc/_sources/manifold.rst.txt +6 -0
snappy/doc/_sources/manifoldhp.rst.txt +46 -0
snappy/doc/_sources/news.rst.txt +355 -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 +925 -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 +156 -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 +199 -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 +620 -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 +427 -0
snappy/doc/credits.html +181 -0
snappy/doc/development.html +384 -0
snappy/doc/genindex.html +1331 -0
snappy/doc/index.html +262 -0
snappy/doc/installing.html +346 -0
snappy/doc/manifold.html +3452 -0
snappy/doc/manifoldhp.html +180 -0
snappy/doc/news.html +388 -0
snappy/doc/objects.inv +0 -0
snappy/doc/other.html +161 -0
snappy/doc/platonic_census.html +375 -0
snappy/doc/plink.html +210 -0
snappy/doc/ptolemy.html +254 -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 +1211 -0
snappy/doc/todo.html +166 -0
snappy/doc/triangulation.html +1584 -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 +126 -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 +197 -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 +123 -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 +697 -0
snappy/geometric_structure/cusp_neighborhood/cusp_cross_section_base.py +484 -0
snappy/geometric_structure/cusp_neighborhood/exceptions.py +42 -0
snappy/geometric_structure/cusp_neighborhood/real_cusp_cross_section.py +298 -0
snappy/geometric_structure/cusp_neighborhood/tiles_for_cusp_neighborhood.py +159 -0
snappy/geometric_structure/cusp_neighborhood/vertices.py +32 -0
snappy/geometric_structure/geodesic/__init__.py +0 -0
snappy/geometric_structure/geodesic/add_core_curves.py +152 -0
snappy/geometric_structure/geodesic/avoid_core_curves.py +369 -0
snappy/geometric_structure/geodesic/canonical_keys.py +52 -0
snappy/geometric_structure/geodesic/check_away_from_core_curve.py +60 -0
snappy/geometric_structure/geodesic/constants.py +6 -0
snappy/geometric_structure/geodesic/exceptions.py +22 -0
snappy/geometric_structure/geodesic/fixed_points.py +93 -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 +101 -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 +245 -0
snappy/hyperboloid/horoball.py +19 -0
snappy/hyperboloid/line.py +35 -0
snappy/hyperboloid/point.py +9 -0
snappy/hyperboloid/triangle.py +29 -0
snappy/info_icon.gif +0 -0
snappy/infowindow.py +65 -0
snappy/isometry_signature.py +382 -0
snappy/len_spec/__init__.py +596 -0
snappy/len_spec/geodesic_info.py +110 -0
snappy/len_spec/geodesic_key_info_dict.py +117 -0
snappy/len_spec/geodesic_piece.py +143 -0
snappy/len_spec/geometric_structure.py +182 -0
snappy/len_spec/geometry.py +80 -0
snappy/len_spec/length_spectrum_geodesic_info.py +170 -0
snappy/len_spec/spine.py +206 -0
snappy/len_spec/test.py +24 -0
snappy/len_spec/test_cases.py +69 -0
snappy/len_spec/tile.py +275 -0
snappy/len_spec/word.py +86 -0
snappy/manifolds/HTWKnots/alternating.gz +0 -0
snappy/manifolds/HTWKnots/nonalternating.gz +0 -0
snappy/manifolds/__init__.py +3 -0
snappy/math_basics.py +176 -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 +857 -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 +1029 -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 +123 -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 +117 -0
snappy/settings.py +409 -0
snappy/shell.py +53 -0
snappy/snap/__init__.py +114 -0
snappy/snap/character_varieties.py +375 -0
snappy/snap/find_field.py +372 -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 +702 -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.py +668 -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 +134 -0
snappy/snap/utilities.py +288 -0
snappy/test.py +209 -0
snappy/test_cases.py +263 -0
snappy/testing.py +131 -0
snappy/tiling/__init__.py +2 -0
snappy/tiling/canonical_key_dict.py +59 -0
snappy/tiling/dict_based_set.py +79 -0
snappy/tiling/floor.py +49 -0
snappy/tiling/hyperboloid_dict.py +54 -0
snappy/tiling/iter_utils.py +78 -0
snappy/tiling/lifted_tetrahedron.py +22 -0
snappy/tiling/lifted_tetrahedron_set.py +54 -0
snappy/tiling/real_hash_dict.py +164 -0
snappy/tiling/test.py +23 -0
snappy/tiling/tile.py +215 -0
snappy/tiling/triangle.py +33 -0
snappy/tkterminal.py +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-darwin.so +0 -0
snappy/upper_halfspace/__init__.py +146 -0
snappy/upper_halfspace/ideal_point.py +26 -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/maximal_cusp_area_matrix/__init__.py +46 -0
snappy/verify/maximal_cusp_area_matrix/cusp_tiling_engine.py +419 -0
snappy/verify/maximal_cusp_area_matrix/cusp_translate_engine.py +153 -0
snappy/verify/real_algebra.py +286 -0
snappy/verify/shapes.py +25 -0
snappy/verify/short_slopes.py +200 -0
snappy/verify/square_extensions.py +1005 -0
snappy/verify/test.py +78 -0
snappy/verify/upper_halfspace/__init__.py +9 -0
snappy/verify/upper_halfspace/extended_matrix.py +100 -0
snappy/verify/upper_halfspace/finite_point.py +283 -0
snappy/verify/upper_halfspace/ideal_point.py +426 -0
snappy/verify/volume.py +128 -0
snappy/version.py +2 -0
snappy-3.2.dist-info/METADATA +58 -0
snappy-3.2.dist-info/RECORD +503 -0
snappy-3.2.dist-info/WHEEL +5 -0
snappy-3.2.dist-info/entry_points.txt +2 -0
snappy-3.2.dist-info/top_level.txt +28 -0

snappy/doc/other.html ADDED Viewed

@@ -0,0 +1,161 @@
+<!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>Other components &mdash; SnapPy 3.2 documentation</title>
+      <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=fa44fd50" />
+      <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=e59714d7" />
+      <link rel="stylesheet" type="text/css" href="_static/snappy_sphinx_rtd_theme.css?v=1b8ec2a8" />
+    <link rel="shortcut icon" href="_static/SnapPy.ico"/>
+      <script src="_static/jquery.js?v=5d32c60e"></script>
+      <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
+      <script src="_static/documentation_options.js?v=828ea960"></script>
+      <script src="_static/doctools.js?v=9a2dae69"></script>
+      <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
+      <script async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
+    <script src="_static/js/theme.js"></script>
+    <link rel="index" title="Index" href="genindex.html" />
+    <link rel="search" title="Search" href="search.html" />
+    <link rel="next" title="The ptolemy module" href="ptolemy.html" />
+    <link rel="prev" title="Internals of verified computations" href="verify_internals.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"><a class="reference internal" href="verify.html">Verified computations</a></li>
+<li class="toctree-l1 current"><a class="current reference internal" href="#">Other components</a><ul>
+<li class="toctree-l2"><a class="reference internal" href="#ptolemy-module">Ptolemy module</a><ul>
+<li class="toctree-l3"><a class="reference internal" href="ptolemy.html">The ptolemy module</a></li>
+</ul>
+</li>
+<li class="toctree-l2"><a class="reference internal" href="#twister">Twister</a></li>
+</ul>
+</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">Other components</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="other-components">
+<h1>Other components<a class="headerlink" href="#other-components" title="Link to this heading"></a></h1>
+<p>SnapPy incorporates:</p>
+<section id="ptolemy-module">
+<h2>Ptolemy module<a class="headerlink" href="#ptolemy-module" title="Link to this heading"></a></h2>
+<p>The <a class="reference external" href="http://www.unhyperbolic.org/ptolemy.html">ptolemy module</a> for
+studying representations of 3-manifold groups into SL(<em>N</em>, <strong>C</strong>) and
+PSL(<em>N</em>, <strong>C</strong>).  By <a class="reference external" href="http://www.unhyperbolic.org/">Matthias Goerner</a>.</p>
+<div class="toctree-wrapper compound">
+<ul>
+<li class="toctree-l1"><a class="reference internal" href="ptolemy.html">The ptolemy module</a><ul>
+<li class="toctree-l2"><a class="reference internal" href="ptolemy.html#what-is-the-ptolemy-module">What is the ptolemy module?</a></li>
+<li class="toctree-l2"><a class="reference internal" href="ptolemy.html#documentation">Documentation</a><ul>
+<li class="toctree-l3"><a class="reference internal" href="ptolemy_prelim.html">Mathematical preliminaries</a></li>
+<li class="toctree-l3"><a class="reference internal" href="ptolemy_examples1.html">Step-by-step examples: Part 1</a></li>
+<li class="toctree-l3"><a class="reference internal" href="ptolemy_examples2.html">Step-by-step examples: Part 2</a></li>
+<li class="toctree-l3"><a class="reference internal" href="ptolemy_examples3.html">Step-by-step examples: Part 3</a></li>
+<li class="toctree-l3"><a class="reference internal" href="ptolemy_examples4.html">Step-by-step examples: Part 4</a></li>
+<li class="toctree-l3"><a class="reference internal" href="ptolemy_classes.html">Classes</a></li>
+</ul>
+</li>
+</ul>
+</li>
+</ul>
+</div>
+</section>
+<section id="twister">
+<h2>Twister<a class="headerlink" href="#twister" title="Link to this heading"></a></h2>
+<p><a class="reference external" href="https://github.com/MarkCBell/twister">Twister</a> for building
+surface bundles and Heegaard splittings from mapping class group
+data.  By Marc Bell, Tracy Hall, and Saul Schleimer.</p>
+</section>
+</section>
+           </div>
+          </div>
+          <footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
+        <a href="verify_internals.html" class="btn btn-neutral float-left" title="Internals of verified computations" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
+        <a href="ptolemy.html" class="btn btn-neutral float-right" title="The ptolemy module" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
+    </div>
+  <hr/>
+  <div role="contentinfo">
+    <p>&#169; Copyright 2009-2025, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
+  </div>
+  Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
+    <a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
+    provided by <a href="https://readthedocs.org">Read the Docs</a>.
+</footer>
+        </div>
+      </div>
+    </section>
+  </div>
+  <script>
+      jQuery(function () {
+          SphinxRtdTheme.Navigation.enable(true);
+      });
+  </script>
+</body>
+</html>

snappy/doc/platonic_census.html ADDED Viewed

@@ -0,0 +1,375 @@
+<!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>Censuses of Platonic manifolds &mdash; SnapPy 3.2 documentation</title>
+      <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=fa44fd50" />
+      <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=e59714d7" />
+      <link rel="stylesheet" type="text/css" href="_static/snappy_sphinx_rtd_theme.css?v=1b8ec2a8" />
+    <link rel="shortcut icon" href="_static/SnapPy.ico"/>
+      <script src="_static/jquery.js?v=5d32c60e"></script>
+      <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
+      <script src="_static/documentation_options.js?v=828ea960"></script>
+      <script src="_static/doctools.js?v=9a2dae69"></script>
+      <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
+    <script src="_static/js/theme.js"></script>
+    <link rel="index" title="Index" href="genindex.html" />
+    <link rel="search" title="Search" href="search.html" />
+    <link rel="next" title="Using SnapPy’s link editor" href="plink.html" />
+    <link rel="prev" title="Census manifolds" href="censuses.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="reference internal" href="snappy.html">The snappy module and its classes</a><ul class="current">
+<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 current"><a class="reference internal" href="censuses.html">Census manifolds</a><ul class="current">
+<li class="toctree-l3"><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-l3"><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-l3"><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-l3"><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-l3"><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-l3"><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-l3"><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-l3 current"><a class="current reference internal" href="#">Censuses of Platonic manifolds</a><ul>
+<li class="toctree-l4"><a class="reference internal" href="#snappy.TetrahedralOrientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">TetrahedralOrientableCuspedCensus</span></code></a></li>
+<li class="toctree-l4"><a class="reference internal" href="#snappy.TetrahedralNonorientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">TetrahedralNonorientableCuspedCensus</span></code></a></li>
+<li class="toctree-l4"><a class="reference internal" href="#snappy.OctahedralOrientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">OctahedralOrientableCuspedCensus</span></code></a></li>
+<li class="toctree-l4"><a class="reference internal" href="#snappy.OctahedralNonorientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">OctahedralNonorientableCuspedCensus</span></code></a></li>
+<li class="toctree-l4"><a class="reference internal" href="#snappy.CubicalOrientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">CubicalOrientableCuspedCensus</span></code></a></li>
+<li class="toctree-l4"><a class="reference internal" href="#snappy.CubicalNonorientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">CubicalNonorientableCuspedCensus</span></code></a></li>
+<li class="toctree-l4"><a class="reference internal" href="#snappy.DodecahedralOrientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">DodecahedralOrientableCuspedCensus</span></code></a></li>
+<li class="toctree-l4"><a class="reference internal" href="#snappy.DodecahedralNonorientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">DodecahedralNonorientableCuspedCensus</span></code></a></li>
+<li class="toctree-l4"><a class="reference internal" href="#snappy.IcosahedralOrientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">IcosahedralOrientableClosedCensus</span></code></a></li>
+<li class="toctree-l4"><a class="reference internal" href="#snappy.IcosahedralNonorientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">IcosahedralNonorientableClosedCensus</span></code></a></li>
+<li class="toctree-l4"><a class="reference internal" href="#snappy.CubicalOrientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">CubicalOrientableClosedCensus</span></code></a></li>
+<li class="toctree-l4"><a class="reference internal" href="#snappy.CubicalNonorientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">CubicalNonorientableClosedCensus</span></code></a></li>
+<li class="toctree-l4"><a class="reference internal" href="#snappy.DodecahedralOrientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">DodecahedralOrientableClosedCensus</span></code></a></li>
+<li class="toctree-l4"><a class="reference internal" href="#snappy.DodecahedralNonorientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">DodecahedralNonorientableClosedCensus</span></code></a></li>
+</ul>
+</li>
+<li class="toctree-l3"><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-l3"><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-l3"><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>
+</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"><a href="snappy.html">The snappy module and its classes</a></li>
+          <li class="breadcrumb-item"><a href="censuses.html">Census manifolds</a></li>
+      <li class="breadcrumb-item active">Censuses of Platonic 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="censuses-of-platonic-manifolds">
+<h1>Censuses of Platonic manifolds<a class="headerlink" href="#censuses-of-platonic-manifolds" title="Link to this heading"></a></h1>
+<p>The following manifolds were tabulated in <a class="reference external" href="http://arxiv.org/abs/1502.00383">A census of tetrahedral manifolds</a> and <a class="reference external" href="http://arxiv.org/abs/1602.02208v2">A census of Platonic manifolds and augmented knotted trivalent graphs</a>. An even larger census of Platonic manifolds can be downloaded <a class="reference external" href="http://unhyperbolic.org/platonicCensus/large/platonicCensus_large_snappy_only.tar.bz2">here</a>.</p>
+<dl class="py data">
+<dt class="sig sig-object py" id="snappy.TetrahedralOrientableCuspedCensus">
+<span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">TetrahedralOrientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">TetrahedralOrientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.TetrahedralOrientableCuspedCensus" title="Link to this definition"></a></dt>
+<dd><p>Iterator for the tetrahedral orientable cusped hyperbolic manifolds up to
+25 tetrahedra, i.e., manifolds that admit a tessellation by regular ideal
+hyperbolic tetrahedra.</p>
+<div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">M</span> <span class="ow">in</span> <span class="n">TetrahedralOrientableCuspedCensus</span><span class="p">(</span><span class="n">solids</span> <span class="o">=</span> <span class="mi">5</span><span class="p">):</span>
+<span class="gp">... </span>    <span class="nb">print</span><span class="p">(</span><span class="n">M</span><span class="p">,</span> <span class="n">M</span><span class="o">.</span><span class="n">volume</span><span class="p">())</span>
+<span class="go">otet05_00000(0,0) 5.07470803</span>
+<span class="go">otet05_00001(0,0)(0,0) 5.07470803</span>
+<span class="gp">&gt;&gt;&gt; </span><span class="n">TetrahedralOrientableCuspedCensus</span><span class="o">.</span><span class="n">identify</span><span class="p">(</span><span class="n">Manifold</span><span class="p">(</span><span class="s2">&quot;m004&quot;</span><span class="p">))</span>
+<span class="go">otet02_00001(0,0)</span>
+</pre></div>
+</div>
+</dd></dl>
+<dl class="py data">
+<dt class="sig sig-object py" id="snappy.TetrahedralNonorientableCuspedCensus">
+<span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">TetrahedralNonorientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">TetrahedralNonorientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.TetrahedralNonorientableCuspedCensus" title="Link to this definition"></a></dt>
+<dd><p>Iterator for the tetrahedral non-orientable cusped hyperbolic manifolds up to
+21 tetrahedra, i.e., manifolds that admit a tessellation by regular ideal
+hyperbolic tetrahedra.</p>
+<div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="nb">len</span><span class="p">(</span><span class="n">TetrahedralNonorientableCuspedCensus</span><span class="p">)</span>
+<span class="go">25194</span>
+<span class="gp">&gt;&gt;&gt; </span><span class="nb">list</span><span class="p">(</span><span class="n">TetrahedralNonorientableCuspedCensus</span><span class="p">[:</span><span class="mf">1.3</span><span class="p">])</span>
+<span class="go">[ntet01_00000(0,0)]</span>
+</pre></div>
+</div>
+</dd></dl>
+<dl class="py data">
+<dt class="sig sig-object py" id="snappy.OctahedralOrientableCuspedCensus">
+<span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">OctahedralOrientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">OctahedralOrientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.OctahedralOrientableCuspedCensus" title="Link to this definition"></a></dt>
+<dd><p>Iterator for the octahedral orientable cusped hyperbolic manifolds up to
+7 octahedra, i.e., manifolds that admit a tessellation by regular ideal
+hyperbolic octahedra.</p>
+<div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">OctahedralOrientableCuspedCensus</span><span class="o">.</span><span class="n">identify</span><span class="p">(</span><span class="n">Manifold</span><span class="p">(</span><span class="s2">&quot;5^2_1&quot;</span><span class="p">))</span>
+<span class="go">ooct01_00001(0,0)(0,0)</span>
+</pre></div>
+</div>
+<p>For octahedral manifolds that are also the complement of an <a class="reference external" href="http://arxiv.org/abs/0805.0094">Augmented
+Knotted Trivalent Graph (AugKTG)</a>, the
+corresponding link is included:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">M</span> <span class="o">=</span> <span class="n">OctahedralOrientableCuspedCensus</span><span class="p">[</span><span class="s1">&#39;ooct04_00034&#39;</span><span class="p">]</span>
+<span class="gp">&gt;&gt;&gt; </span><span class="n">M</span><span class="o">.</span><span class="n">link</span><span class="p">()</span>
+<span class="go">&lt;Link: 4 comp; 17 cross&gt;</span>
+</pre></div>
+</div>
+<p>The link can be viewed with <code class="docutils literal notranslate"><span class="pre">M.plink()</span></code>. To only see complements of
+AugKTGs, supply <code class="docutils literal notranslate"><span class="pre">isAugKTG</span> <span class="pre">=</span> <span class="pre">True</span></code>:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="nb">len</span><span class="p">(</span><span class="n">OctahedralOrientableCuspedCensus</span><span class="p">(</span><span class="n">isAugKTG</span> <span class="o">=</span> <span class="kc">True</span><span class="p">))</span>
+<span class="go">238</span>
+<span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">M</span> <span class="ow">in</span> <span class="n">OctahedralOrientableCuspedCensus</span><span class="p">(</span><span class="n">isAugKTG</span> <span class="o">=</span> <span class="kc">True</span><span class="p">)[:</span><span class="mi">5</span><span class="p">]:</span>
+<span class="gp">... </span>    <span class="nb">print</span><span class="p">(</span><span class="n">M</span><span class="p">,</span> <span class="n">M</span><span class="o">.</span><span class="n">link</span><span class="p">()</span><span class="o">.</span><span class="n">DT_code</span><span class="p">(</span><span class="n">DT_alpha</span><span class="o">=</span><span class="kc">True</span><span class="p">))</span>
+<span class="go">ooct02_00001(0,0)(0,0)(0,0)(0,0) DT[mdbceceJamHBlCKgdfI]</span>
+<span class="go">ooct02_00002(0,0)(0,0)(0,0) DT[lcgbcIkhLBJecGaFD]</span>
+<span class="go">ooct02_00003(0,0)(0,0)(0,0) DT[icebbGIAfhcEdB]</span>
+<span class="go">ooct02_00005(0,0)(0,0)(0,0) DT[hcdbbFHegbDAc]</span>
+<span class="go">ooct04_00027(0,0)(0,0)(0,0)(0,0) DT[zdpecbBujVtiWzsLQpxYREadhOKCmFgN]</span>
+</pre></div>
+</div>
+</dd></dl>
+<dl class="py data">
+<dt class="sig sig-object py" id="snappy.OctahedralNonorientableCuspedCensus">
+<span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">OctahedralNonorientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">OctahedralNonorientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.OctahedralNonorientableCuspedCensus" title="Link to this definition"></a></dt>
+<dd><p>Iterator for the octahedral non-orientable cusped hyperbolic manifolds up to
+5 octahedra, i.e., manifolds that admit a tessellation by regular ideal
+hyperbolic octahedra.</p>
+<div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">M</span> <span class="ow">in</span> <span class="n">OctahedralNonorientableCuspedCensus</span><span class="p">(</span><span class="n">solids</span> <span class="o">=</span> <span class="mi">3</span><span class="p">,</span> <span class="n">betti</span> <span class="o">=</span> <span class="mi">3</span><span class="p">,</span><span class="n">cusps</span> <span class="o">=</span> <span class="mi">4</span><span class="p">):</span>
+<span class="gp">... </span>    <span class="nb">print</span><span class="p">(</span><span class="n">M</span><span class="p">,</span> <span class="n">M</span><span class="o">.</span><span class="n">homology</span><span class="p">())</span>
+<span class="go">noct03_00007(0,0)(0,0)(0,0)(0,0) Z/2 + Z + Z + Z</span>
+<span class="go">noct03_00029(0,0)(0,0)(0,0)(0,0) Z/2 + Z + Z + Z</span>
+<span class="go">noct03_00047(0,0)(0,0)(0,0)(0,0) Z/2 + Z + Z + Z</span>
+<span class="go">noct03_00048(0,0)(0,0)(0,0)(0,0) Z/2 + Z + Z + Z</span>
+</pre></div>
+</div>
+</dd></dl>
+<dl class="py data">
+<dt class="sig sig-object py" id="snappy.CubicalOrientableCuspedCensus">
+<span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">CubicalOrientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">CubicalOrientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.CubicalOrientableCuspedCensus" title="Link to this definition"></a></dt>
+<dd><p>Iterator for the cubical orientable cusped hyperbolic manifolds up to
+7 cubes, i.e., manifolds that admit a tessellation by regular ideal
+hyperbolic octahedra.</p>
+<div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">M</span> <span class="o">=</span> <span class="n">TetrahedralOrientableCuspedCensus</span><span class="p">[</span><span class="s1">&#39;otet05_00001&#39;</span><span class="p">]</span>
+<span class="gp">&gt;&gt;&gt; </span><span class="n">CubicalOrientableCuspedCensus</span><span class="o">.</span><span class="n">identify</span><span class="p">(</span><span class="n">M</span><span class="p">)</span>
+<span class="go">ocube01_00002(0,0)(0,0)</span>
+</pre></div>
+</div>
+</dd></dl>
+<dl class="py data">
+<dt class="sig sig-object py" id="snappy.CubicalNonorientableCuspedCensus">
+<span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">CubicalNonorientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">CubicalNonorientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.CubicalNonorientableCuspedCensus" title="Link to this definition"></a></dt>
+<dd><p>Iterator for the cubical non-orientable cusped hyperbolic manifolds up to
+5 cubes, i.e., manifolds that admit a tessellation by regular ideal
+hyperbolic octahedra.</p>
+<div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">M</span> <span class="ow">in</span> <span class="n">CubicalNonorientableCuspedCensus</span><span class="p">[</span><span class="o">-</span><span class="mi">3</span><span class="p">:]:</span>
+<span class="gp">... </span>    <span class="nb">print</span><span class="p">(</span><span class="n">M</span><span class="p">,</span> <span class="n">M</span><span class="o">.</span><span class="n">volume</span><span class="p">())</span>
+<span class="go">ncube05_30945(0,0) 25.37354016</span>
+<span class="go">ncube05_30946(0,0)(0,0) 25.37354016</span>
+<span class="go">ncube05_30947(0,0)(0,0) 25.37354016</span>
+</pre></div>
+</div>
+</dd></dl>
+<dl class="py data">
+<dt class="sig sig-object py" id="snappy.DodecahedralOrientableCuspedCensus">
+<span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">DodecahedralOrientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">DodecahedralOrientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.DodecahedralOrientableCuspedCensus" title="Link to this definition"></a></dt>
+<dd><p>Iterator for the dodecahedral orientable cusped hyperbolic manifolds up to
+2 dodecahedra, i.e., manifolds that admit a tessellation by regular ideal
+hyperbolic dodecahedra.</p>
+<p>Complement of one of the dodecahedral knots by Aitchison and Rubinstein:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">M</span><span class="o">=</span><span class="n">DodecahedralOrientableCuspedCensus</span><span class="p">[</span><span class="s1">&#39;odode02_00913&#39;</span><span class="p">]</span>
+<span class="gp">&gt;&gt;&gt; </span><span class="n">M</span><span class="o">.</span><span class="n">dehn_fill</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="gp">&gt;&gt;&gt; </span><span class="n">M</span><span class="o">.</span><span class="n">fundamental_group</span><span class="p">()</span>
+<span class="go">Generators:</span>
+<span class="go">Relators:</span>
+</pre></div>
+</div>
+</dd></dl>
+<dl class="py data">
+<dt class="sig sig-object py" id="snappy.DodecahedralNonorientableCuspedCensus">
+<span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">DodecahedralNonorientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">DodecahedralNonorientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.DodecahedralNonorientableCuspedCensus" title="Link to this definition"></a></dt>
+<dd><p>Iterator for the dodecahedral non-orientable cusped hyperbolic manifolds up to
+2 dodecahedra, i.e., manifolds that admit a tessellation by regular ideal
+hyperbolic dodecahedra.</p>
+<div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="nb">len</span><span class="p">(</span><span class="n">DodecahedralNonorientableCuspedCensus</span><span class="p">)</span>
+<span class="go">4146</span>
+</pre></div>
+</div>
+</dd></dl>
+<dl class="py data">
+<dt class="sig sig-object py" id="snappy.IcosahedralOrientableClosedCensus">
+<span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">IcosahedralOrientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">IcosahedralOrientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.IcosahedralOrientableClosedCensus" title="Link to this definition"></a></dt>
+<dd><p>Iterator for the icosahedral orientable closed hyperbolic manifolds up
+to 4 icosahedra, i.e., manifolds that admit a tessellation by regula finite
+hyperbolic icosahedra.</p>
+<div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">M</span> <span class="o">=</span> <span class="n">IcosahedralOrientableClosedCensus</span><span class="p">[</span><span class="mi">0</span><span class="p">]</span>
+<span class="gp">&gt;&gt;&gt; </span><span class="n">M</span><span class="o">.</span><span class="n">volume</span><span class="p">()</span>
+<span class="go">4.68603427</span>
+<span class="gp">&gt;&gt;&gt; </span><span class="n">M</span>
+<span class="go">oicocld01_00000(1,0)</span>
+</pre></div>
+</div>
+</dd></dl>
+<dl class="py data">
+<dt class="sig sig-object py" id="snappy.IcosahedralNonorientableClosedCensus">
+<span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">IcosahedralNonorientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">IcosahedralNonorientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.IcosahedralNonorientableClosedCensus" title="Link to this definition"></a></dt>
+<dd><p>Iterator for the icosahedral non-orientable closed hyperbolic manifolds up
+to 3 icosahedra, i.e., manifolds that admit a tessellation by regular finite
+hyperbolic icosahedra.</p>
+<div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="nb">list</span><span class="p">(</span><span class="n">IcosahedralNonorientableClosedCensus</span><span class="p">)</span>
+<span class="go">[nicocld02_00000(1,0)]</span>
+</pre></div>
+</div>
+</dd></dl>
+<dl class="py data">
+<dt class="sig sig-object py" id="snappy.CubicalOrientableClosedCensus">
+<span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">CubicalOrientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">CubicalOrientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.CubicalOrientableClosedCensus" title="Link to this definition"></a></dt>
+<dd><p>Iterator for the cubical orientable closed hyperbolic manifolds up
+to 10 cubes, i.e., manifolds that admit a tessellation by regular finite
+hyperbolic cubes.</p>
+<div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="nb">len</span><span class="p">(</span><span class="n">CubicalOrientableClosedCensus</span><span class="p">)</span>
+<span class="go">69</span>
+</pre></div>
+</div>
+</dd></dl>
+<dl class="py data">
+<dt class="sig sig-object py" id="snappy.CubicalNonorientableClosedCensus">
+<span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">CubicalNonorientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">CubicalNonorientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.CubicalNonorientableClosedCensus" title="Link to this definition"></a></dt>
+<dd><p>Iterator for the cubical non-orientable closed hyperbolic manifolds up
+to 10 cubes, i.e., manifolds that admit a tessellation by regular finite
+hyperbolic cubes.</p>
+<div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="nb">len</span><span class="p">(</span><span class="n">CubicalNonorientableClosedCensus</span><span class="p">)</span>
+<span class="go">93</span>
+</pre></div>
+</div>
+</dd></dl>
+<dl class="py data">
+<dt class="sig sig-object py" id="snappy.DodecahedralOrientableClosedCensus">
+<span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">DodecahedralOrientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">DodecahedralOrientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.DodecahedralOrientableClosedCensus" title="Link to this definition"></a></dt>
+<dd><p>Iterator for the dodecahedral orientable closed hyperbolic manifolds up
+to 3 dodecahedra, i.e., manifolds that admit a tessellation by regular finite
+hyperbolic dodecahedra with a dihedral angle of 72 degrees.</p>
+<p>The Seifert-Weber space:</p>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">M</span> <span class="o">=</span> <span class="n">DodecahedralOrientableClosedCensus</span><span class="p">(</span><span class="n">solids</span> <span class="o">=</span> <span class="mi">1</span><span class="p">)[</span><span class="o">-</span><span class="mi">1</span><span class="p">]</span>
+<span class="gp">&gt;&gt;&gt; </span><span class="n">M</span><span class="o">.</span><span class="n">homology</span><span class="p">()</span>
+<span class="go">Z/5 + Z/5 + Z/5</span>
+</pre></div>
+</div>
+</dd></dl>
+<dl class="py data">
+<dt class="sig sig-object py" id="snappy.DodecahedralNonorientableClosedCensus">
+<span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">DodecahedralNonorientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">DodecahedralNonorientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.DodecahedralNonorientableClosedCensus" title="Link to this definition"></a></dt>
+<dd><p>Iterator for the dodecahedral non-orientable closed hyperbolic manifolds up
+to 2 dodecahedra, i.e., manifolds that admit a tessellation by regular finite
+hyperbolic dodecahedra with a dihedral angle of 72 degrees.</p>
+<div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">DodecahedralNonorientableClosedCensus</span><span class="p">[</span><span class="mi">0</span><span class="p">]</span><span class="o">.</span><span class="n">volume</span><span class="p">()</span>
+<span class="go">22.39812948</span>
+</pre></div>
+</div>
+</dd></dl>
+</section>
+           </div>
+          </div>
+          <footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
+        <a href="censuses.html" class="btn btn-neutral float-left" title="Census manifolds" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
+        <a href="plink.html" class="btn btn-neutral float-right" title="Using SnapPy’s link editor" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
+    </div>
+  <hr/>
+  <div role="contentinfo">
+    <p>&#169; Copyright 2009-2025, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
+  </div>
+  Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
+    <a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
+    provided by <a href="https://readthedocs.org">Read the Docs</a>.
+</footer>
+        </div>
+      </div>
+    </section>
+  </div>
+  <script>
+      jQuery(function () {
+          SphinxRtdTheme.Navigation.enable(true);
+      });
+  </script>
+</body>
+</html>