PyPI - snappy - Versions diffs - 3.0.3__cp38-cp38-macosx_11_0_arm64.whl → 3.2__cp38-cp38-macosx_11_0_arm64.whl - Mend

snappy 3.0.3__cp38-cp38-macosx_11_0_arm64.whl → 3.2__cp38-cp38-macosx_11_0_arm64.whl

Files changed (401) hide show

snappy/CyOpenGL.cpython-38-darwin.so +0 -0
snappy/SnapPy.cpython-38-darwin.so +0 -0
snappy/SnapPyHP.cpython-38-darwin.so +0 -0
snappy/__init__.py +373 -426
snappy/app.py +240 -75
snappy/app_menus.py +93 -78
snappy/browser.py +87 -63
snappy/cache.py +5 -8
snappy/canonical.py +249 -0
snappy/{verify/cusp_shapes.py → cusps/__init__.py} +11 -19
snappy/cusps/cusp_area_matrix.py +101 -0
snappy/{verify/cusp_areas.py → cusps/cusp_areas_from_matrix.py} +39 -54
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 +40 -31
snappy/db_utilities.py +13 -14
snappy/decorated_isosig.py +377 -133
snappy/dev/extended_ptolemy/complexVolumesClosed.py +42 -9
snappy/dev/extended_ptolemy/extended.py +32 -25
snappy/dev/extended_ptolemy/giac_rur.py +23 -8
snappy/dev/extended_ptolemy/phc_wrapper.py +10 -10
snappy/dev/vericlosed/computeApproxHyperbolicStructureOrb.py +2 -1
snappy/dev/vericlosed/gimbalLoopFinder.py +5 -5
snappy/dev/vericlosed/hyperbolicStructure.py +3 -3
snappy/dev/vericlosed/oneVertexTruncatedComplex.py +2 -2
snappy/dev/vericlosed/truncatedComplex.py +3 -2
snappy/dev/vericlosed/verifyHyperbolicStructureEngine.py +4 -3
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/o9_00000_systole_paper_plane.jpg +0 -0
snappy/doc/_images/o9_00000_systole_paper_plane_closer.jpg +0 -0
snappy/doc/_sources/additional_classes.rst.txt +1 -0
snappy/doc/_sources/credits.rst.txt +6 -1
snappy/doc/_sources/development.rst.txt +69 -50
snappy/doc/_sources/index.rst.txt +101 -66
snappy/doc/_sources/installing.rst.txt +148 -165
snappy/doc/_sources/news.rst.txt +136 -32
snappy/doc/_sources/ptolemy.rst.txt +1 -1
snappy/doc/_sources/ptolemy_examples1.rst.txt +9 -8
snappy/doc/_sources/ptolemy_examples2.rst.txt +3 -3
snappy/doc/_sources/ptolemy_examples3.rst.txt +14 -14
snappy/doc/_sources/ptolemy_prelim.rst.txt +1 -1
snappy/doc/_sources/snap.rst.txt +2 -2
snappy/doc/_sources/snappy.rst.txt +1 -1
snappy/doc/_sources/triangulation.rst.txt +3 -2
snappy/doc/_sources/verify.rst.txt +89 -29
snappy/doc/_sources/verify_internals.rst.txt +5 -16
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 +47 -27
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 +107 -274
snappy/doc/_static/documentation_options.js +6 -5
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 -2
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 +3 -101
snappy/doc/_static/pygments.css +1 -0
snappy/doc/_static/searchtools.js +489 -398
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 +688 -263
snappy/doc/bugs.html +107 -94
snappy/doc/censuses.html +155 -127
snappy/doc/credits.html +115 -104
snappy/doc/development.html +184 -146
snappy/doc/genindex.html +287 -204
snappy/doc/index.html +189 -150
snappy/doc/installing.html +259 -266
snappy/doc/manifold.html +1626 -592
snappy/doc/manifoldhp.html +119 -105
snappy/doc/news.html +198 -104
snappy/doc/objects.inv +0 -0
snappy/doc/other.html +117 -105
snappy/doc/platonic_census.html +161 -114
snappy/doc/plink.html +113 -105
snappy/doc/ptolemy.html +131 -108
snappy/doc/ptolemy_classes.html +242 -223
snappy/doc/ptolemy_examples1.html +144 -130
snappy/doc/ptolemy_examples2.html +141 -129
snappy/doc/ptolemy_examples3.html +148 -132
snappy/doc/ptolemy_examples4.html +131 -111
snappy/doc/ptolemy_prelim.html +162 -138
snappy/doc/py-modindex.html +104 -69
snappy/doc/screenshots.html +117 -108
snappy/doc/search.html +115 -84
snappy/doc/searchindex.js +1 -1
snappy/doc/snap.html +109 -96
snappy/doc/snappy.html +134 -97
snappy/doc/spherogram.html +259 -187
snappy/doc/todo.html +107 -94
snappy/doc/triangulation.html +1380 -111
snappy/doc/tutorial.html +107 -94
snappy/doc/verify.html +194 -125
snappy/doc/verify_internals.html +248 -686
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 +23 -3
snappy/export_stl.py +20 -14
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/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 +36 -36
snappy/horoviewer.py +50 -48
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/{infodialog.py → infowindow.py} +32 -33
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/__init__.py +1 -1
snappy/math_basics.py +176 -0
snappy/matrix.py +525 -0
snappy/number.py +97 -21
snappy/numeric_output_checker.py +37 -27
snappy/pari.py +30 -69
snappy/phone_home.py +25 -20
snappy/polyviewer.py +39 -37
snappy/ptolemy/__init__.py +4 -6
snappy/ptolemy/component.py +14 -12
snappy/ptolemy/coordinates.py +312 -295
snappy/ptolemy/fieldExtensions.py +14 -12
snappy/ptolemy/findLoops.py +43 -31
snappy/ptolemy/geometricRep.py +24 -26
snappy/ptolemy/homology.py +12 -7
snappy/ptolemy/manifoldMethods.py +69 -70
snappy/ptolemy/matrix.py +65 -26
snappy/ptolemy/numericalSolutionsToGroebnerBasis.py +18 -14
snappy/ptolemy/polynomial.py +125 -119
snappy/ptolemy/processComponents.py +36 -30
snappy/ptolemy/processFileBase.py +79 -18
snappy/ptolemy/processFileDispatch.py +13 -14
snappy/ptolemy/processMagmaFile.py +44 -39
snappy/ptolemy/processRurFile.py +18 -11
snappy/ptolemy/ptolemyGeneralizedObstructionClass.py +20 -17
snappy/ptolemy/ptolemyObstructionClass.py +13 -17
snappy/ptolemy/ptolemyVariety.py +190 -121
snappy/ptolemy/ptolemyVarietyPrimeIdealGroebnerBasis.py +20 -19
snappy/ptolemy/reginaWrapper.py +25 -29
snappy/ptolemy/rur.py +6 -14
snappy/ptolemy/solutionsToPrimeIdealGroebnerBasis.py +27 -22
snappy/ptolemy/test.py +247 -188
snappy/ptolemy/utilities.py +41 -43
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 +10 -6
snappy/raytracing/eyeball.py +123 -0
snappy/raytracing/finite_raytracing_data.py +48 -38
snappy/raytracing/finite_viewer.py +218 -210
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 +152 -40
snappy/raytracing/hyperboloid_navigation.py +102 -52
snappy/raytracing/hyperboloid_utilities.py +114 -261
snappy/raytracing/ideal_raytracing_data.py +256 -179
snappy/raytracing/inside_viewer.py +522 -253
snappy/raytracing/pack.py +22 -0
snappy/raytracing/raytracing_data.py +46 -34
snappy/raytracing/raytracing_view.py +190 -109
snappy/raytracing/shaders/Eye.png +0 -0
snappy/raytracing/shaders/NonGeometric.png +0 -0
snappy/raytracing/shaders/__init__.py +60 -4
snappy/raytracing/shaders/fragment.glsl +575 -148
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 +32 -29
snappy/raytracing/zoom_slider/test.py +2 -0
snappy/sage_helper.py +69 -123
snappy/{preferences.py → settings.py} +167 -145
snappy/shell.py +4 -0
snappy/snap/__init__.py +12 -8
snappy/snap/character_varieties.py +24 -18
snappy/snap/find_field.py +35 -34
snappy/snap/fundamental_polyhedron.py +99 -85
snappy/snap/generators.py +6 -8
snappy/snap/interval_reps.py +18 -6
snappy/snap/kernel_structures.py +8 -3
snappy/snap/mcomplex_base.py +1 -2
snappy/snap/nsagetools.py +107 -53
snappy/snap/peripheral/__init__.py +1 -1
snappy/snap/peripheral/dual_cellulation.py +15 -7
snappy/snap/peripheral/link.py +20 -16
snappy/snap/peripheral/peripheral.py +22 -14
snappy/snap/peripheral/surface.py +47 -50
snappy/snap/peripheral/test.py +8 -8
snappy/snap/polished_reps.py +65 -40
snappy/snap/shapes.py +41 -22
snappy/snap/slice_obs_HKL.py +64 -25
snappy/snap/t3mlite/arrow.py +88 -51
snappy/snap/t3mlite/corner.py +5 -6
snappy/snap/t3mlite/edge.py +32 -21
snappy/snap/t3mlite/face.py +7 -9
snappy/snap/t3mlite/files.py +31 -23
snappy/snap/t3mlite/homology.py +14 -10
snappy/snap/t3mlite/linalg.py +158 -56
snappy/snap/t3mlite/mcomplex.py +739 -291
snappy/snap/t3mlite/perm4.py +236 -84
snappy/snap/t3mlite/setup.py +9 -10
snappy/snap/t3mlite/simplex.py +65 -48
snappy/snap/t3mlite/spun.py +42 -30
snappy/snap/t3mlite/surface.py +45 -45
snappy/snap/t3mlite/test.py +3 -0
snappy/snap/t3mlite/test_vs_regina.py +17 -13
snappy/snap/t3mlite/tetrahedron.py +25 -24
snappy/snap/t3mlite/vertex.py +8 -13
snappy/snap/test.py +45 -52
snappy/snap/utilities.py +66 -65
snappy/test.py +155 -158
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 +313 -203
snappy/twister/main.py +1 -8
snappy/twister/twister_core.cpython-38-darwin.so +0 -0
snappy/upper_halfspace/__init__.py +146 -0
snappy/upper_halfspace/ideal_point.py +26 -0
snappy/verify/__init__.py +4 -8
snappy/verify/{verifyCanonical.py → canonical.py} +114 -97
snappy/verify/complex_volume/__init__.py +3 -2
snappy/verify/complex_volume/adjust_torsion.py +13 -11
snappy/verify/complex_volume/closed.py +29 -24
snappy/verify/complex_volume/compute_ptolemys.py +8 -6
snappy/verify/complex_volume/cusped.py +10 -9
snappy/verify/complex_volume/extended_bloch.py +14 -12
snappy/verify/{cuspTranslations.py → cusp_translations.py} +15 -14
snappy/verify/edge_equations.py +80 -0
snappy/verify/exceptions.py +23 -56
snappy/verify/{verifyHyperbolicity.py → hyperbolicity.py} +19 -15
snappy/verify/interval_newton_shapes_engine.py +51 -211
snappy/verify/interval_tree.py +27 -25
snappy/verify/krawczyk_shapes_engine.py +47 -50
snappy/verify/maximal_cusp_area_matrix/__init__.py +17 -86
snappy/verify/maximal_cusp_area_matrix/cusp_tiling_engine.py +58 -48
snappy/verify/maximal_cusp_area_matrix/cusp_translate_engine.py +53 -57
snappy/verify/{realAlgebra.py → real_algebra.py} +26 -20
snappy/verify/shapes.py +10 -7
snappy/verify/short_slopes.py +41 -42
snappy/verify/{squareExtensions.py → square_extensions.py} +96 -92
snappy/verify/test.py +59 -57
snappy/verify/upper_halfspace/extended_matrix.py +5 -5
snappy/verify/upper_halfspace/finite_point.py +44 -31
snappy/verify/upper_halfspace/ideal_point.py +69 -57
snappy/verify/volume.py +15 -12
snappy/version.py +2 -3
{snappy-3.0.3.dist-info → snappy-3.2.dist-info}/METADATA +14 -12
snappy-3.2.dist-info/RECORD +503 -0
{snappy-3.0.3.dist-info → snappy-3.2.dist-info}/WHEEL +1 -1
{snappy-3.0.3.dist-info → snappy-3.2.dist-info}/entry_points.txt +0 -1
{snappy-3.0.3.dist-info → snappy-3.2.dist-info}/top_level.txt +10 -1
snappy/doc/_sources/verify_canon.rst.txt +0 -90
snappy/doc/_static/classic.css +0 -266
snappy/doc/_static/jquery-3.5.1.js +0 -10872
snappy/doc/_static/sidebar.js +0 -159
snappy/doc/_static/underscore-1.13.1.js +0 -2042
snappy/doc/_static/underscore.js +0 -6
snappy/doc/verify_canon.html +0 -283
snappy/ppm_to_png.py +0 -243
snappy/togl/__init__.py +0 -3
snappy/togl/darwin-tk8.6/Togl2.1/LICENSE +0 -28
snappy/togl/darwin-tk8.6/Togl2.1/libTogl2.1.dylib +0 -0
snappy/togl/darwin-tk8.6/Togl2.1/pkgIndex.tcl +0 -5
snappy/togl/linux2-x86_64-tk8.6/Togl2.1/LICENSE +0 -28
snappy/togl/linux2-x86_64-tk8.6/Togl2.1/libTogl2.1.so +0 -0
snappy/togl/linux2-x86_64-tk8.6/Togl2.1/pkgIndex.tcl +0 -5
snappy/togl/win32VC-tk8.6/Togl2.1/LICENSE +0 -28
snappy/togl/win32VC-tk8.6/Togl2.1/Togl21.dll +0 -0
snappy/togl/win32VC-tk8.6/Togl2.1/Togl21.lib +0 -0
snappy/togl/win32VC-tk8.6/Togl2.1/pkgIndex.tcl +0 -6
snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/LICENSE +0 -28
snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/Togl21.dll +0 -0
snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/Togl21.lib +0 -0
snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/pkgIndex.tcl +0 -6
snappy/verify/cuspCrossSection.py +0 -1413
snappy/verify/mathHelpers.py +0 -64
snappy-3.0.3.dist-info/RECORD +0 -360

