snappy 3.1__cp311-cp311-macosx_11_0_arm64.whl → 3.2__cp311-cp311-macosx_11_0_arm64.whl
Sign up to get free protection for your applications and to get access to all the features.
- snappy/CyOpenGL.cpython-311-darwin.so +0 -0
- snappy/SnapPy.cpython-311-darwin.so +0 -0
- snappy/SnapPyHP.cpython-311-darwin.so +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/credits.rst.txt +6 -1
- snappy/doc/_sources/development.rst.txt +66 -46
- snappy/doc/_sources/index.rst.txt +72 -5
- snappy/doc/_sources/installing.rst.txt +145 -162
- snappy/doc/_sources/news.rst.txt +73 -1
- snappy/doc/_sources/ptolemy_examples1.rst.txt +8 -7
- snappy/doc/_sources/ptolemy_examples3.rst.txt +2 -2
- snappy/doc/_sources/triangulation.rst.txt +2 -2
- snappy/doc/_sources/verify.rst.txt +89 -29
- snappy/doc/_sources/verify_internals.rst.txt +5 -16
- snappy/doc/_static/basic.css +23 -1
- 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 +2 -3
- 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 +2 -2
- snappy/doc/_static/pygments.css +1 -0
- snappy/doc/_static/searchtools.js +125 -71
- snappy/doc/_static/sphinx_highlight.js +13 -3
- snappy/doc/additional_classes.html +291 -122
- snappy/doc/bugs.html +17 -20
- snappy/doc/censuses.html +34 -53
- snappy/doc/credits.html +22 -22
- snappy/doc/development.html +88 -68
- snappy/doc/genindex.html +66 -145
- snappy/doc/index.html +86 -31
- snappy/doc/installing.html +164 -182
- snappy/doc/manifold.html +1168 -556
- snappy/doc/manifoldhp.html +18 -21
- snappy/doc/news.html +91 -33
- snappy/doc/objects.inv +0 -0
- snappy/doc/other.html +20 -22
- snappy/doc/platonic_census.html +31 -34
- snappy/doc/plink.html +19 -22
- snappy/doc/ptolemy.html +20 -22
- snappy/doc/ptolemy_classes.html +102 -105
- snappy/doc/ptolemy_examples1.html +34 -36
- snappy/doc/ptolemy_examples2.html +28 -31
- snappy/doc/ptolemy_examples3.html +26 -29
- snappy/doc/ptolemy_examples4.html +20 -23
- snappy/doc/ptolemy_prelim.html +25 -28
- snappy/doc/py-modindex.html +16 -19
- snappy/doc/screenshots.html +22 -24
- snappy/doc/search.html +15 -18
- snappy/doc/searchindex.js +1 -1
- snappy/doc/snap.html +18 -21
- snappy/doc/snappy.html +18 -20
- snappy/doc/spherogram.html +84 -87
- snappy/doc/todo.html +17 -20
- snappy/doc/triangulation.html +324 -215
- snappy/doc/tutorial.html +17 -20
- snappy/doc/verify.html +100 -46
- snappy/doc/verify_internals.html +106 -563
- 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 +116 -86
- snappy/twister/main.py +1 -7
- snappy/twister/twister_core.cpython-311-darwin.so +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.dist-info → snappy-3.2.dist-info}/METADATA +26 -11
- snappy-3.2.dist-info/RECORD +503 -0
- {snappy-3.1.dist-info → snappy-3.2.dist-info}/WHEEL +1 -1
- {snappy-3.1.dist-info → snappy-3.2.dist-info}/top_level.txt +6 -1
- snappy/__pycache__/__init__.cpython-311.pyc +0 -0
- snappy/__pycache__/browser.cpython-311.pyc +0 -0
- snappy/__pycache__/cache.cpython-311.pyc +0 -0
- snappy/__pycache__/database.cpython-311.pyc +0 -0
- snappy/__pycache__/db_utilities.cpython-311.pyc +0 -0
- snappy/__pycache__/decorated_isosig.cpython-311.pyc +0 -0
- snappy/__pycache__/exceptions.cpython-311.pyc +0 -0
- snappy/__pycache__/export_stl.cpython-311.pyc +0 -0
- snappy/__pycache__/filedialog.cpython-311.pyc +0 -0
- snappy/__pycache__/gui.cpython-311.pyc +0 -0
- snappy/__pycache__/horoviewer.cpython-311.pyc +0 -0
- snappy/__pycache__/infowindow.cpython-311.pyc +0 -0
- snappy/__pycache__/math_basics.cpython-311.pyc +0 -0
- snappy/__pycache__/matrix.cpython-311.pyc +0 -0
- snappy/__pycache__/number.cpython-311.pyc +0 -0
- snappy/__pycache__/numeric_output_checker.cpython-311.pyc +0 -0
- snappy/__pycache__/pari.cpython-311.pyc +0 -0
- snappy/__pycache__/polyviewer.cpython-311.pyc +0 -0
- snappy/__pycache__/sage_helper.cpython-311.pyc +0 -0
- snappy/__pycache__/version.cpython-311.pyc +0 -0
- snappy/doc/_sources/verify_canon.rst.txt +0 -90
- snappy/doc/_static/js/html5shiv-printshiv.min.js +0 -4
- snappy/doc/_static/js/html5shiv.min.js +0 -4
- snappy/doc/verify_canon.html +0 -304
- snappy/drilling/__pycache__/__init__.cpython-311.pyc +0 -0
- snappy/drilling/__pycache__/constants.cpython-311.pyc +0 -0
- snappy/drilling/__pycache__/crush.cpython-311.pyc +0 -0
- snappy/drilling/__pycache__/cusps.cpython-311.pyc +0 -0
- snappy/drilling/__pycache__/debug.cpython-311.pyc +0 -0
- snappy/drilling/__pycache__/epsilons.cpython-311.pyc +0 -0
- snappy/drilling/__pycache__/exceptions.cpython-311.pyc +0 -0
- snappy/drilling/__pycache__/fixed_points.cpython-311.pyc +0 -0
- snappy/drilling/__pycache__/geodesic_info.cpython-311.pyc +0 -0
- snappy/drilling/__pycache__/geodesic_tube.cpython-311.pyc +0 -0
- snappy/drilling/__pycache__/geometric_structure.cpython-311.pyc +0 -0
- snappy/drilling/__pycache__/line.cpython-311.pyc +0 -0
- snappy/drilling/__pycache__/moves.cpython-311.pyc +0 -0
- snappy/drilling/__pycache__/peripheral_curves.cpython-311.pyc +0 -0
- snappy/drilling/__pycache__/perturb.cpython-311.pyc +0 -0
- snappy/drilling/__pycache__/quotient_space.cpython-311.pyc +0 -0
- snappy/drilling/__pycache__/spatial_dict.cpython-311.pyc +0 -0
- snappy/drilling/__pycache__/subdivide.cpython-311.pyc +0 -0
- snappy/drilling/__pycache__/tracing.cpython-311.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-311.pyc +0 -0
- snappy/exterior_to_link/__pycache__/barycentric_geometry.cpython-311.pyc +0 -0
- snappy/exterior_to_link/__pycache__/exceptions.cpython-311.pyc +0 -0
- snappy/exterior_to_link/__pycache__/hyp_utils.cpython-311.pyc +0 -0
- snappy/exterior_to_link/__pycache__/link_projection.cpython-311.pyc +0 -0
- snappy/exterior_to_link/__pycache__/main.cpython-311.pyc +0 -0
- snappy/exterior_to_link/__pycache__/mcomplex_with_expansion.cpython-311.pyc +0 -0
- snappy/exterior_to_link/__pycache__/mcomplex_with_link.cpython-311.pyc +0 -0
- snappy/exterior_to_link/__pycache__/mcomplex_with_memory.cpython-311.pyc +0 -0
- snappy/exterior_to_link/__pycache__/pl_utils.cpython-311.pyc +0 -0
- snappy/exterior_to_link/__pycache__/put_in_S3.cpython-311.pyc +0 -0
- snappy/exterior_to_link/__pycache__/rational_linear_algebra.cpython-311.pyc +0 -0
- snappy/exterior_to_link/__pycache__/simplify_to_base_tri.cpython-311.pyc +0 -0
- snappy/exterior_to_link/__pycache__/stored_moves.cpython-311.pyc +0 -0
- snappy/hyperboloid/__pycache__/__init__.cpython-311.pyc +0 -0
- snappy/manifolds/__pycache__/__init__.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/__init__.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/component.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/coordinates.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/fieldExtensions.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/findLoops.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/homology.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/manifoldMethods.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/matrix.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/numericalSolutionsToGroebnerBasis.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/polynomial.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/processComponents.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/processFileBase.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/processFileDispatch.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/processMagmaFile.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/processRurFile.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/ptolemyGeneralizedObstructionClass.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/ptolemyObstructionClass.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/ptolemyVariety.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/ptolemyVarietyPrimeIdealGroebnerBasis.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/rur.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/solutionsToPrimeIdealGroebnerBasis.cpython-311.pyc +0 -0
- snappy/ptolemy/__pycache__/utilities.cpython-311.pyc +0 -0
- snappy/raytracing/__pycache__/__init__.cpython-311.pyc +0 -0
- snappy/raytracing/__pycache__/finite_raytracing_data.cpython-311.pyc +0 -0
- snappy/raytracing/__pycache__/gui_utilities.cpython-311.pyc +0 -0
- snappy/raytracing/__pycache__/hyperboloid_navigation.cpython-311.pyc +0 -0
- snappy/raytracing/__pycache__/hyperboloid_utilities.cpython-311.pyc +0 -0
- snappy/raytracing/__pycache__/ideal_raytracing_data.cpython-311.pyc +0 -0
- snappy/raytracing/__pycache__/inside_viewer.cpython-311.pyc +0 -0
- snappy/raytracing/__pycache__/raytracing_data.cpython-311.pyc +0 -0
- snappy/raytracing/__pycache__/raytracing_view.cpython-311.pyc +0 -0
- snappy/raytracing/__pycache__/upper_halfspace_utilities.cpython-311.pyc +0 -0
- snappy/raytracing/__pycache__/view_scale_controller.cpython-311.pyc +0 -0
- snappy/raytracing/zoom_slider/__pycache__/__init__.cpython-311.pyc +0 -0
- snappy/snap/__pycache__/__init__.cpython-311.pyc +0 -0
- snappy/snap/__pycache__/character_varieties.cpython-311.pyc +0 -0
- snappy/snap/__pycache__/fundamental_polyhedron.cpython-311.pyc +0 -0
- snappy/snap/__pycache__/interval_reps.cpython-311.pyc +0 -0
- snappy/snap/__pycache__/kernel_structures.cpython-311.pyc +0 -0
- snappy/snap/__pycache__/mcomplex_base.cpython-311.pyc +0 -0
- snappy/snap/__pycache__/nsagetools.cpython-311.pyc +0 -0
- snappy/snap/__pycache__/polished_reps.cpython-311.pyc +0 -0
- snappy/snap/__pycache__/shapes.cpython-311.pyc +0 -0
- snappy/snap/__pycache__/slice_obs_HKL.cpython-311.pyc +0 -0
- snappy/snap/__pycache__/utilities.cpython-311.pyc +0 -0
- snappy/snap/peripheral/__pycache__/__init__.cpython-311.pyc +0 -0
- snappy/snap/peripheral/__pycache__/dual_cellulation.cpython-311.pyc +0 -0
- snappy/snap/peripheral/__pycache__/link.cpython-311.pyc +0 -0
- snappy/snap/peripheral/__pycache__/peripheral.cpython-311.pyc +0 -0
- snappy/snap/peripheral/__pycache__/surface.cpython-311.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/__init__.cpython-311.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/arrow.cpython-311.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/corner.cpython-311.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/edge.cpython-311.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/face.cpython-311.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/files.cpython-311.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/homology.cpython-311.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/linalg.cpython-311.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/mcomplex.cpython-311.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/perm4.cpython-311.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/simplex.cpython-311.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/spun.cpython-311.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/surface.cpython-311.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/tetrahedron.cpython-311.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/vertex.cpython-311.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-311.pyc +0 -0
- snappy/twister/__pycache__/main.cpython-311.pyc +0 -0
- snappy/upper_halfspace/__pycache__/__init__.cpython-311.pyc +0 -0
- snappy/upper_halfspace/__pycache__/ideal_point.cpython-311.pyc +0 -0
- snappy/verify/__pycache__/__init__.cpython-311.pyc +0 -0
- snappy/verify/__pycache__/cuspCrossSection.cpython-311.pyc +0 -0
- snappy/verify/__pycache__/cuspTranslations.cpython-311.pyc +0 -0
- snappy/verify/__pycache__/cusp_areas.cpython-311.pyc +0 -0
- snappy/verify/__pycache__/cusp_shapes.cpython-311.pyc +0 -0
- snappy/verify/__pycache__/exceptions.cpython-311.pyc +0 -0
- snappy/verify/__pycache__/interval_newton_shapes_engine.cpython-311.pyc +0 -0
- snappy/verify/__pycache__/interval_tree.cpython-311.pyc +0 -0
- snappy/verify/__pycache__/krawczyk_shapes_engine.cpython-311.pyc +0 -0
- snappy/verify/__pycache__/realAlgebra.cpython-311.pyc +0 -0
- snappy/verify/__pycache__/shapes.cpython-311.pyc +0 -0
- snappy/verify/__pycache__/short_slopes.cpython-311.pyc +0 -0
- snappy/verify/__pycache__/squareExtensions.cpython-311.pyc +0 -0
- snappy/verify/__pycache__/verifyCanonical.cpython-311.pyc +0 -0
- snappy/verify/__pycache__/verifyHyperbolicity.cpython-311.pyc +0 -0
- snappy/verify/__pycache__/volume.cpython-311.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/__init__.cpython-311.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/adjust_torsion.cpython-311.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/closed.cpython-311.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/compute_ptolemys.cpython-311.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/cusped.cpython-311.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/extended_bloch.cpython-311.pyc +0 -0
- snappy/verify/cuspCrossSection.py +0 -1422
- snappy/verify/maximal_cusp_area_matrix/__pycache__/__init__.cpython-311.pyc +0 -0
- snappy/verify/maximal_cusp_area_matrix/__pycache__/cusp_tiling_engine.cpython-311.pyc +0 -0
- snappy/verify/maximal_cusp_area_matrix/__pycache__/cusp_translate_engine.cpython-311.pyc +0 -0
- snappy/verify/upper_halfspace/__pycache__/__init__.cpython-311.pyc +0 -0
- snappy/verify/upper_halfspace/__pycache__/extended_matrix.cpython-311.pyc +0 -0
- snappy/verify/upper_halfspace/__pycache__/finite_point.cpython-311.pyc +0 -0
- snappy/verify/upper_halfspace/__pycache__/ideal_point.cpython-311.pyc +0 -0
- snappy-3.1.dist-info/RECORD +0 -585
- {snappy-3.1.dist-info → snappy-3.2.dist-info}/entry_points.txt +0 -0
|
@@ -1,23 +1,23 @@
|
|
|
1
|
+
|
|
2
|
+
|
|
1
3
|
<!DOCTYPE html>
|
|
2
|
-
<html class="writer-html5" lang="en" >
|
|
4
|
+
<html class="writer-html5" lang="en" data-content_root="./">
|
|
3
5
|
<head>
|
|
4
|
-
<meta charset="utf-8" /><meta name="
|
|
6
|
+
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
|
|
5
7
|
|
|
6
8
|
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
|
7
|
-
<title>Step-by-step examples: Part 4 — SnapPy 3.
|
|
8
|
-
<link rel="stylesheet"
|
|
9
|
-
<link rel="stylesheet" href="_static/css/theme.css
|
|
10
|
-
<link rel="stylesheet"
|
|
11
|
-
|
|
12
|
-
<!--[if lt IE 9]>
|
|
13
|
-
<script src="_static/js/html5shiv.min.js"></script>
|
|
14
|
-
<![endif]-->
|
|
9
|
+
<title>Step-by-step examples: Part 4 — 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
|
+
|
|
15
14
|
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
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
21
|
<script src="_static/js/theme.js"></script>
|
|
22
22
|
<link rel="index" title="Index" href="genindex.html" />
|
|
23
23
|
<link rel="search" title="Search" href="search.html" />
|
|
@@ -37,9 +37,6 @@
|
|
|
37
37
|
SnapPy
|
|
38
38
|
<img src="_static/SnapPy-horizontal-128.png" class="logo" alt="Logo"/>
|
|
39
39
|
</a>
|
|
40
|
-
<div class="version">
|
|
41
|
-
3.1
|
|
42
|
-
</div>
|
|
43
40
|
<div role="search">
|
|
44
41
|
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">
|
|
45
42
|
<input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
|
|
@@ -110,10 +107,10 @@
|
|
|
110
107
|
<div itemprop="articleBody">
|
|
111
108
|
|
|
112
109
|
<section id="step-by-step-examples-part-4">
|
|
113
|
-
<h1>Step-by-step examples: Part 4<a class="headerlink" href="#step-by-step-examples-part-4" title="
|
|
110
|
+
<h1>Step-by-step examples: Part 4<a class="headerlink" href="#step-by-step-examples-part-4" title="Link to this heading"></a></h1>
|
|
114
111
|
<p><strong>Advanced topics. Still under construction.</strong></p>
|
|
115
112
|
<section id="the-structure-of-an-exact-solution">
|
|
116
|
-
<span id="ptolemy-example-structure-of-solution"></span><h2>The structure of an exact solution<a class="headerlink" href="#the-structure-of-an-exact-solution" title="
|
|
113
|
+
<span id="ptolemy-example-structure-of-solution"></span><h2>The structure of an exact solution<a class="headerlink" href="#the-structure-of-an-exact-solution" title="Link to this heading"></a></h2>
|
|
117
114
|
<p>A solution to the Ptolemy variety (here <code class="docutils literal notranslate"><span class="pre">sol</span></code>) is an object of type <code class="docutils literal notranslate"><span class="pre">PtolemyCoordinates</span></code> which is a subclass of a python dictionary. It assigns a value to each Ptolemy coordinate c<sub>…</sub> (the s<sub>…</sub> are related to the obstruction class which is trivial here). We can get the value assigned to a particular Ptolemy coordinate as follows:</p>
|
|
118
115
|
<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">>>> </span><span class="n">sol</span> <span class="o">=</span> <span class="n">Manifold</span><span class="p">(</span><span class="s2">"m003"</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="o">.</span><span class="n">retrieve_solutions</span><span class="p">()[</span><span class="mi">0</span><span class="p">]</span>
|
|
119
116
|
<span class="gp">>>> </span><span class="n">sol</span><span class="p">[</span><span class="s1">'c_0101_1'</span><span class="p">]</span>
|
|
@@ -136,7 +133,7 @@
|
|
|
136
133
|
<p><strong>Remark:</strong> We would prefer to represent these using types that are better suited when using sage such as NumberField and NumberFieldElement. In the future, we might jettison support of the ptolemy module outside of sage and use sage’s native types.</p>
|
|
137
134
|
</section>
|
|
138
135
|
<section id="rational-univariate-representation">
|
|
139
|
-
<h2>Rational Univariate Representation<a class="headerlink" href="#rational-univariate-representation" title="
|
|
136
|
+
<h2>Rational Univariate Representation<a class="headerlink" href="#rational-univariate-representation" title="Link to this heading"></a></h2>
|
|
140
137
|
<p>We have some limited support for the <cite>Rational Univariate Representation</cite>, for example:</p>
|
|
141
138
|
<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">>>> </span><span class="n">sols</span> <span class="o">=</span> <span class="n">Manifold</span><span class="p">(</span><span class="s2">"m069"</span><span class="p">)</span><span class="o">.</span><span class="n">ptolemy_variety</span><span class="p">(</span><span class="mi">3</span><span class="p">)</span><span class="o">.</span><span class="n">retrieve_solutions</span><span class="p">()</span>
|
|
142
139
|
<span class="gp">>>> </span><span class="n">sols</span><span class="p">[</span><span class="mi">4</span><span class="p">]</span>
|
|
@@ -156,7 +153,7 @@
|
|
|
156
153
|
<p><strong>Remark:</strong> This is still under development.</p>
|
|
157
154
|
</section>
|
|
158
155
|
<section id="todo">
|
|
159
|
-
<h2>TODO<a class="headerlink" href="#todo" title="
|
|
156
|
+
<h2>TODO<a class="headerlink" href="#todo" title="Link to this heading"></a></h2>
|
|
160
157
|
<ul class="simple">
|
|
161
158
|
<li><p>Give an overview of the classes and the methods.</p></li>
|
|
162
159
|
<li><p>Explain how the magma file are generated. Say that magma computes the RadicalDecomposition. Ptolemy module can process the lexicographic Groebner basis of a prime ideal.</p></li>
|
|
@@ -175,7 +172,7 @@
|
|
|
175
172
|
<hr/>
|
|
176
173
|
|
|
177
174
|
<div role="contentinfo">
|
|
178
|
-
<p>© Copyright 2009-
|
|
175
|
+
<p>© Copyright 2009-2025, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
|
|
179
176
|
</div>
|
|
180
177
|
|
|
181
178
|
Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
|
snappy/doc/ptolemy_prelim.html
CHANGED
|
@@ -1,24 +1,24 @@
|
|
|
1
|
+
|
|
2
|
+
|
|
1
3
|
<!DOCTYPE html>
|
|
2
|
-
<html class="writer-html5" lang="en" >
|
|
4
|
+
<html class="writer-html5" lang="en" data-content_root="./">
|
|
3
5
|
<head>
|
|
4
|
-
<meta charset="utf-8" /><meta name="
|
|
6
|
+
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
|
|
5
7
|
|
|
6
8
|
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
|
7
|
-
<title>Mathematical preliminaries — SnapPy 3.
|
|
8
|
-
<link rel="stylesheet"
|
|
9
|
-
<link rel="stylesheet" href="_static/css/theme.css
|
|
10
|
-
<link rel="stylesheet"
|
|
11
|
-
|
|
12
|
-
<!--[if lt IE 9]>
|
|
13
|
-
<script src="_static/js/html5shiv.min.js"></script>
|
|
14
|
-
<![endif]-->
|
|
9
|
+
<title>Mathematical preliminaries — 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
|
+
|
|
15
14
|
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
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
22
|
<script src="_static/js/theme.js"></script>
|
|
23
23
|
<link rel="index" title="Index" href="genindex.html" />
|
|
24
24
|
<link rel="search" title="Search" href="search.html" />
|
|
@@ -38,9 +38,6 @@
|
|
|
38
38
|
SnapPy
|
|
39
39
|
<img src="_static/SnapPy-horizontal-128.png" class="logo" alt="Logo"/>
|
|
40
40
|
</a>
|
|
41
|
-
<div class="version">
|
|
42
|
-
3.1
|
|
43
|
-
</div>
|
|
44
41
|
<div role="search">
|
|
45
42
|
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">
|
|
46
43
|
<input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
|
|
@@ -111,7 +108,7 @@
|
|
|
111
108
|
<div itemprop="articleBody">
|
|
112
109
|
|
|
113
110
|
<section id="mathematical-preliminaries">
|
|
114
|
-
<h1>Mathematical preliminaries<a class="headerlink" href="#mathematical-preliminaries" title="
|
|
111
|
+
<h1>Mathematical preliminaries<a class="headerlink" href="#mathematical-preliminaries" title="Link to this heading"></a></h1>
|
|
115
112
|
<p>Given a triangulation, the ptolemy module will produce a system of equation that is equivalent to
|
|
116
113
|
the reduced Ptolemy variety (see <a class="reference internal" href="#gtz2011" id="id1"><span>[GTZ2011]</span></a>, Section 5 of <a class="reference internal" href="#ggz2012" id="id2"><span>[GGZ2012]</span></a>, and Proposition 4.7 of <a class="reference internal" href="#ggz2014" id="id3"><span>[GGZ2014]</span></a>).</p>
|
|
117
114
|
<p>A solution
|
|
@@ -124,7 +121,7 @@ This is the same problem that the
|
|
|
124
121
|
gluing equations for finding PGL(2, <strong>C</strong>)-representations suffer from where simplices in the developing
|
|
125
122
|
map can be degenerate and yielding cross ratios that are 0, 1, or <span class="math notranslate nohighlight">\(\infty\)</span>.</p>
|
|
126
123
|
<section id="boundary-unipotent">
|
|
127
|
-
<span id="ptolemy-boundary-unipotent"></span><h2>Boundary-unipotent<a class="headerlink" href="#boundary-unipotent" title="
|
|
124
|
+
<span id="ptolemy-boundary-unipotent"></span><h2>Boundary-unipotent<a class="headerlink" href="#boundary-unipotent" title="Link to this heading"></a></h2>
|
|
128
125
|
<p>We call a SL(<em>N</em>, <strong>C</strong>)-representation <em>boundary-unipotent</em> if each peripheral subgroup is taken to
|
|
129
126
|
a conjugate of the unipotent group <em>P</em> of upper unit-triangular matrices. Similarly, we call
|
|
130
127
|
a PSL(<em>N</em>, <strong>C</strong>)-representation <em>boundary-unipotent</em> if each peripheral subgroup is taken to a conjugate
|
|
@@ -137,7 +134,7 @@ any lift of the geometric representation will take the longitude
|
|
|
137
134
|
to a matrix with trace -2 and is thus not boundary-unipotent as SL(2, <strong>C</strong>)-representation.</p>
|
|
138
135
|
</section>
|
|
139
136
|
<section id="obstruction-class">
|
|
140
|
-
<span id="id4"></span><h2>Obstruction class<a class="headerlink" href="#obstruction-class" title="
|
|
137
|
+
<span id="id4"></span><h2>Obstruction class<a class="headerlink" href="#obstruction-class" title="Link to this heading"></a></h2>
|
|
141
138
|
<p>Given a boundary-unipotent PSL(<em>N</em>, <strong>C</strong>)-representation, we obtain an <em>obstruction class</em> in H<sup>2</sup>(M,<span class="math notranslate nohighlight">\(\partial\)</span>M; <strong>Z</strong>/<em>N</em>)
|
|
142
139
|
that is trivial if and only if the representations lifts to a boundary-unipotent SL(<em>N</em>, <strong>C</strong>)-representation (see Section 9.1 of <a class="reference internal" href="#gtz2011" id="id5"><span>[GTZ2011]</span></a> and Section 1.3 of <a class="reference internal" href="#ggz2014" id="id6"><span>[GGZ2014]</span></a>).
|
|
143
140
|
Given a triangulation and an element in H<sup>2</sup>(M,<span class="math notranslate nohighlight">\(\partial\)</span>M; <strong>Z</strong>/<em>N</em>), the Ptolemy variety can be modified to find
|
|
@@ -149,12 +146,12 @@ varieties corresponding to picking different Galois conjugates for the <em>N</em
|
|
|
149
146
|
to consider a representative for each element in the quotient H<sup>2</sup>(M,<span class="math notranslate nohighlight">\(\partial\)</span>M; <strong>Z</strong>/<em>N</em>)/(<strong>Z</strong>/<em>N</em>)<sup>*</sup>.</p>
|
|
150
147
|
</section>
|
|
151
148
|
<section id="sl-n-c-vs-psl-n-c">
|
|
152
|
-
<span id="ptolemy-psl-multiplicity"></span><h2>SL(<em>N</em>, <strong>C</strong>) vs PSL(<em>N</em>, <strong>C</strong>)<a class="headerlink" href="#sl-n-c-vs-psl-n-c" title="
|
|
149
|
+
<span id="ptolemy-psl-multiplicity"></span><h2>SL(<em>N</em>, <strong>C</strong>) vs PSL(<em>N</em>, <strong>C</strong>)<a class="headerlink" href="#sl-n-c-vs-psl-n-c" title="Link to this heading"></a></h2>
|
|
153
150
|
<p>The reduced Ptolemy variety for the trivial obstruction class can have several points (say <em>d</em>) giving different SL(<em>N</em>, <strong>C</strong>)-representations that are the same as PSL(<em>N</em>, <strong>C</strong>)-representations. Similarly, for the non-trivial obstruction class we can have <em>d</em> points in the reduced Ptolemy variety yielding the same PSL(<em>N</em>, <strong>C</strong>)-representation.</p>
|
|
154
151
|
<p>The degree <em>d</em> of this correspondence is the size of H<sup>1</sup>(<span class="math notranslate nohighlight">\(\hat{M}\)</span>; <strong>Z</strong>/<em>N</em>) where <span class="math notranslate nohighlight">\(\hat{M}\)</span> is the cell complex obtained from collapsing each cusp to a point.</p>
|
|
155
152
|
</section>
|
|
156
153
|
<section id="generically-decorated-representations">
|
|
157
|
-
<span id="ptolemy-generically-decorated"></span><h2>Generically decorated representations<a class="headerlink" href="#generically-decorated-representations" title="
|
|
154
|
+
<span id="ptolemy-generically-decorated"></span><h2>Generically decorated representations<a class="headerlink" href="#generically-decorated-representations" title="Link to this heading"></a></h2>
|
|
158
155
|
<p>We want to point out two important facts when using the reduced Ptolemy variety to find boundary-unipotent representations:</p>
|
|
159
156
|
<ul class="simple">
|
|
160
157
|
<li><p>We miss representations that are not generically decorated (as mentioned above). This happens but rarely.</p></li>
|
|
@@ -177,18 +174,18 @@ to consider a representative for each element in the quotient H<sup>2</sup>(M,<s
|
|
|
177
174
|
</ul>
|
|
178
175
|
</section>
|
|
179
176
|
<section id="reduced-ptolemy-variety">
|
|
180
|
-
<span id="ptolemy-reduced-variety"></span><h2>Reduced Ptolemy variety<a class="headerlink" href="#reduced-ptolemy-variety" title="
|
|
177
|
+
<span id="ptolemy-reduced-variety"></span><h2>Reduced Ptolemy variety<a class="headerlink" href="#reduced-ptolemy-variety" title="Link to this heading"></a></h2>
|
|
181
178
|
<p>We will actually always use the reduced Ptolemy variety, i.e., the system of equation that consists of the Ptolemy relations (always of the form
|
|
182
179
|
<span class="math notranslate nohighlight">\(\pm\)</span> c<sub>…</sub> c<sub>…</sub> <span class="math notranslate nohighlight">\(\pm\)</span> c<sub>…</sub> c<sub>…</sub> <span class="math notranslate nohighlight">\(\pm\)</span> c<sub>…</sub> c<sub>…</sub>) and extra equations fixing an appropriate set of (N-1) Ptolemy coordinates per cusp as described in Proposition 4.7 of <a class="reference internal" href="#ggz2014" id="id9"><span>[GGZ2014]</span></a>. This is because the Ptolemy relations alone admit an action by (<strong>C</strong><sup>*</sup>)<sup>(N-1)</sup> for each cusp that does not change the representation it yields.</p>
|
|
183
180
|
<p>In other words, the Ptolemy variety parametrizes <em>P</em>-decorations and the reduced Ptolemy variety parametrizes <em>B</em>-decorations.</p>
|
|
184
181
|
</section>
|
|
185
182
|
<section id="future-work">
|
|
186
|
-
<h2>Future work<a class="headerlink" href="#future-work" title="
|
|
183
|
+
<h2>Future work<a class="headerlink" href="#future-work" title="Link to this heading"></a></h2>
|
|
187
184
|
<p>In unpublished work, we developed an algorithm that takes some triangulation of a manifold and constructs a set of triangulations and corresponding Ptolemy varieties (with extra edge relations) such that we can guarantee that all boundary-unipotent PSL(2,C)-representations are found - not just the ones that are generically decorated with respect to the chosen triangulation. This is inspired by <a class="reference internal" href="#s2009" id="id10"><span>[S2009]</span></a>. The ptolemy module might support this in the future.</p>
|
|
188
185
|
<p>In <a class="reference internal" href="#z2014" id="id11"><span>[Z2014]</span></a>, the Ptolemy variety was extended to detect non boundary-unipotent representations as well. The ptolemy module might produce these varieties in the future. This might offer another way of computing A-polynomials - that when combined with the above algorithm is guaranteed to be the full A-polynomial and not just a factor of it.</p>
|
|
189
186
|
</section>
|
|
190
187
|
<section id="references">
|
|
191
|
-
<h2>References<a class="headerlink" href="#references" title="
|
|
188
|
+
<h2>References<a class="headerlink" href="#references" title="Link to this heading"></a></h2>
|
|
192
189
|
<div role="list" class="citation-list">
|
|
193
190
|
<div class="citation" id="s2009" role="doc-biblioentry">
|
|
194
191
|
<span class="label"><span class="fn-bracket">[</span><a role="doc-backlink" href="#id10">S2009</a><span class="fn-bracket">]</span></span>
|
|
@@ -228,7 +225,7 @@ to consider a representative for each element in the quotient H<sup>2</sup>(M,<s
|
|
|
228
225
|
<hr/>
|
|
229
226
|
|
|
230
227
|
<div role="contentinfo">
|
|
231
|
-
<p>© Copyright 2009-
|
|
228
|
+
<p>© Copyright 2009-2025, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
|
|
232
229
|
</div>
|
|
233
230
|
|
|
234
231
|
Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
|
snappy/doc/py-modindex.html
CHANGED
|
@@ -1,22 +1,22 @@
|
|
|
1
|
+
|
|
2
|
+
|
|
1
3
|
<!DOCTYPE html>
|
|
2
|
-
<html class="writer-html5" lang="en" >
|
|
4
|
+
<html class="writer-html5" lang="en" data-content_root="./">
|
|
3
5
|
<head>
|
|
4
6
|
<meta charset="utf-8" />
|
|
5
7
|
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
|
6
|
-
<title>Python Module Index — SnapPy 3.
|
|
7
|
-
<link rel="stylesheet"
|
|
8
|
-
<link rel="stylesheet" href="_static/css/theme.css
|
|
9
|
-
<link rel="stylesheet"
|
|
10
|
-
|
|
11
|
-
<!--[if lt IE 9]>
|
|
12
|
-
<script src="_static/js/html5shiv.min.js"></script>
|
|
13
|
-
<![endif]-->
|
|
8
|
+
<title>Python Module Index — SnapPy 3.2 documentation</title>
|
|
9
|
+
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=fa44fd50" />
|
|
10
|
+
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=e59714d7" />
|
|
11
|
+
<link rel="stylesheet" type="text/css" href="_static/snappy_sphinx_rtd_theme.css?v=1b8ec2a8" />
|
|
12
|
+
|
|
14
13
|
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
14
|
+
<link rel="shortcut icon" href="_static/SnapPy.ico"/>
|
|
15
|
+
<script src="_static/jquery.js?v=5d32c60e"></script>
|
|
16
|
+
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
|
|
17
|
+
<script src="_static/documentation_options.js?v=828ea960"></script>
|
|
18
|
+
<script src="_static/doctools.js?v=9a2dae69"></script>
|
|
19
|
+
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
|
|
20
20
|
<script src="_static/js/theme.js"></script>
|
|
21
21
|
<link rel="index" title="Index" href="genindex.html" />
|
|
22
22
|
<link rel="search" title="Search" href="search.html" />
|
|
@@ -37,9 +37,6 @@
|
|
|
37
37
|
SnapPy
|
|
38
38
|
<img src="_static/SnapPy-horizontal-128.png" class="logo" alt="Logo"/>
|
|
39
39
|
</a>
|
|
40
|
-
<div class="version">
|
|
41
|
-
3.1
|
|
42
|
-
</div>
|
|
43
40
|
<div role="search">
|
|
44
41
|
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">
|
|
45
42
|
<input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
|
|
@@ -128,7 +125,7 @@
|
|
|
128
125
|
<tr class="cg-1">
|
|
129
126
|
<td></td>
|
|
130
127
|
<td>   
|
|
131
|
-
<a href="verify_internals.html#module-snappy.verify.
|
|
128
|
+
<a href="verify_internals.html#module-snappy.verify.square_extensions"><code class="xref">snappy.verify.square_extensions</code></a></td><td>
|
|
132
129
|
<em></em></td></tr>
|
|
133
130
|
<tr>
|
|
134
131
|
<td></td>
|
|
@@ -145,7 +142,7 @@
|
|
|
145
142
|
<hr/>
|
|
146
143
|
|
|
147
144
|
<div role="contentinfo">
|
|
148
|
-
<p>© Copyright 2009-
|
|
145
|
+
<p>© Copyright 2009-2025, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
|
|
149
146
|
</div>
|
|
150
147
|
|
|
151
148
|
Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
|
snappy/doc/screenshots.html
CHANGED
|
@@ -1,23 +1,23 @@
|
|
|
1
|
+
|
|
2
|
+
|
|
1
3
|
<!DOCTYPE html>
|
|
2
|
-
<html class="writer-html5" lang="en" >
|
|
4
|
+
<html class="writer-html5" lang="en" data-content_root="./">
|
|
3
5
|
<head>
|
|
4
|
-
<meta charset="utf-8" /><meta name="
|
|
6
|
+
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
|
|
5
7
|
|
|
6
8
|
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
|
7
|
-
<title>Screenshots: SnapPy in action — SnapPy 3.
|
|
8
|
-
<link rel="stylesheet"
|
|
9
|
-
<link rel="stylesheet" href="_static/css/theme.css
|
|
10
|
-
<link rel="stylesheet"
|
|
11
|
-
|
|
12
|
-
<!--[if lt IE 9]>
|
|
13
|
-
<script src="_static/js/html5shiv.min.js"></script>
|
|
14
|
-
<![endif]-->
|
|
9
|
+
<title>Screenshots: SnapPy in action — 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
|
+
|
|
15
14
|
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
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
21
|
<script src="_static/js/theme.js"></script>
|
|
22
22
|
<link rel="index" title="Index" href="genindex.html" />
|
|
23
23
|
<link rel="search" title="Search" href="search.html" />
|
|
@@ -37,9 +37,6 @@
|
|
|
37
37
|
SnapPy
|
|
38
38
|
<img src="_static/SnapPy-horizontal-128.png" class="logo" alt="Logo"/>
|
|
39
39
|
</a>
|
|
40
|
-
<div class="version">
|
|
41
|
-
3.1
|
|
42
|
-
</div>
|
|
43
40
|
<div role="search">
|
|
44
41
|
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">
|
|
45
42
|
<input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
|
|
@@ -94,17 +91,18 @@
|
|
|
94
91
|
<div itemprop="articleBody">
|
|
95
92
|
|
|
96
93
|
<section id="screenshots-snappy-in-action">
|
|
97
|
-
<h1>Screenshots: SnapPy in action<a class="headerlink" href="#screenshots-snappy-in-action" title="
|
|
94
|
+
<h1>Screenshots: SnapPy in action<a class="headerlink" href="#screenshots-snappy-in-action" title="Link to this heading"></a></h1>
|
|
98
95
|
<section id="mac-os-x">
|
|
99
|
-
<h2>Mac OS X<a class="headerlink" href="#mac-os-x" title="
|
|
100
|
-
<a class="reference internal image-reference" href="_images/mac.png"><img alt="_images/mac.png" src="_images/mac.png" style="width: 717px;"
|
|
96
|
+
<h2>Mac OS X<a class="headerlink" href="#mac-os-x" title="Link to this heading"></a></h2>
|
|
97
|
+
<a class="reference internal image-reference" href="_images/mac.png"><img alt="_images/mac.png" src="_images/mac.png" style="width: 717px;" />
|
|
98
|
+
</a>
|
|
101
99
|
</section>
|
|
102
100
|
<section id="linux-ubuntu-13-10">
|
|
103
|
-
<h2>Linux (Ubuntu 13.10)<a class="headerlink" href="#linux-ubuntu-13-10" title="
|
|
101
|
+
<h2>Linux (Ubuntu 13.10)<a class="headerlink" href="#linux-ubuntu-13-10" title="Link to this heading"></a></h2>
|
|
104
102
|
<img alt="_images/ubuntu.png" src="_images/ubuntu.png" />
|
|
105
103
|
</section>
|
|
106
104
|
<section id="windows-7">
|
|
107
|
-
<h2>Windows 7<a class="headerlink" href="#windows-7" title="
|
|
105
|
+
<h2>Windows 7<a class="headerlink" href="#windows-7" title="Link to this heading"></a></h2>
|
|
108
106
|
<img alt="_images/win7.png" src="_images/win7.png" />
|
|
109
107
|
</section>
|
|
110
108
|
</section>
|
|
@@ -120,7 +118,7 @@
|
|
|
120
118
|
<hr/>
|
|
121
119
|
|
|
122
120
|
<div role="contentinfo">
|
|
123
|
-
<p>© Copyright 2009-
|
|
121
|
+
<p>© Copyright 2009-2025, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
|
|
124
122
|
</div>
|
|
125
123
|
|
|
126
124
|
Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
|
snappy/doc/search.html
CHANGED
|
@@ -1,23 +1,23 @@
|
|
|
1
|
+
|
|
2
|
+
|
|
1
3
|
<!DOCTYPE html>
|
|
2
|
-
<html class="writer-html5" lang="en" >
|
|
4
|
+
<html class="writer-html5" lang="en" data-content_root="./">
|
|
3
5
|
<head>
|
|
4
6
|
<meta charset="utf-8" />
|
|
5
7
|
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
|
6
|
-
<title>Search — SnapPy 3.
|
|
7
|
-
<link rel="stylesheet"
|
|
8
|
-
<link rel="stylesheet" href="_static/css/theme.css
|
|
9
|
-
<link rel="stylesheet"
|
|
8
|
+
<title>Search — SnapPy 3.2 documentation</title>
|
|
9
|
+
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=fa44fd50" />
|
|
10
|
+
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=e59714d7" />
|
|
11
|
+
<link rel="stylesheet" type="text/css" href="_static/snappy_sphinx_rtd_theme.css?v=1b8ec2a8" />
|
|
12
|
+
|
|
13
|
+
|
|
10
14
|
<link rel="shortcut icon" href="_static/SnapPy.ico"/>
|
|
11
15
|
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
<script src="_static/_sphinx_javascript_frameworks_compat.js"></script>
|
|
18
|
-
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js"></script>
|
|
19
|
-
<script src="_static/doctools.js"></script>
|
|
20
|
-
<script src="_static/sphinx_highlight.js"></script>
|
|
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
21
|
<script src="_static/js/theme.js"></script>
|
|
22
22
|
<script src="_static/searchtools.js"></script>
|
|
23
23
|
<script src="_static/language_data.js"></script>
|
|
@@ -37,9 +37,6 @@
|
|
|
37
37
|
SnapPy
|
|
38
38
|
<img src="_static/SnapPy-horizontal-128.png" class="logo" alt="Logo"/>
|
|
39
39
|
</a>
|
|
40
|
-
<div class="version">
|
|
41
|
-
3.1
|
|
42
|
-
</div>
|
|
43
40
|
<div role="search">
|
|
44
41
|
<form id="rtd-search-form" class="wy-form" action="#" method="get">
|
|
45
42
|
<input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
|
|
@@ -108,7 +105,7 @@
|
|
|
108
105
|
<hr/>
|
|
109
106
|
|
|
110
107
|
<div role="contentinfo">
|
|
111
|
-
<p>© Copyright 2009-
|
|
108
|
+
<p>© Copyright 2009-2025, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
|
|
112
109
|
</div>
|
|
113
110
|
|
|
114
111
|
Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
|