snappy 3.1.1__cp38-cp38-win_amd64.whl → 3.2__cp38-cp38-win_amd64.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- snappy/CyOpenGL.cp38-win_amd64.pyd +0 -0
- snappy/SnapPy.cp38-win_amd64.pyd +0 -0
- snappy/SnapPyHP.cp38-win_amd64.pyd +0 -0
- snappy/__init__.py +299 -402
- snappy/app.py +70 -20
- snappy/browser.py +18 -17
- snappy/canonical.py +249 -0
- snappy/{verify/cusp_shapes.py → cusps/__init__.py} +8 -18
- snappy/cusps/cusp_area_matrix.py +101 -0
- snappy/{verify/cusp_areas.py → cusps/cusp_areas_from_matrix.py} +23 -39
- snappy/cusps/maximal_cusp_area_matrix.py +136 -0
- snappy/cusps/test.py +21 -0
- snappy/cusps/trig_cusp_area_matrix.py +63 -0
- snappy/database.py +10 -9
- snappy/decorated_isosig.py +337 -114
- snappy/dev/extended_ptolemy/complexVolumesClosed.py +40 -7
- snappy/dev/extended_ptolemy/extended.py +3 -3
- snappy/dev/extended_ptolemy/phc_wrapper.py +10 -10
- snappy/dev/vericlosed/oneVertexTruncatedComplex.py +1 -1
- snappy/doc/_images/m004_paper_plane_on_systole.jpg +0 -0
- snappy/doc/_images/m125_paper_plane.jpg +0 -0
- snappy/doc/_images/o9_00000_systole_paper_plane.jpg +0 -0
- snappy/doc/_images/o9_00000_systole_paper_plane_closer.jpg +0 -0
- snappy/doc/_sources/additional_classes.rst.txt +40 -40
- snappy/doc/_sources/bugs.rst.txt +14 -14
- snappy/doc/_sources/censuses.rst.txt +51 -51
- snappy/doc/_sources/credits.rst.txt +75 -75
- snappy/doc/_sources/development.rst.txt +259 -239
- snappy/doc/_sources/index.rst.txt +182 -115
- snappy/doc/_sources/installing.rst.txt +247 -264
- snappy/doc/_sources/manifold.rst.txt +6 -6
- snappy/doc/_sources/manifoldhp.rst.txt +46 -46
- snappy/doc/_sources/news.rst.txt +355 -283
- snappy/doc/_sources/other.rst.txt +25 -25
- snappy/doc/_sources/platonic_census.rst.txt +20 -20
- snappy/doc/_sources/plink.rst.txt +102 -102
- snappy/doc/_sources/ptolemy.rst.txt +66 -66
- snappy/doc/_sources/ptolemy_classes.rst.txt +42 -42
- snappy/doc/_sources/ptolemy_examples1.rst.txt +298 -297
- snappy/doc/_sources/ptolemy_examples2.rst.txt +363 -363
- snappy/doc/_sources/ptolemy_examples3.rst.txt +301 -301
- snappy/doc/_sources/ptolemy_examples4.rst.txt +61 -61
- snappy/doc/_sources/ptolemy_prelim.rst.txt +105 -105
- snappy/doc/_sources/screenshots.rst.txt +21 -21
- snappy/doc/_sources/snap.rst.txt +87 -87
- snappy/doc/_sources/snappy.rst.txt +28 -28
- snappy/doc/_sources/spherogram.rst.txt +103 -103
- snappy/doc/_sources/todo.rst.txt +47 -47
- snappy/doc/_sources/triangulation.rst.txt +11 -11
- snappy/doc/_sources/tutorial.rst.txt +49 -49
- snappy/doc/_sources/verify.rst.txt +210 -150
- snappy/doc/_sources/verify_internals.rst.txt +79 -90
- snappy/doc/_static/basic.css +924 -902
- snappy/doc/_static/css/badge_only.css +1 -1
- snappy/doc/_static/css/theme.css +1 -1
- snappy/doc/_static/doctools.js +1 -1
- snappy/doc/_static/documentation_options.js +12 -13
- snappy/doc/_static/fonts/Lato/lato-bold.eot +0 -0
- snappy/doc/_static/fonts/Lato/lato-bold.ttf +0 -0
- snappy/doc/_static/fonts/Lato/lato-bold.woff +0 -0
- snappy/doc/_static/fonts/Lato/lato-bold.woff2 +0 -0
- snappy/doc/_static/fonts/Lato/lato-bolditalic.eot +0 -0
- snappy/doc/_static/fonts/Lato/lato-bolditalic.ttf +0 -0
- snappy/doc/_static/fonts/Lato/lato-bolditalic.woff +0 -0
- snappy/doc/_static/fonts/Lato/lato-bolditalic.woff2 +0 -0
- snappy/doc/_static/fonts/Lato/lato-italic.eot +0 -0
- snappy/doc/_static/fonts/Lato/lato-italic.ttf +0 -0
- snappy/doc/_static/fonts/Lato/lato-italic.woff +0 -0
- snappy/doc/_static/fonts/Lato/lato-italic.woff2 +0 -0
- snappy/doc/_static/fonts/Lato/lato-regular.eot +0 -0
- snappy/doc/_static/fonts/Lato/lato-regular.ttf +0 -0
- snappy/doc/_static/fonts/Lato/lato-regular.woff +0 -0
- snappy/doc/_static/fonts/Lato/lato-regular.woff2 +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.eot +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.ttf +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff2 +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.eot +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.ttf +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff2 +0 -0
- snappy/doc/_static/js/versions.js +228 -0
- snappy/doc/_static/language_data.js +199 -199
- snappy/doc/_static/pygments.css +74 -73
- snappy/doc/_static/searchtools.js +125 -71
- snappy/doc/_static/snappy_furo.css +33 -33
- snappy/doc/_static/snappy_sphinx_rtd_theme.css +42 -42
- snappy/doc/_static/sphinx_highlight.js +13 -3
- snappy/doc/additional_classes.html +1499 -1330
- snappy/doc/bugs.html +131 -134
- snappy/doc/censuses.html +426 -445
- snappy/doc/credits.html +180 -183
- snappy/doc/development.html +383 -363
- snappy/doc/genindex.html +1330 -1409
- snappy/doc/index.html +261 -206
- snappy/doc/installing.html +345 -363
- snappy/doc/manifold.html +3451 -2839
- snappy/doc/manifoldhp.html +179 -182
- snappy/doc/news.html +387 -329
- snappy/doc/objects.inv +0 -0
- snappy/doc/other.html +160 -162
- snappy/doc/platonic_census.html +374 -377
- snappy/doc/plink.html +209 -212
- snappy/doc/ptolemy.html +253 -255
- snappy/doc/ptolemy_classes.html +1143 -1146
- snappy/doc/ptolemy_examples1.html +408 -410
- snappy/doc/ptolemy_examples2.html +470 -473
- snappy/doc/ptolemy_examples3.html +413 -416
- snappy/doc/ptolemy_examples4.html +194 -197
- snappy/doc/ptolemy_prelim.html +247 -250
- snappy/doc/py-modindex.html +164 -167
- snappy/doc/screenshots.html +140 -142
- snappy/doc/search.html +134 -137
- snappy/doc/searchindex.js +1 -1
- snappy/doc/snap.html +201 -204
- snappy/doc/snappy.html +180 -182
- snappy/doc/spherogram.html +1210 -1213
- snappy/doc/todo.html +165 -168
- snappy/doc/triangulation.html +1583 -1474
- snappy/doc/tutorial.html +158 -161
- snappy/doc/verify.html +329 -275
- snappy/doc/verify_internals.html +1234 -1691
- snappy/drilling/__init__.py +153 -235
- snappy/drilling/barycentric.py +103 -0
- snappy/drilling/constants.py +0 -2
- snappy/drilling/crush.py +56 -130
- snappy/drilling/cusps.py +12 -6
- snappy/drilling/debug.py +2 -1
- snappy/drilling/exceptions.py +7 -40
- snappy/drilling/moves.py +302 -243
- snappy/drilling/perturb.py +63 -37
- snappy/drilling/shorten.py +36 -0
- snappy/drilling/subdivide.py +0 -5
- snappy/drilling/test.py +23 -0
- snappy/drilling/test_cases.py +126 -0
- snappy/drilling/tracing.py +9 -37
- snappy/exceptions.py +18 -5
- snappy/exterior_to_link/barycentric_geometry.py +2 -4
- snappy/exterior_to_link/main.py +8 -7
- snappy/exterior_to_link/mcomplex_with_link.py +2 -2
- snappy/exterior_to_link/rational_linear_algebra.py +1 -1
- snappy/exterior_to_link/rational_linear_algebra_wrapped.py +1 -1
- snappy/exterior_to_link/test.py +21 -33
- snappy/geometric_structure/__init__.py +212 -0
- snappy/geometric_structure/cusp_neighborhood/__init__.py +3 -0
- snappy/geometric_structure/cusp_neighborhood/complex_cusp_cross_section.py +697 -0
- snappy/geometric_structure/cusp_neighborhood/cusp_cross_section_base.py +484 -0
- snappy/geometric_structure/cusp_neighborhood/exceptions.py +42 -0
- snappy/geometric_structure/cusp_neighborhood/real_cusp_cross_section.py +298 -0
- snappy/geometric_structure/cusp_neighborhood/tiles_for_cusp_neighborhood.py +159 -0
- snappy/geometric_structure/cusp_neighborhood/vertices.py +32 -0
- snappy/geometric_structure/geodesic/__init__.py +0 -0
- snappy/geometric_structure/geodesic/add_core_curves.py +152 -0
- snappy/geometric_structure/geodesic/avoid_core_curves.py +369 -0
- snappy/geometric_structure/geodesic/canonical_keys.py +52 -0
- snappy/geometric_structure/geodesic/check_away_from_core_curve.py +60 -0
- snappy/geometric_structure/geodesic/constants.py +6 -0
- snappy/geometric_structure/geodesic/exceptions.py +22 -0
- snappy/{drilling → geometric_structure/geodesic}/fixed_points.py +34 -9
- snappy/{drilling/geodesic_info.py → geometric_structure/geodesic/geodesic_start_point_info.py} +139 -180
- snappy/geometric_structure/geodesic/graph_trace_helper.py +67 -0
- snappy/geometric_structure/geodesic/line.py +30 -0
- snappy/geometric_structure/geodesic/multiplicity.py +127 -0
- snappy/geometric_structure/geodesic/tiles_for_geodesic.py +101 -0
- snappy/geometric_structure/test.py +22 -0
- snappy/gui.py +23 -13
- snappy/horoviewer.py +7 -7
- snappy/hyperboloid/__init__.py +96 -31
- snappy/hyperboloid/distances.py +245 -0
- snappy/hyperboloid/horoball.py +19 -0
- snappy/hyperboloid/line.py +35 -0
- snappy/hyperboloid/point.py +9 -0
- snappy/hyperboloid/triangle.py +29 -0
- snappy/isometry_signature.py +382 -0
- snappy/len_spec/__init__.py +596 -0
- snappy/len_spec/geodesic_info.py +110 -0
- snappy/len_spec/geodesic_key_info_dict.py +117 -0
- snappy/len_spec/geodesic_piece.py +143 -0
- snappy/len_spec/geometric_structure.py +182 -0
- snappy/len_spec/geometry.py +80 -0
- snappy/len_spec/length_spectrum_geodesic_info.py +170 -0
- snappy/len_spec/spine.py +206 -0
- snappy/len_spec/test.py +24 -0
- snappy/len_spec/test_cases.py +69 -0
- snappy/len_spec/tile.py +275 -0
- snappy/len_spec/word.py +86 -0
- snappy/math_basics.py +39 -13
- snappy/matrix.py +52 -9
- snappy/number.py +12 -6
- snappy/numeric_output_checker.py +2 -3
- snappy/pari.py +8 -4
- snappy/phone_home.py +2 -1
- snappy/polyviewer.py +8 -8
- snappy/ptolemy/__init__.py +1 -1
- snappy/ptolemy/component.py +2 -2
- snappy/ptolemy/coordinates.py +25 -25
- snappy/ptolemy/findLoops.py +9 -9
- snappy/ptolemy/manifoldMethods.py +27 -29
- snappy/ptolemy/polynomial.py +50 -57
- snappy/ptolemy/processFileBase.py +60 -0
- snappy/ptolemy/ptolemyVariety.py +109 -41
- snappy/ptolemy/reginaWrapper.py +4 -4
- snappy/ptolemy/rur.py +1 -1
- snappy/ptolemy/solutionsToPrimeIdealGroebnerBasis.py +9 -9
- snappy/ptolemy/test.py +99 -54
- snappy/ptolemy/utilities.py +1 -1
- snappy/raytracing/__init__.py +64 -0
- snappy/raytracing/additional_horospheres.py +64 -0
- snappy/raytracing/additional_len_spec_choices.py +63 -0
- snappy/raytracing/cohomology_fractal.py +0 -3
- snappy/raytracing/eyeball.py +123 -0
- snappy/raytracing/finite_raytracing_data.py +17 -17
- snappy/raytracing/finite_viewer.py +15 -15
- snappy/raytracing/geodesic_tube_info.py +93 -63
- snappy/raytracing/geodesics.py +94 -64
- snappy/raytracing/geodesics_window.py +56 -34
- snappy/raytracing/gui_utilities.py +21 -6
- snappy/raytracing/hyperboloid_navigation.py +29 -4
- snappy/raytracing/hyperboloid_utilities.py +73 -73
- snappy/raytracing/ideal_raytracing_data.py +121 -91
- snappy/raytracing/inside_viewer.py +199 -66
- snappy/raytracing/pack.py +22 -0
- snappy/raytracing/raytracing_data.py +37 -25
- snappy/raytracing/raytracing_view.py +70 -65
- snappy/raytracing/shaders/Eye.png +0 -0
- snappy/raytracing/shaders/NonGeometric.png +0 -0
- snappy/raytracing/shaders/__init__.py +39 -3
- snappy/raytracing/shaders/fragment.glsl +451 -133
- snappy/raytracing/test.py +29 -0
- snappy/raytracing/tooltip.py +146 -0
- snappy/raytracing/upper_halfspace_utilities.py +42 -9
- snappy/sage_helper.py +67 -134
- snappy/settings.py +90 -77
- snappy/shell.py +2 -0
- snappy/snap/character_varieties.py +2 -2
- snappy/snap/find_field.py +4 -3
- snappy/snap/fundamental_polyhedron.py +2 -2
- snappy/snap/kernel_structures.py +5 -1
- snappy/snap/nsagetools.py +9 -8
- snappy/snap/peripheral/dual_cellulation.py +4 -3
- snappy/snap/peripheral/peripheral.py +2 -2
- snappy/snap/peripheral/surface.py +5 -5
- snappy/snap/peripheral/test.py +1 -1
- snappy/snap/polished_reps.py +8 -8
- snappy/snap/slice_obs_HKL.py +16 -14
- snappy/snap/t3mlite/arrow.py +3 -3
- snappy/snap/t3mlite/edge.py +3 -3
- snappy/snap/t3mlite/homology.py +2 -2
- snappy/snap/t3mlite/mcomplex.py +3 -3
- snappy/snap/t3mlite/simplex.py +12 -0
- snappy/snap/t3mlite/spun.py +18 -17
- snappy/snap/t3mlite/test_vs_regina.py +4 -4
- snappy/snap/test.py +37 -53
- snappy/snap/utilities.py +4 -5
- snappy/test.py +121 -138
- snappy/test_cases.py +263 -0
- snappy/testing.py +131 -0
- snappy/tiling/__init__.py +2 -0
- snappy/tiling/canonical_key_dict.py +59 -0
- snappy/tiling/dict_based_set.py +79 -0
- snappy/tiling/floor.py +49 -0
- snappy/tiling/hyperboloid_dict.py +54 -0
- snappy/tiling/iter_utils.py +78 -0
- snappy/tiling/lifted_tetrahedron.py +22 -0
- snappy/tiling/lifted_tetrahedron_set.py +54 -0
- snappy/tiling/real_hash_dict.py +164 -0
- snappy/tiling/test.py +23 -0
- snappy/tiling/tile.py +215 -0
- snappy/tiling/triangle.py +33 -0
- snappy/tkterminal.py +113 -84
- snappy/twister/main.py +1 -7
- snappy/twister/twister_core.cp38-win_amd64.pyd +0 -0
- snappy/upper_halfspace/__init__.py +78 -17
- snappy/verify/__init__.py +3 -7
- snappy/verify/{verifyCanonical.py → canonical.py} +78 -70
- snappy/verify/complex_volume/adjust_torsion.py +1 -2
- snappy/verify/complex_volume/closed.py +13 -13
- snappy/verify/complex_volume/cusped.py +6 -6
- snappy/verify/complex_volume/extended_bloch.py +5 -8
- snappy/verify/{cuspTranslations.py → cusp_translations.py} +1 -1
- snappy/verify/edge_equations.py +80 -0
- snappy/verify/exceptions.py +0 -55
- snappy/verify/{verifyHyperbolicity.py → hyperbolicity.py} +3 -3
- snappy/verify/interval_newton_shapes_engine.py +7 -5
- snappy/verify/interval_tree.py +5 -5
- snappy/verify/krawczyk_shapes_engine.py +17 -18
- snappy/verify/maximal_cusp_area_matrix/__init__.py +7 -74
- snappy/verify/maximal_cusp_area_matrix/cusp_tiling_engine.py +3 -4
- snappy/verify/maximal_cusp_area_matrix/cusp_translate_engine.py +1 -1
- snappy/verify/{realAlgebra.py → real_algebra.py} +1 -1
- snappy/verify/shapes.py +5 -3
- snappy/verify/short_slopes.py +39 -41
- snappy/verify/{squareExtensions.py → square_extensions.py} +14 -11
- snappy/verify/test.py +57 -60
- snappy/verify/upper_halfspace/extended_matrix.py +1 -1
- snappy/verify/upper_halfspace/finite_point.py +3 -4
- snappy/verify/upper_halfspace/ideal_point.py +9 -9
- snappy/verify/volume.py +2 -2
- snappy/version.py +2 -2
- {snappy-3.1.1.dist-info → snappy-3.2.dist-info}/METADATA +14 -10
- snappy-3.2.dist-info/RECORD +503 -0
- {snappy-3.1.1.dist-info → snappy-3.2.dist-info}/WHEEL +1 -1
- {snappy-3.1.1.dist-info → snappy-3.2.dist-info}/top_level.txt +6 -1
- snappy/__pycache__/__init__.cpython-38.pyc +0 -0
- snappy/__pycache__/browser.cpython-38.pyc +0 -0
- snappy/__pycache__/cache.cpython-38.pyc +0 -0
- snappy/__pycache__/database.cpython-38.pyc +0 -0
- snappy/__pycache__/db_utilities.cpython-38.pyc +0 -0
- snappy/__pycache__/decorated_isosig.cpython-38.pyc +0 -0
- snappy/__pycache__/exceptions.cpython-38.pyc +0 -0
- snappy/__pycache__/export_stl.cpython-38.pyc +0 -0
- snappy/__pycache__/filedialog.cpython-38.pyc +0 -0
- snappy/__pycache__/gui.cpython-38.pyc +0 -0
- snappy/__pycache__/horoviewer.cpython-38.pyc +0 -0
- snappy/__pycache__/math_basics.cpython-38.pyc +0 -0
- snappy/__pycache__/matrix.cpython-38.pyc +0 -0
- snappy/__pycache__/number.cpython-38.pyc +0 -0
- snappy/__pycache__/numeric_output_checker.cpython-38.pyc +0 -0
- snappy/__pycache__/pari.cpython-38.pyc +0 -0
- snappy/__pycache__/polyviewer.cpython-38.pyc +0 -0
- snappy/__pycache__/sage_helper.cpython-38.pyc +0 -0
- snappy/__pycache__/version.cpython-38.pyc +0 -0
- snappy/doc/_sources/verify_canon.rst.txt +0 -90
- snappy/doc/_static/jquery-3.6.0.js +0 -10881
- snappy/doc/_static/js/html5shiv-printshiv.min.js +0 -4
- snappy/doc/_static/js/html5shiv.min.js +0 -4
- snappy/doc/_static/underscore-1.13.1.js +0 -2042
- snappy/doc/_static/underscore.js +0 -6
- snappy/doc/verify_canon.html +0 -304
- snappy/drilling/__pycache__/__init__.cpython-38.pyc +0 -0
- snappy/drilling/__pycache__/constants.cpython-38.pyc +0 -0
- snappy/drilling/__pycache__/crush.cpython-38.pyc +0 -0
- snappy/drilling/__pycache__/cusps.cpython-38.pyc +0 -0
- snappy/drilling/__pycache__/debug.cpython-38.pyc +0 -0
- snappy/drilling/__pycache__/epsilons.cpython-38.pyc +0 -0
- snappy/drilling/__pycache__/exceptions.cpython-38.pyc +0 -0
- snappy/drilling/__pycache__/fixed_points.cpython-38.pyc +0 -0
- snappy/drilling/__pycache__/geodesic_info.cpython-38.pyc +0 -0
- snappy/drilling/__pycache__/geodesic_tube.cpython-38.pyc +0 -0
- snappy/drilling/__pycache__/geometric_structure.cpython-38.pyc +0 -0
- snappy/drilling/__pycache__/line.cpython-38.pyc +0 -0
- snappy/drilling/__pycache__/moves.cpython-38.pyc +0 -0
- snappy/drilling/__pycache__/peripheral_curves.cpython-38.pyc +0 -0
- snappy/drilling/__pycache__/perturb.cpython-38.pyc +0 -0
- snappy/drilling/__pycache__/quotient_space.cpython-38.pyc +0 -0
- snappy/drilling/__pycache__/spatial_dict.cpython-38.pyc +0 -0
- snappy/drilling/__pycache__/subdivide.cpython-38.pyc +0 -0
- snappy/drilling/__pycache__/tracing.cpython-38.pyc +0 -0
- snappy/drilling/geodesic_tube.py +0 -441
- snappy/drilling/geometric_structure.py +0 -366
- snappy/drilling/line.py +0 -122
- snappy/drilling/quotient_space.py +0 -94
- snappy/drilling/spatial_dict.py +0 -128
- snappy/exterior_to_link/__pycache__/__init__.cpython-38.pyc +0 -0
- snappy/exterior_to_link/__pycache__/barycentric_geometry.cpython-38.pyc +0 -0
- snappy/exterior_to_link/__pycache__/exceptions.cpython-38.pyc +0 -0
- snappy/exterior_to_link/__pycache__/hyp_utils.cpython-38.pyc +0 -0
- snappy/exterior_to_link/__pycache__/link_projection.cpython-38.pyc +0 -0
- snappy/exterior_to_link/__pycache__/main.cpython-38.pyc +0 -0
- snappy/exterior_to_link/__pycache__/mcomplex_with_expansion.cpython-38.pyc +0 -0
- snappy/exterior_to_link/__pycache__/mcomplex_with_link.cpython-38.pyc +0 -0
- snappy/exterior_to_link/__pycache__/mcomplex_with_memory.cpython-38.pyc +0 -0
- snappy/exterior_to_link/__pycache__/pl_utils.cpython-38.pyc +0 -0
- snappy/exterior_to_link/__pycache__/put_in_S3.cpython-38.pyc +0 -0
- snappy/exterior_to_link/__pycache__/rational_linear_algebra.cpython-38.pyc +0 -0
- snappy/exterior_to_link/__pycache__/simplify_to_base_tri.cpython-38.pyc +0 -0
- snappy/exterior_to_link/__pycache__/stored_moves.cpython-38.pyc +0 -0
- snappy/hyperboloid/__pycache__/__init__.cpython-38.pyc +0 -0
- snappy/manifolds/__pycache__/__init__.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/__init__.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/component.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/coordinates.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/fieldExtensions.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/findLoops.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/homology.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/manifoldMethods.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/matrix.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/numericalSolutionsToGroebnerBasis.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/polynomial.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/processComponents.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/processFileBase.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/processFileDispatch.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/processMagmaFile.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/processRurFile.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/ptolemyGeneralizedObstructionClass.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/ptolemyObstructionClass.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/ptolemyVariety.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/ptolemyVarietyPrimeIdealGroebnerBasis.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/rur.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/solutionsToPrimeIdealGroebnerBasis.cpython-38.pyc +0 -0
- snappy/ptolemy/__pycache__/utilities.cpython-38.pyc +0 -0
- snappy/snap/__pycache__/__init__.cpython-38.pyc +0 -0
- snappy/snap/__pycache__/character_varieties.cpython-38.pyc +0 -0
- snappy/snap/__pycache__/fundamental_polyhedron.cpython-38.pyc +0 -0
- snappy/snap/__pycache__/interval_reps.cpython-38.pyc +0 -0
- snappy/snap/__pycache__/kernel_structures.cpython-38.pyc +0 -0
- snappy/snap/__pycache__/mcomplex_base.cpython-38.pyc +0 -0
- snappy/snap/__pycache__/nsagetools.cpython-38.pyc +0 -0
- snappy/snap/__pycache__/polished_reps.cpython-38.pyc +0 -0
- snappy/snap/__pycache__/shapes.cpython-38.pyc +0 -0
- snappy/snap/__pycache__/slice_obs_HKL.cpython-38.pyc +0 -0
- snappy/snap/__pycache__/utilities.cpython-38.pyc +0 -0
- snappy/snap/peripheral/__pycache__/__init__.cpython-38.pyc +0 -0
- snappy/snap/peripheral/__pycache__/dual_cellulation.cpython-38.pyc +0 -0
- snappy/snap/peripheral/__pycache__/link.cpython-38.pyc +0 -0
- snappy/snap/peripheral/__pycache__/peripheral.cpython-38.pyc +0 -0
- snappy/snap/peripheral/__pycache__/surface.cpython-38.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/__init__.cpython-38.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/arrow.cpython-38.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/corner.cpython-38.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/edge.cpython-38.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/face.cpython-38.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/files.cpython-38.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/homology.cpython-38.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/linalg.cpython-38.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/mcomplex.cpython-38.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/perm4.cpython-38.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/simplex.cpython-38.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/spun.cpython-38.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/surface.cpython-38.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/tetrahedron.cpython-38.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/vertex.cpython-38.pyc +0 -0
- snappy/togl/__init__.py +0 -3
- snappy/togl/darwin-tk8.6/Togl2.1/LICENSE +0 -28
- snappy/togl/darwin-tk8.6/Togl2.1/libTogl2.1.dylib +0 -0
- snappy/togl/darwin-tk8.6/Togl2.1/pkgIndex.tcl +0 -5
- snappy/togl/darwin-tk8.7/Togl2.1/LICENSE +0 -28
- snappy/togl/darwin-tk8.7/Togl2.1/libTogl2.1.dylib +0 -0
- snappy/togl/darwin-tk8.7/Togl2.1/pkgIndex.tcl +0 -5
- snappy/togl/linux2-x86_64-tk8.6/Togl2.1/LICENSE +0 -28
- snappy/togl/linux2-x86_64-tk8.6/Togl2.1/libTogl2.1.so +0 -0
- snappy/togl/linux2-x86_64-tk8.6/Togl2.1/pkgIndex.tcl +0 -5
- snappy/togl/win32VC-tk8.6/Togl2.1/LICENSE +0 -28
- snappy/togl/win32VC-tk8.6/Togl2.1/Togl21.dll +0 -0
- snappy/togl/win32VC-tk8.6/Togl2.1/Togl21.lib +0 -0
- snappy/togl/win32VC-tk8.6/Togl2.1/pkgIndex.tcl +0 -6
- snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/LICENSE +0 -28
- snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/Togl21.dll +0 -0
- snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/Togl21.lib +0 -0
- snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/pkgIndex.tcl +0 -6
- snappy/twister/__pycache__/__init__.cpython-38.pyc +0 -0
- snappy/twister/__pycache__/main.cpython-38.pyc +0 -0
- snappy/upper_halfspace/__pycache__/__init__.cpython-38.pyc +0 -0
- snappy/upper_halfspace/__pycache__/ideal_point.cpython-38.pyc +0 -0
- snappy/verify/__pycache__/__init__.cpython-38.pyc +0 -0
- snappy/verify/__pycache__/cuspCrossSection.cpython-38.pyc +0 -0
- snappy/verify/__pycache__/cuspTranslations.cpython-38.pyc +0 -0
- snappy/verify/__pycache__/cusp_areas.cpython-38.pyc +0 -0
- snappy/verify/__pycache__/cusp_shapes.cpython-38.pyc +0 -0
- snappy/verify/__pycache__/exceptions.cpython-38.pyc +0 -0
- snappy/verify/__pycache__/interval_newton_shapes_engine.cpython-38.pyc +0 -0
- snappy/verify/__pycache__/interval_tree.cpython-38.pyc +0 -0
- snappy/verify/__pycache__/krawczyk_shapes_engine.cpython-38.pyc +0 -0
- snappy/verify/__pycache__/realAlgebra.cpython-38.pyc +0 -0
- snappy/verify/__pycache__/shapes.cpython-38.pyc +0 -0
- snappy/verify/__pycache__/short_slopes.cpython-38.pyc +0 -0
- snappy/verify/__pycache__/squareExtensions.cpython-38.pyc +0 -0
- snappy/verify/__pycache__/verifyCanonical.cpython-38.pyc +0 -0
- snappy/verify/__pycache__/verifyHyperbolicity.cpython-38.pyc +0 -0
- snappy/verify/__pycache__/volume.cpython-38.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/__init__.cpython-38.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/adjust_torsion.cpython-38.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/closed.cpython-38.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/compute_ptolemys.cpython-38.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/cusped.cpython-38.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/extended_bloch.cpython-38.pyc +0 -0
- snappy/verify/cuspCrossSection.py +0 -1422
- snappy/verify/maximal_cusp_area_matrix/__pycache__/__init__.cpython-38.pyc +0 -0
- snappy/verify/maximal_cusp_area_matrix/__pycache__/cusp_tiling_engine.cpython-38.pyc +0 -0
- snappy/verify/maximal_cusp_area_matrix/__pycache__/cusp_translate_engine.cpython-38.pyc +0 -0
- snappy/verify/upper_halfspace/__pycache__/__init__.cpython-38.pyc +0 -0
- snappy/verify/upper_halfspace/__pycache__/extended_matrix.cpython-38.pyc +0 -0
- snappy/verify/upper_halfspace/__pycache__/finite_point.cpython-38.pyc +0 -0
- snappy/verify/upper_halfspace/__pycache__/ideal_point.cpython-38.pyc +0 -0
- snappy-3.1.1.dist-info/RECORD +0 -575
- {snappy-3.1.1.dist-info → snappy-3.2.dist-info}/entry_points.txt +0 -0
snappy/doc/ptolemy.html
CHANGED
|
@@ -1,256 +1,254 @@
|
|
|
1
|
-
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
<meta name="viewport" content="width=device-width, initial-scale=1
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
<link rel="stylesheet"
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
<
|
|
23
|
-
<link rel="
|
|
24
|
-
<link rel="
|
|
25
|
-
<link rel="
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
<
|
|
44
|
-
|
|
45
|
-
<input type="
|
|
46
|
-
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
<li class="toctree-l1"><a class="reference internal" href="
|
|
53
|
-
<li class="toctree-l1"><a class="reference internal" href="
|
|
54
|
-
<li class="toctree-l1"><a class="reference internal" href="
|
|
55
|
-
<li class="toctree-l1"><a class="reference internal" href="
|
|
56
|
-
<li class="toctree-l1"><a class="reference internal" href="
|
|
57
|
-
<li class="toctree-l1"><a class="reference internal" href="
|
|
58
|
-
<li class="toctree-l1"><a class="reference internal" href="
|
|
59
|
-
<li class="toctree-
|
|
60
|
-
<li class="toctree-
|
|
61
|
-
<li class="toctree-
|
|
62
|
-
<li class="toctree-
|
|
63
|
-
<li class="toctree-
|
|
64
|
-
<li class="toctree-
|
|
65
|
-
<li class="toctree-l5"><a class="reference internal" href="
|
|
66
|
-
<li class="toctree-l5"><a class="reference internal" href="
|
|
67
|
-
<li class="toctree-l5"><a class="reference internal" href="
|
|
68
|
-
<li class="toctree-l5"><a class="reference internal" href="
|
|
69
|
-
|
|
70
|
-
|
|
71
|
-
</ul>
|
|
72
|
-
</li>
|
|
73
|
-
</ul>
|
|
74
|
-
</li>
|
|
75
|
-
</
|
|
76
|
-
</
|
|
77
|
-
|
|
78
|
-
</
|
|
79
|
-
</li>
|
|
80
|
-
<li class="toctree-l1"><a class="reference internal" href="
|
|
81
|
-
<li class="toctree-l1"><a class="reference internal" href="
|
|
82
|
-
<li class="toctree-l1"><a class="reference internal" href="
|
|
83
|
-
|
|
84
|
-
|
|
85
|
-
</
|
|
86
|
-
|
|
87
|
-
|
|
88
|
-
|
|
89
|
-
|
|
90
|
-
|
|
91
|
-
|
|
92
|
-
|
|
93
|
-
|
|
94
|
-
|
|
95
|
-
|
|
96
|
-
|
|
97
|
-
|
|
98
|
-
|
|
99
|
-
|
|
100
|
-
<li
|
|
101
|
-
|
|
102
|
-
|
|
103
|
-
|
|
104
|
-
|
|
105
|
-
|
|
106
|
-
|
|
107
|
-
|
|
108
|
-
|
|
109
|
-
|
|
110
|
-
|
|
111
|
-
|
|
112
|
-
<
|
|
113
|
-
<
|
|
114
|
-
|
|
115
|
-
<
|
|
116
|
-
|
|
117
|
-
|
|
118
|
-
|
|
119
|
-
|
|
120
|
-
|
|
121
|
-
|
|
122
|
-
|
|
123
|
-
computations for all
|
|
124
|
-
|
|
125
|
-
|
|
126
|
-
|
|
127
|
-
|
|
128
|
-
|
|
129
|
-
<
|
|
130
|
-
<p>
|
|
131
|
-
<
|
|
132
|
-
<li><p>
|
|
133
|
-
<li><p>
|
|
134
|
-
<li><p>
|
|
135
|
-
<li><p>Compute the
|
|
136
|
-
<li><p>Compute the <a class="reference internal" href="
|
|
137
|
-
<li><p>Compute the <a class="reference internal" href="
|
|
138
|
-
<li><p>Compute the <a class="reference internal" href="ptolemy_examples3.html#ptolemy-example-
|
|
139
|
-
<li><p>Compute the
|
|
140
|
-
<li><p>
|
|
141
|
-
<li><p>
|
|
142
|
-
|
|
143
|
-
<
|
|
144
|
-
</
|
|
145
|
-
<
|
|
146
|
-
<
|
|
147
|
-
|
|
148
|
-
|
|
149
|
-
</
|
|
150
|
-
|
|
151
|
-
|
|
152
|
-
<
|
|
153
|
-
|
|
154
|
-
<
|
|
155
|
-
<
|
|
156
|
-
<
|
|
157
|
-
<
|
|
158
|
-
<li class="toctree-
|
|
159
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#
|
|
160
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#
|
|
161
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#
|
|
162
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#
|
|
163
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#
|
|
164
|
-
|
|
165
|
-
|
|
166
|
-
</ul>
|
|
167
|
-
</li>
|
|
168
|
-
<li class="toctree-
|
|
169
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#
|
|
170
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#
|
|
171
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#
|
|
172
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#compute-the-
|
|
173
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#compute-the-
|
|
174
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#
|
|
175
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#
|
|
176
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#
|
|
177
|
-
|
|
178
|
-
|
|
179
|
-
</ul>
|
|
180
|
-
</li>
|
|
181
|
-
<li class="toctree-
|
|
182
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#
|
|
183
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#
|
|
184
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#
|
|
185
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#
|
|
186
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#
|
|
187
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#
|
|
188
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#
|
|
189
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#
|
|
190
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#
|
|
191
|
-
|
|
192
|
-
|
|
193
|
-
</ul>
|
|
194
|
-
</li>
|
|
195
|
-
<li class="toctree-
|
|
196
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#computing-
|
|
197
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#computing-the-
|
|
198
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#
|
|
199
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#
|
|
200
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#
|
|
201
|
-
|
|
202
|
-
|
|
203
|
-
</ul>
|
|
204
|
-
</li>
|
|
205
|
-
<li class="toctree-
|
|
206
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples4.html#
|
|
207
|
-
|
|
208
|
-
|
|
209
|
-
</ul>
|
|
210
|
-
</li>
|
|
211
|
-
<li class="toctree-
|
|
212
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_classes.html#
|
|
213
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_classes.html#
|
|
214
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_classes.html#
|
|
215
|
-
<li class="toctree-l2"><a class="reference internal" href="ptolemy_classes.html#
|
|
216
|
-
|
|
217
|
-
|
|
218
|
-
</ul>
|
|
219
|
-
</
|
|
220
|
-
</
|
|
221
|
-
</
|
|
222
|
-
|
|
223
|
-
|
|
224
|
-
|
|
225
|
-
|
|
226
|
-
|
|
227
|
-
|
|
228
|
-
|
|
229
|
-
|
|
230
|
-
|
|
231
|
-
|
|
232
|
-
|
|
233
|
-
<
|
|
234
|
-
|
|
235
|
-
|
|
236
|
-
|
|
237
|
-
</
|
|
238
|
-
|
|
239
|
-
|
|
240
|
-
|
|
241
|
-
|
|
242
|
-
|
|
243
|
-
|
|
244
|
-
</
|
|
245
|
-
|
|
246
|
-
|
|
247
|
-
|
|
248
|
-
|
|
249
|
-
|
|
250
|
-
|
|
251
|
-
|
|
252
|
-
|
|
253
|
-
|
|
254
|
-
|
|
255
|
-
</body>
|
|
1
|
+
|
|
2
|
+
|
|
3
|
+
<!DOCTYPE html>
|
|
4
|
+
<html class="writer-html5" lang="en" data-content_root="./">
|
|
5
|
+
<head>
|
|
6
|
+
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
|
|
7
|
+
|
|
8
|
+
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
|
9
|
+
<title>The ptolemy module — SnapPy 3.2 documentation</title>
|
|
10
|
+
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=fa44fd50" />
|
|
11
|
+
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=e59714d7" />
|
|
12
|
+
<link rel="stylesheet" type="text/css" href="_static/snappy_sphinx_rtd_theme.css?v=1b8ec2a8" />
|
|
13
|
+
|
|
14
|
+
|
|
15
|
+
<link rel="shortcut icon" href="_static/SnapPy.ico"/>
|
|
16
|
+
<script src="_static/jquery.js?v=5d32c60e"></script>
|
|
17
|
+
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
|
|
18
|
+
<script src="_static/documentation_options.js?v=828ea960"></script>
|
|
19
|
+
<script src="_static/doctools.js?v=9a2dae69"></script>
|
|
20
|
+
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
|
|
21
|
+
<script async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
|
|
22
|
+
<script src="_static/js/theme.js"></script>
|
|
23
|
+
<link rel="index" title="Index" href="genindex.html" />
|
|
24
|
+
<link rel="search" title="Search" href="search.html" />
|
|
25
|
+
<link rel="next" title="Mathematical preliminaries" href="ptolemy_prelim.html" />
|
|
26
|
+
<link rel="prev" title="Other components" href="other.html" />
|
|
27
|
+
</head>
|
|
28
|
+
|
|
29
|
+
<body class="wy-body-for-nav">
|
|
30
|
+
<div class="wy-grid-for-nav">
|
|
31
|
+
<nav data-toggle="wy-nav-shift" class="wy-nav-side">
|
|
32
|
+
<div class="wy-side-scroll">
|
|
33
|
+
<div class="wy-side-nav-search" >
|
|
34
|
+
|
|
35
|
+
|
|
36
|
+
|
|
37
|
+
<a href="index.html" class="icon icon-home">
|
|
38
|
+
SnapPy
|
|
39
|
+
<img src="_static/SnapPy-horizontal-128.png" class="logo" alt="Logo"/>
|
|
40
|
+
</a>
|
|
41
|
+
<div role="search">
|
|
42
|
+
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">
|
|
43
|
+
<input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
|
|
44
|
+
<input type="hidden" name="check_keywords" value="yes" />
|
|
45
|
+
<input type="hidden" name="area" value="default" />
|
|
46
|
+
</form>
|
|
47
|
+
</div>
|
|
48
|
+
</div><div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="Navigation menu">
|
|
49
|
+
<ul class="current">
|
|
50
|
+
<li class="toctree-l1"><a class="reference internal" href="installing.html">Installing SnapPy</a></li>
|
|
51
|
+
<li class="toctree-l1"><a class="reference internal" href="screenshots.html">Screenshots: SnapPy in action</a></li>
|
|
52
|
+
<li class="toctree-l1"><a class="reference internal" href="tutorial.html">Tutorial</a></li>
|
|
53
|
+
<li class="toctree-l1"><a class="reference internal" href="snappy.html">The snappy module and its classes</a></li>
|
|
54
|
+
<li class="toctree-l1"><a class="reference internal" href="plink.html">Using SnapPy’s link editor</a></li>
|
|
55
|
+
<li class="toctree-l1"><a class="reference internal" href="spherogram.html">Links: planar diagrams and invariants</a></li>
|
|
56
|
+
<li class="toctree-l1"><a class="reference internal" href="snap.html">Number theory of hyperbolic 3-manifolds</a></li>
|
|
57
|
+
<li class="toctree-l1"><a class="reference internal" href="verify.html">Verified computations</a></li>
|
|
58
|
+
<li class="toctree-l1 current"><a class="reference internal" href="other.html">Other components</a><ul class="current">
|
|
59
|
+
<li class="toctree-l2 current"><a class="reference internal" href="other.html#ptolemy-module">Ptolemy module</a><ul class="current">
|
|
60
|
+
<li class="toctree-l3 current"><a class="current reference internal" href="#">The ptolemy module</a><ul>
|
|
61
|
+
<li class="toctree-l4"><a class="reference internal" href="#what-is-the-ptolemy-module">What is the ptolemy module?</a></li>
|
|
62
|
+
<li class="toctree-l4"><a class="reference internal" href="#documentation">Documentation</a><ul>
|
|
63
|
+
<li class="toctree-l5"><a class="reference internal" href="ptolemy_prelim.html">Mathematical preliminaries</a></li>
|
|
64
|
+
<li class="toctree-l5"><a class="reference internal" href="ptolemy_examples1.html">Step-by-step examples: Part 1</a></li>
|
|
65
|
+
<li class="toctree-l5"><a class="reference internal" href="ptolemy_examples2.html">Step-by-step examples: Part 2</a></li>
|
|
66
|
+
<li class="toctree-l5"><a class="reference internal" href="ptolemy_examples3.html">Step-by-step examples: Part 3</a></li>
|
|
67
|
+
<li class="toctree-l5"><a class="reference internal" href="ptolemy_examples4.html">Step-by-step examples: Part 4</a></li>
|
|
68
|
+
<li class="toctree-l5"><a class="reference internal" href="ptolemy_classes.html">Classes</a></li>
|
|
69
|
+
</ul>
|
|
70
|
+
</li>
|
|
71
|
+
</ul>
|
|
72
|
+
</li>
|
|
73
|
+
</ul>
|
|
74
|
+
</li>
|
|
75
|
+
<li class="toctree-l2"><a class="reference internal" href="other.html#twister">Twister</a></li>
|
|
76
|
+
</ul>
|
|
77
|
+
</li>
|
|
78
|
+
<li class="toctree-l1"><a class="reference internal" href="news.html">News</a></li>
|
|
79
|
+
<li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
|
|
80
|
+
<li class="toctree-l1"><a class="reference internal" href="bugs.html">Reporting bugs and other problems</a></li>
|
|
81
|
+
<li class="toctree-l1"><a class="reference internal" href="todo.html">To Do List</a></li>
|
|
82
|
+
<li class="toctree-l1"><a class="reference internal" href="development.html">Development Basics</a></li>
|
|
83
|
+
</ul>
|
|
84
|
+
|
|
85
|
+
</div>
|
|
86
|
+
</div>
|
|
87
|
+
</nav>
|
|
88
|
+
|
|
89
|
+
<section data-toggle="wy-nav-shift" class="wy-nav-content-wrap"><nav class="wy-nav-top" aria-label="Mobile navigation menu" >
|
|
90
|
+
<i data-toggle="wy-nav-top" class="fa fa-bars"></i>
|
|
91
|
+
<a href="index.html">SnapPy</a>
|
|
92
|
+
</nav>
|
|
93
|
+
|
|
94
|
+
<div class="wy-nav-content">
|
|
95
|
+
<div class="rst-content">
|
|
96
|
+
<div role="navigation" aria-label="Page navigation">
|
|
97
|
+
<ul class="wy-breadcrumbs">
|
|
98
|
+
<li><a href="index.html" class="icon icon-home" aria-label="Home"></a></li>
|
|
99
|
+
<li class="breadcrumb-item"><a href="other.html">Other components</a></li>
|
|
100
|
+
<li class="breadcrumb-item active">The ptolemy module</li>
|
|
101
|
+
<li class="wy-breadcrumbs-aside">
|
|
102
|
+
</li>
|
|
103
|
+
</ul>
|
|
104
|
+
<hr/>
|
|
105
|
+
</div>
|
|
106
|
+
<div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
|
|
107
|
+
<div itemprop="articleBody">
|
|
108
|
+
|
|
109
|
+
<section id="module-snappy.ptolemy">
|
|
110
|
+
<span id="the-ptolemy-module"></span><h1>The ptolemy module<a class="headerlink" href="#module-snappy.ptolemy" title="Link to this heading"></a></h1>
|
|
111
|
+
<section id="what-is-the-ptolemy-module">
|
|
112
|
+
<h2>What is the ptolemy module?<a class="headerlink" href="#what-is-the-ptolemy-module" title="Link to this heading"></a></h2>
|
|
113
|
+
<p>This module provides tools to find boundary-unipotent representations of an
|
|
114
|
+
oriented
|
|
115
|
+
3-manifold into PSL(<em>N</em>, <strong>C</strong>). It was used, for example, to generate the tables
|
|
116
|
+
of representations at
|
|
117
|
+
<a class="reference external" href="http://ptolemy.unhyperbolic.org/html/summary.html">ptolemy.unhyperbolic.org</a>.</p>
|
|
118
|
+
<p>The ptolemy module can use <a class="reference external" href="http://magma.maths.usyd.edu.au/magma/">magma</a> for
|
|
119
|
+
the computations necessary to find the representations or it can automatically
|
|
120
|
+
retrieve the necessary computations from a database we provide that contains the
|
|
121
|
+
computations for all manifolds and <em>N</em> at
|
|
122
|
+
<a class="reference external" href="http://ptolemy.unhyperbolic.org/html/summary.html">ptolemy.unhyperbolic.org</a>.
|
|
123
|
+
In particular, the database includes the computations for all orientable census
|
|
124
|
+
manifolds for PSL(2, <strong>C</strong>) and the examples below work without magma for these
|
|
125
|
+
manifolds.
|
|
126
|
+
This makes it useful for people who do not have magma (see <a class="reference internal" href="ptolemy_examples1.html#ptolemy-example-retrieve-exact-solutions"><span class="std std-ref">here</span></a>).</p>
|
|
127
|
+
<p>The ptolemy module is still under development. Please report bugs or email suggestions to: enischte at gmail dot com.</p>
|
|
128
|
+
<p>Examples of what the Ptolemy module can do:</p>
|
|
129
|
+
<ul class="simple">
|
|
130
|
+
<li><p>Give the <a class="reference internal" href="ptolemy_examples1.html#ptolemy-example-basic"><span class="std std-ref">equations for the reduced Ptolemy varieties</span></a> to find all <a class="reference internal" href="ptolemy_prelim.html#ptolemy-generically-decorated"><span class="std std-ref">generically decorated</span></a> and <a class="reference internal" href="ptolemy_prelim.html#ptolemy-boundary-unipotent"><span class="std std-ref">boundary-unipotent</span></a> representations into SL(<em>N</em>, <strong>C</strong>).</p></li>
|
|
131
|
+
<li><p>Same for representations into PSL(<em>N</em>, <strong>C</strong>) using <a class="reference internal" href="ptolemy_examples1.html#ptolemy-example-obstruction-class"><span class="std std-ref">Obstruction classes</span></a>.</p></li>
|
|
132
|
+
<li><p>Retrieve the <a class="reference internal" href="ptolemy_examples1.html#ptolemy-example-retrieve-exact-solutions"><span class="std std-ref">exact</span></a> and <a class="reference internal" href="ptolemy_examples2.html#ptolemy-example-retrieve-numerical-solutions"><span class="std std-ref">numerical</span></a> solutions for these varieties.</p></li>
|
|
133
|
+
<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>
|
|
134
|
+
<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>
|
|
135
|
+
<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>
|
|
136
|
+
<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>
|
|
137
|
+
<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>
|
|
138
|
+
<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>
|
|
139
|
+
<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>
|
|
140
|
+
<li><p>Find <a class="reference internal" href="ptolemy_examples2.html#ptolemy-non-zero-dim-comp"><span class="std std-ref">positively dimensional components</span></a> of the Ptolemy variety.</p></li>
|
|
141
|
+
<li><p>Find <a class="reference internal" href="ptolemy_examples3.html#ptolemy-example-non-zero-dim-rep"><span class="std std-ref">positively dimensional families</span></a> of boundary-unipotent representations.</p></li>
|
|
142
|
+
</ul>
|
|
143
|
+
<p>The ptolemy module tries to have powerful and flexible functionality but at the same time be easy to use. For example, we can get the volumes of boundary-unipotent PSL(2, <strong>C</strong>)-representations of <code class="docutils literal notranslate"><span class="pre">m011</span></code> in just one line:</p>
|
|
144
|
+
<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">>>> </span><span class="n">Manifold</span><span class="p">(</span><span class="s2">"m011"</span><span class="p">)</span><span class="o">.</span><span class="n">ptolemy_variety</span><span class="p">(</span><span class="mi">2</span><span class="p">,</span><span class="s1">'all'</span><span class="p">)</span><span class="o">.</span><span class="n">retrieve_solutions</span><span class="p">()</span><span class="o">.</span><span class="n">volume_numerical</span><span class="p">()</span>
|
|
145
|
+
<span class="go">[[[-4.30211422042248 E-16, -0.942707362776931, 0.942707362776931]],</span>
|
|
146
|
+
<span class="go"> [[4.64255370258293 E-15, 3.94215909915729 E-15, -2.78183391239608, 2.78183391239608]]]</span>
|
|
147
|
+
</pre></div>
|
|
148
|
+
</div>
|
|
149
|
+
<p>Here, we see that <code class="docutils literal notranslate"><span class="pre">m011</span></code> has a representation that is not Galois-conjugate to the geometric representation and that has the volume 0.9427… of the Weeks manifold.</p>
|
|
150
|
+
<p><strong>Remark:</strong> Please check your Internet connection if the above example does not work.</p>
|
|
151
|
+
</section>
|
|
152
|
+
<section id="documentation">
|
|
153
|
+
<h2>Documentation<a class="headerlink" href="#documentation" title="Link to this heading"></a></h2>
|
|
154
|
+
<div class="toctree-wrapper compound">
|
|
155
|
+
<ul>
|
|
156
|
+
<li class="toctree-l1"><a class="reference internal" href="ptolemy_prelim.html">Mathematical preliminaries</a><ul>
|
|
157
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#boundary-unipotent">Boundary-unipotent</a></li>
|
|
158
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#obstruction-class">Obstruction class</a></li>
|
|
159
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#sl-n-c-vs-psl-n-c">SL(<em>N</em>, <strong>C</strong>) vs PSL(<em>N</em>, <strong>C</strong>)</a></li>
|
|
160
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#generically-decorated-representations">Generically decorated representations</a></li>
|
|
161
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#reduced-ptolemy-variety">Reduced Ptolemy variety</a></li>
|
|
162
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#future-work">Future work</a></li>
|
|
163
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#references">References</a></li>
|
|
164
|
+
</ul>
|
|
165
|
+
</li>
|
|
166
|
+
<li class="toctree-l1"><a class="reference internal" href="ptolemy_examples1.html">Step-by-step examples: Part 1</a><ul>
|
|
167
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#the-ptolemy-variety-for-sl-n-c">The Ptolemy variety for SL(<em>N</em>, <strong>C</strong>)</a></li>
|
|
168
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#using-auto-completion">Using auto-completion</a></li>
|
|
169
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#retrieving-exact-solutions-from-the-database">Retrieving exact solutions from the database</a></li>
|
|
170
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#compute-the-matrices-for-a-representation">Compute the matrices for a representation</a></li>
|
|
171
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#compute-the-traces">Compute the traces</a></li>
|
|
172
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#compute-the-trace-field-for-a-psl-2-c-representation">Compute the trace field for a PSL(<em>2</em>, <strong>C</strong>)-representation</a></li>
|
|
173
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#compute-the-volume">Compute the volume</a></li>
|
|
174
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#increase-precision">Increase precision</a></li>
|
|
175
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#ptolemy-varieties-for-psl-n-c-representations">Ptolemy varieties for PSL(<em>N</em>, <strong>C</strong>)-representations</a></li>
|
|
176
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#a-short-cut-for-a-psl-n-c-ptolemy-variety">A short cut for a PSL(<em>N</em>, <strong>C</strong>) Ptolemy variety</a></li>
|
|
177
|
+
</ul>
|
|
178
|
+
</li>
|
|
179
|
+
<li class="toctree-l1"><a class="reference internal" href="ptolemy_examples2.html">Step-by-step examples: Part 2</a><ul>
|
|
180
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#the-ptolemy-list-type">The Ptolemy list type</a></li>
|
|
181
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#using-the-ptolemy-list-type-recursively">Using the Ptolemy list type recursively</a></li>
|
|
182
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#a-comparison-of-m003-and-m004">A comparison of <code class="docutils literal notranslate"><span class="pre">m003</span></code> and <code class="docutils literal notranslate"><span class="pre">m004</span></code></a></li>
|
|
183
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#a-non-hyperbolic-example">A non-hyperbolic example</a></li>
|
|
184
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#flattening-nested-structures">Flattening nested structures</a></li>
|
|
185
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#lack-of-tab-autocompletion-for-nested-structures">Lack of tab-autocompletion for nested structures</a></li>
|
|
186
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#converting-exact-solutions-into-numerical-solutions">Converting exact solutions into numerical solutions</a></li>
|
|
187
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#working-with-exact-vs-numerical-solutions">Working with exact vs numerical solutions</a></li>
|
|
188
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#computing-numerical-solutions-directly">Computing numerical solutions directly</a></li>
|
|
189
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#computing-cross-ratios-from-ptolemy-coordinates">Computing cross ratios from Ptolemy coordinates</a></li>
|
|
190
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#the-dimension-of-a-component">The dimension of a component</a></li>
|
|
191
|
+
</ul>
|
|
192
|
+
</li>
|
|
193
|
+
<li class="toctree-l1"><a class="reference internal" href="ptolemy_examples3.html">Step-by-step examples: Part 3</a><ul>
|
|
194
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#computing-solutions-with-magma-or-sage-vs-retrieving-solutions">Computing solutions with magma or sage vs retrieving solutions</a></li>
|
|
195
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#computing-the-complex-volume">Computing the complex volume</a></li>
|
|
196
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#computing-the-matrices-for-a-different-presentation">Computing the matrices for a different presentation</a></li>
|
|
197
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#computing-the-images-of-the-peripheral-curves-for-a-representation">Computing the images of the peripheral curves for a representation</a></li>
|
|
198
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#finding-a-witness-point-for-a-positively-dimensional-component-of-the-ptolemy-variety">Finding a witness point for a positively dimensional component of the Ptolemy variety</a></li>
|
|
199
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#finding-non-zero-dimensional-families-of-boundary-unipotent-representations">Finding non-zero dimensional families of boundary-unipotent representations</a></li>
|
|
200
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#representations-that-are-the-same-as-psl-2-c-representations">Representations that are the same as PSL(2, <strong>C</strong>)-representations</a></li>
|
|
201
|
+
</ul>
|
|
202
|
+
</li>
|
|
203
|
+
<li class="toctree-l1"><a class="reference internal" href="ptolemy_examples4.html">Step-by-step examples: Part 4</a><ul>
|
|
204
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples4.html#the-structure-of-an-exact-solution">The structure of an exact solution</a></li>
|
|
205
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples4.html#rational-univariate-representation">Rational Univariate Representation</a></li>
|
|
206
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples4.html#todo">TODO</a></li>
|
|
207
|
+
</ul>
|
|
208
|
+
</li>
|
|
209
|
+
<li class="toctree-l1"><a class="reference internal" href="ptolemy_classes.html">Classes</a><ul>
|
|
210
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_classes.html#ptolemyvariety">PtolemyVariety</a></li>
|
|
211
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_classes.html#ptolemycoordinates">PtolemyCoordinates</a></li>
|
|
212
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_classes.html#crossratios">CrossRatios</a></li>
|
|
213
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_classes.html#flattenings">Flattenings</a></li>
|
|
214
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_classes.html#nonzerodimensionalcomponent">NonZeroDimensionalComponent</a></li>
|
|
215
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_classes.html#other-functions">Other functions</a></li>
|
|
216
|
+
</ul>
|
|
217
|
+
</li>
|
|
218
|
+
</ul>
|
|
219
|
+
</div>
|
|
220
|
+
</section>
|
|
221
|
+
</section>
|
|
222
|
+
|
|
223
|
+
|
|
224
|
+
</div>
|
|
225
|
+
</div>
|
|
226
|
+
<footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
|
|
227
|
+
<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>
|
|
228
|
+
<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>
|
|
229
|
+
</div>
|
|
230
|
+
|
|
231
|
+
<hr/>
|
|
232
|
+
|
|
233
|
+
<div role="contentinfo">
|
|
234
|
+
<p>© Copyright 2009-2025, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
|
|
235
|
+
</div>
|
|
236
|
+
|
|
237
|
+
Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
|
|
238
|
+
<a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
|
|
239
|
+
provided by <a href="https://readthedocs.org">Read the Docs</a>.
|
|
240
|
+
|
|
241
|
+
|
|
242
|
+
</footer>
|
|
243
|
+
</div>
|
|
244
|
+
</div>
|
|
245
|
+
</section>
|
|
246
|
+
</div>
|
|
247
|
+
<script>
|
|
248
|
+
jQuery(function () {
|
|
249
|
+
SphinxRtdTheme.Navigation.enable(true);
|
|
250
|
+
});
|
|
251
|
+
</script>
|
|
252
|
+
|
|
253
|
+
</body>
|
|
256
254
|
</html>
|