snappy/doc/plink.html CHANGED Viewed

@@ -1,52 +1,96 @@
 <!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>Using SnapPy’s link editor &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" />
-<html>
-  <head>
-    <meta charset="utf-8" />
-    <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.17.1: http://docutils.sourceforge.net/" />
-    <title>Using SnapPy’s link editor &#8212; SnapPy 3.0.3 documentation</title>
-    <link rel="stylesheet" type="text/css" href="_static/pygments.css" />
-    <link rel="stylesheet" type="text/css" href="_static/classic.css" />
-    <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js"></script>
-    <script src="_static/jquery.js"></script>
-    <script src="_static/underscore.js"></script>
-    <script src="_static/doctools.js"></script>
+    <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="Links: planar diagrams and invariants" href="spherogram.html" />
     <link rel="prev" title="Censuses of Platonic manifolds" href="platonic_census.html" />
-  </head><body>
-    <div class="related" role="navigation" aria-label="related navigation">
-      <h3>Navigation</h3>
-      <ul>
-        <li class="right" style="margin-right: 10px">
-          <a href="genindex.html" title="General Index"
-             accesskey="I">index</a></li>
-        <li class="right" >
-          <a href="py-modindex.html" title="Python Module Index"
-             >modules</a> |</li>
-        <li class="right" >
-          <a href="spherogram.html" title="Links: planar diagrams and invariants"
-             accesskey="N">next</a> |</li>
-        <li class="right" >
-          <a href="platonic_census.html" title="Censuses of Platonic manifolds"
-             accesskey="P">previous</a> |</li>
-        <li class="nav-item nav-item-0"><a href="index.html">SnapPy 3.0.3 documentation</a> &#187;</li>
-        <li class="nav-item nav-item-this"><a href="">Using SnapPy’s link editor</a></li>
-      </ul>
-    </div>
-    <div class="document">
-      <div class="documentwrapper">
-        <div class="bodywrapper">
-          <div class="body" role="main">
+</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 current"><a class="current reference internal" href="#">Using SnapPy’s link editor</a><ul>
+<li class="toctree-l2"><a class="reference internal" href="#drawing-basics">Drawing Basics</a></li>
+<li class="toctree-l2"><a class="reference internal" href="#miscellaneous-features">Miscellaneous Features</a></li>
+</ul>
+</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">Using SnapPy’s link editor</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="using-snappy-s-link-editor">
-<h1>Using SnapPy’s link editor<a class="headerlink" href="#using-snappy-s-link-editor" title="Permalink to this headline">¶</a></h1>
+<h1>Using SnapPy’s link editor<a class="headerlink" href="#using-snappy-s-link-editor" title="Link to this heading"></a></h1>
 <p>PLink draws piecewise linear link projections.  Components may be
 points, PL arcs, or PL circles.  Line segments are oriented consistently in
 each component.  Different components are different colors.</p>
@@ -59,7 +103,7 @@ each component.  Different components are different colors.</p>
 SnapPy”, and then <em>M</em> will be the complement of the link.  If you edit
 the link, you can again do “Send to SnapPy” to update <em>M</em>.</p>
 <section id="drawing-basics">
-<h2>Drawing Basics<a class="headerlink" href="#drawing-basics" title="Permalink to this headline">¶</a></h2>
+<h2>Drawing Basics<a class="headerlink" href="#drawing-basics" title="Link to this heading"></a></h2>
 <ul class="simple">
 <li><p>When using the mouse to draw a link with PLink, you should always
 <em>click-and-release</em>.  Do not hold the mouse button down while drawing.
@@ -104,7 +148,7 @@ things, PLink will flash the drawing canvas.</p></li>
 </ul>
 </section>
 <section id="miscellaneous-features">
-<h2>Miscellaneous Features<a class="headerlink" href="#miscellaneous-features" title="Permalink to this headline">¶</a></h2>
+<h2>Miscellaneous Features<a class="headerlink" href="#miscellaneous-features" title="Link to this heading"></a></h2>
 <p>The window can be resized to allow for different sizes of link
 projections, and the arrow keys can be used to slide the projection
 around in order to make more room on one side or another.</p>
@@ -133,70 +177,34 @@ computing the Dowker-Thistlethwaite codes.</p>
 </section>
-            <div class="clearer"></div>
+           </div>
           </div>
-        </div>
-      </div>
-      <div class="sphinxsidebar" role="navigation" aria-label="main navigation">
-        <div class="sphinxsidebarwrapper">
-  <h3><a href="index.html">Table of Contents</a></h3>
-  <ul>
-<li><a class="reference internal" href="#">Using SnapPy’s link editor</a><ul>
-<li><a class="reference internal" href="#drawing-basics">Drawing Basics</a></li>
-<li><a class="reference internal" href="#miscellaneous-features">Miscellaneous Features</a></li>
-</ul>
-</li>
-</ul>
-  <h4>Previous topic</h4>
-  <p class="topless"><a href="platonic_census.html"
-                        title="previous chapter">Censuses of Platonic manifolds</a></p>
-  <h4>Next topic</h4>
-  <p class="topless"><a href="spherogram.html"
-                        title="next chapter">Links: planar diagrams and invariants</a></p>
-  <div role="note" aria-label="source link">
-    <h3>This Page</h3>
-    <ul class="this-page-menu">
-      <li><a href="_sources/plink.rst.txt"
-            rel="nofollow">Show Source</a></li>
-    </ul>
-   </div>
-<div id="searchbox" style="display: none" role="search">
-  <h3 id="searchlabel">Quick search</h3>
-    <div class="searchformwrapper">
-    <form class="search" action="search.html" method="get">
-      <input type="text" name="q" aria-labelledby="searchlabel" autocomplete="off" autocorrect="off" autocapitalize="off" spellcheck="false"/>
-      <input type="submit" value="Go" />
-    </form>
+          <footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
+        <a href="platonic_census.html" class="btn btn-neutral float-left" title="Censuses of Platonic manifolds" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
+        <a href="spherogram.html" class="btn btn-neutral float-right" title="Links: planar diagrams and invariants" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
     </div>
-</div>
-<script>$('#searchbox').show(0);</script>
+  <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>
-      <div class="clearer"></div>
-    </div>
-    <div class="related" role="navigation" aria-label="related navigation">
-      <h3>Navigation</h3>
-      <ul>
-        <li class="right" style="margin-right: 10px">
-          <a href="genindex.html" title="General Index"
-             >index</a></li>
-        <li class="right" >
-          <a href="py-modindex.html" title="Python Module Index"
-             >modules</a> |</li>
-        <li class="right" >
-          <a href="spherogram.html" title="Links: planar diagrams and invariants"
-             >next</a> |</li>
-        <li class="right" >
-          <a href="platonic_census.html" title="Censuses of Platonic manifolds"
-             >previous</a> |</li>
-        <li class="nav-item nav-item-0"><a href="index.html">SnapPy 3.0.3 documentation</a> &#187;</li>
-        <li class="nav-item nav-item-this"><a href="">Using SnapPy’s link editor</a></li>
-      </ul>
-    </div>
-    <div class="footer" role="contentinfo">
-        &#169; Copyright 2009-2021, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.
-      Created using <a href="https://www.sphinx-doc.org/">Sphinx</a> 4.3.1.
-    </div>
-  </body>
+    </section>
+  </div>
+  <script>
+      jQuery(function () {
+          SphinxRtdTheme.Navigation.enable(true);
+      });
+  </script>
+</body>
 </html>

snappy/doc/ptolemy.html CHANGED Viewed

@@ -1,55 +1,115 @@
 <!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 ptolemy module &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" />
-<html>
-  <head>
-    <meta charset="utf-8" />
-    <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.17.1: http://docutils.sourceforge.net/" />
-    <title>The ptolemy module &#8212; SnapPy 3.0.3 documentation</title>
-    <link rel="stylesheet" type="text/css" href="_static/pygments.css" />
-    <link rel="stylesheet" type="text/css" href="_static/classic.css" />
-    <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js"></script>
-    <script src="_static/jquery.js"></script>
-    <script src="_static/underscore.js"></script>
-    <script src="_static/doctools.js"></script>
+    <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="Mathematical preliminaries" href="ptolemy_prelim.html" />
     <link rel="prev" title="Other components" href="other.html" />
-  </head><body>
-    <div class="related" role="navigation" aria-label="related navigation">
-      <h3>Navigation</h3>
-      <ul>
-        <li class="right" style="margin-right: 10px">
-          <a href="genindex.html" title="General Index"
-             accesskey="I">index</a></li>
-        <li class="right" >
-          <a href="py-modindex.html" title="Python Module Index"
-             >modules</a> |</li>
-        <li class="right" >
-          <a href="ptolemy_prelim.html" title="Mathematical preliminaries"
-             accesskey="N">next</a> |</li>
-        <li class="right" >
-          <a href="other.html" title="Other components"
-             accesskey="P">previous</a> |</li>
-        <li class="nav-item nav-item-0"><a href="index.html">SnapPy 3.0.3 documentation</a> &#187;</li>
-          <li class="nav-item nav-item-1"><a href="other.html" accesskey="U">Other components</a> &#187;</li>
-        <li class="nav-item nav-item-this"><a href="">The ptolemy module</a></li>
-      </ul>
-    </div>
-    <div class="document">
-      <div class="documentwrapper">
-        <div class="bodywrapper">
-          <div class="body" role="main">
+</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="reference internal" href="other.html">Other components</a><ul class="current">
+<li class="toctree-l2 current"><a class="reference internal" href="other.html#ptolemy-module">Ptolemy module</a><ul class="current">
+<li class="toctree-l3 current"><a class="current reference internal" href="#">The ptolemy module</a><ul>
+<li class="toctree-l4"><a class="reference internal" href="#what-is-the-ptolemy-module">What is the ptolemy module?</a></li>
+<li class="toctree-l4"><a class="reference internal" href="#documentation">Documentation</a><ul>
+<li class="toctree-l5"><a class="reference internal" href="ptolemy_prelim.html">Mathematical preliminaries</a></li>
+<li class="toctree-l5"><a class="reference internal" href="ptolemy_examples1.html">Step-by-step examples: Part 1</a></li>
+<li class="toctree-l5"><a class="reference internal" href="ptolemy_examples2.html">Step-by-step examples: Part 2</a></li>
+<li class="toctree-l5"><a class="reference internal" href="ptolemy_examples3.html">Step-by-step examples: Part 3</a></li>
+<li class="toctree-l5"><a class="reference internal" href="ptolemy_examples4.html">Step-by-step examples: Part 4</a></li>
+<li class="toctree-l5"><a class="reference internal" href="ptolemy_classes.html">Classes</a></li>
+</ul>
+</li>
+</ul>
+</li>
+</ul>
+</li>
+<li class="toctree-l2"><a class="reference internal" href="other.html#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"><a href="other.html">Other components</a></li>
+      <li class="breadcrumb-item active">The ptolemy module</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="module-snappy.ptolemy">
-<span id="the-ptolemy-module"></span><h1>The ptolemy module<a class="headerlink" href="#module-snappy.ptolemy" title="Permalink to this headline">¶</a></h1>
+<span id="the-ptolemy-module"></span><h1>The ptolemy module<a class="headerlink" href="#module-snappy.ptolemy" title="Link to this heading"></a></h1>
 <section id="what-is-the-ptolemy-module">
-<h2>What is the ptolemy module?<a class="headerlink" href="#what-is-the-ptolemy-module" title="Permalink to this headline">¶</a></h2>
+<h2>What is the ptolemy module?<a class="headerlink" href="#what-is-the-ptolemy-module" title="Link to this heading"></a></h2>
 <p>This module provides tools to find boundary-unipotent representations of an
 oriented
 3-manifold into PSL(<em>N</em>, <strong>C</strong>). It was used, for example, to generate the tables
@@ -73,7 +133,7 @@ This makes it useful for people who do not have magma (see <a class="reference i
 <li><p>Compute the matrices for these representations <a class="reference internal" href="ptolemy_examples1.html#ptolemy-example-matrices"><span class="std std-ref">exactly</span></a> or <a class="reference internal" href="ptolemy_examples2.html#ptolemy-example-numerical-matrix"><span class="std std-ref">numerically</span></a> given a generator of or word in the fundamental group.</p></li>
 <li><p>Compute the <a class="reference internal" href="ptolemy_examples1.html#ptolemy-example-traces"><span class="std std-ref">traces</span></a> for these matrices.</p></li>
 <li><p>Compute the <a class="reference internal" href="ptolemy_examples1.html#ptolemy-examples-trace-field"><span class="std std-ref">trace field</span></a> of the representation.</p></li>
-<li><p>Compute the <a class="reference internal" href="ptolemy_examples3.html#ptolemy-example-boundary-holonomy"><span class="std std-ref">boundary holonomoy</span></a>.</p></li>
+<li><p>Compute the <a class="reference internal" href="ptolemy_examples3.html#ptolemy-example-boundary-holonomy"><span class="std std-ref">boundary holonomy</span></a>.</p></li>
 <li><p>Compute the corresponding <a class="reference internal" href="ptolemy_examples2.html#ptolemy-example-cross-ratios"><span class="std std-ref">shape parameters/cross ratios</span></a> for a representation.</p></li>
 <li><p>Compute the <a class="reference internal" href="ptolemy_examples1.html#ptolemy-example-volume"><span class="std std-ref">volume</span></a> and <a class="reference internal" href="ptolemy_examples3.html#ptolemy-example-complex-volume"><span class="std std-ref">complex volume</span></a> (volume + i Chern-Simons) for a representation.</p></li>
 <li><p>Compute solutions to the Ptolemy varieties <a class="reference internal" href="ptolemy_examples3.html#ptolemy-example-using-magma-sage"><span class="std std-ref">using magma or sage</span></a>.</p></li>
@@ -90,7 +150,7 @@ This makes it useful for people who do not have magma (see <a class="reference i
 <p><strong>Remark:</strong> Please check your Internet connection if the above example does not work.</p>
 </section>
 <section id="documentation">
-<h2>Documentation<a class="headerlink" href="#documentation" title="Permalink to this headline">¶</a></h2>
+<h2>Documentation<a class="headerlink" href="#documentation" title="Link to this heading"></a></h2>
 <div class="toctree-wrapper compound">
 <ul>
 <li class="toctree-l1"><a class="reference internal" href="ptolemy_prelim.html">Mathematical preliminaries</a><ul>
@@ -161,71 +221,34 @@ This makes it useful for people who do not have magma (see <a class="reference i
 </section>
-            <div class="clearer"></div>
+           </div>
           </div>
-        </div>
-      </div>
-      <div class="sphinxsidebar" role="navigation" aria-label="main navigation">
-        <div class="sphinxsidebarwrapper">
-  <h3><a href="index.html">Table of Contents</a></h3>
-  <ul>
-<li><a class="reference internal" href="#">The ptolemy module</a><ul>
-<li><a class="reference internal" href="#what-is-the-ptolemy-module">What is the ptolemy module?</a></li>
-<li><a class="reference internal" href="#documentation">Documentation</a></li>
-</ul>
-</li>
-</ul>
-  <h4>Previous topic</h4>
-  <p class="topless"><a href="other.html"
-                        title="previous chapter">Other components</a></p>
-  <h4>Next topic</h4>
-  <p class="topless"><a href="ptolemy_prelim.html"
-                        title="next chapter">Mathematical preliminaries</a></p>
-  <div role="note" aria-label="source link">
-    <h3>This Page</h3>
-    <ul class="this-page-menu">
-      <li><a href="_sources/ptolemy.rst.txt"
-            rel="nofollow">Show Source</a></li>
-    </ul>
-   </div>
-<div id="searchbox" style="display: none" role="search">
-  <h3 id="searchlabel">Quick search</h3>
-    <div class="searchformwrapper">
-    <form class="search" action="search.html" method="get">
-      <input type="text" name="q" aria-labelledby="searchlabel" autocomplete="off" autocorrect="off" autocapitalize="off" spellcheck="false"/>
-      <input type="submit" value="Go" />
-    </form>
+          <footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
+        <a href="other.html" class="btn btn-neutral float-left" title="Other components" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
+        <a href="ptolemy_prelim.html" class="btn btn-neutral float-right" title="Mathematical preliminaries" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
     </div>
-</div>
-<script>$('#searchbox').show(0);</script>
+  <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>
-      <div class="clearer"></div>
-    </div>
-    <div class="related" role="navigation" aria-label="related navigation">
-      <h3>Navigation</h3>
-      <ul>
-        <li class="right" style="margin-right: 10px">
-          <a href="genindex.html" title="General Index"
-             >index</a></li>
-        <li class="right" >
-          <a href="py-modindex.html" title="Python Module Index"
-             >modules</a> |</li>
-        <li class="right" >
-          <a href="ptolemy_prelim.html" title="Mathematical preliminaries"
-             >next</a> |</li>
-        <li class="right" >
-          <a href="other.html" title="Other components"
-             >previous</a> |</li>
-        <li class="nav-item nav-item-0"><a href="index.html">SnapPy 3.0.3 documentation</a> &#187;</li>
-          <li class="nav-item nav-item-1"><a href="other.html" >Other components</a> &#187;</li>
-        <li class="nav-item nav-item-this"><a href="">The ptolemy module</a></li>
-      </ul>
-    </div>
-    <div class="footer" role="contentinfo">
-        &#169; Copyright 2009-2021, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.
-      Created using <a href="https://www.sphinx-doc.org/">Sphinx</a> 4.3.1.
-    </div>
-  </body>
+    </section>
+  </div>
+  <script>
+      jQuery(function () {
+          SphinxRtdTheme.Navigation.enable(true);
+      });
+  </script>
+</body>
 </html>