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
@@ -1,25 +1,25 @@
|
|
1
|
-
Other components
|
2
|
-
===================
|
3
|
-
|
4
|
-
SnapPy incorporates:
|
5
|
-
|
6
|
-
Ptolemy module
|
7
|
-
--------------
|
8
|
-
|
9
|
-
The `ptolemy module <http://www.unhyperbolic.org/ptolemy.html>`_ for
|
10
|
-
studying representations of 3-manifold groups into SL(*N*, **C**) and
|
11
|
-
PSL(*N*, **C**). By `Matthias Goerner
|
12
|
-
<http://www.unhyperbolic.org/>`_.
|
13
|
-
|
14
|
-
.. toctree::
|
15
|
-
:maxdepth: 3
|
16
|
-
|
17
|
-
ptolemy
|
18
|
-
|
19
|
-
Twister
|
20
|
-
-------
|
21
|
-
|
22
|
-
`Twister <https://github.com/MarkCBell/twister>`_ for building
|
23
|
-
surface bundles and Heegaard splittings from mapping class group
|
24
|
-
data. By Marc Bell, Tracy Hall, and Saul Schleimer.
|
25
|
-
|
1
|
+
Other components
|
2
|
+
===================
|
3
|
+
|
4
|
+
SnapPy incorporates:
|
5
|
+
|
6
|
+
Ptolemy module
|
7
|
+
--------------
|
8
|
+
|
9
|
+
The `ptolemy module <http://www.unhyperbolic.org/ptolemy.html>`_ for
|
10
|
+
studying representations of 3-manifold groups into SL(*N*, **C**) and
|
11
|
+
PSL(*N*, **C**). By `Matthias Goerner
|
12
|
+
<http://www.unhyperbolic.org/>`_.
|
13
|
+
|
14
|
+
.. toctree::
|
15
|
+
:maxdepth: 3
|
16
|
+
|
17
|
+
ptolemy
|
18
|
+
|
19
|
+
Twister
|
20
|
+
-------
|
21
|
+
|
22
|
+
`Twister <https://github.com/MarkCBell/twister>`_ for building
|
23
|
+
surface bundles and Heegaard splittings from mapping class group
|
24
|
+
data. By Marc Bell, Tracy Hall, and Saul Schleimer.
|
25
|
+
|
@@ -1,20 +1,20 @@
|
|
1
|
-
Censuses of Platonic manifolds
|
2
|
-
==============================
|
3
|
-
|
4
|
-
The following manifolds were tabulated in `A census of tetrahedral manifolds <http://arxiv.org/abs/1502.00383>`_ and `A census of Platonic manifolds and augmented knotted trivalent graphs <http://arxiv.org/abs/1602.02208v2>`_. An even larger census of Platonic manifolds can be downloaded `here <http://unhyperbolic.org/platonicCensus/large/platonicCensus_large_snappy_only.tar.bz2>`_.
|
5
|
-
|
6
|
-
.. currentmodule:: snappy
|
7
|
-
.. autodata:: TetrahedralOrientableCuspedCensus
|
8
|
-
.. autodata:: TetrahedralNonorientableCuspedCensus
|
9
|
-
.. autodata:: OctahedralOrientableCuspedCensus
|
10
|
-
.. autodata:: OctahedralNonorientableCuspedCensus
|
11
|
-
.. autodata:: CubicalOrientableCuspedCensus
|
12
|
-
.. autodata:: CubicalNonorientableCuspedCensus
|
13
|
-
.. autodata:: DodecahedralOrientableCuspedCensus
|
14
|
-
.. autodata:: DodecahedralNonorientableCuspedCensus
|
15
|
-
.. autodata:: IcosahedralOrientableClosedCensus
|
16
|
-
.. autodata:: IcosahedralNonorientableClosedCensus
|
17
|
-
.. autodata:: CubicalOrientableClosedCensus
|
18
|
-
.. autodata:: CubicalNonorientableClosedCensus
|
19
|
-
.. autodata:: DodecahedralOrientableClosedCensus
|
20
|
-
.. autodata:: DodecahedralNonorientableClosedCensus
|
1
|
+
Censuses of Platonic manifolds
|
2
|
+
==============================
|
3
|
+
|
4
|
+
The following manifolds were tabulated in `A census of tetrahedral manifolds <http://arxiv.org/abs/1502.00383>`_ and `A census of Platonic manifolds and augmented knotted trivalent graphs <http://arxiv.org/abs/1602.02208v2>`_. An even larger census of Platonic manifolds can be downloaded `here <http://unhyperbolic.org/platonicCensus/large/platonicCensus_large_snappy_only.tar.bz2>`_.
|
5
|
+
|
6
|
+
.. currentmodule:: snappy
|
7
|
+
.. autodata:: TetrahedralOrientableCuspedCensus
|
8
|
+
.. autodata:: TetrahedralNonorientableCuspedCensus
|
9
|
+
.. autodata:: OctahedralOrientableCuspedCensus
|
10
|
+
.. autodata:: OctahedralNonorientableCuspedCensus
|
11
|
+
.. autodata:: CubicalOrientableCuspedCensus
|
12
|
+
.. autodata:: CubicalNonorientableCuspedCensus
|
13
|
+
.. autodata:: DodecahedralOrientableCuspedCensus
|
14
|
+
.. autodata:: DodecahedralNonorientableCuspedCensus
|
15
|
+
.. autodata:: IcosahedralOrientableClosedCensus
|
16
|
+
.. autodata:: IcosahedralNonorientableClosedCensus
|
17
|
+
.. autodata:: CubicalOrientableClosedCensus
|
18
|
+
.. autodata:: CubicalNonorientableClosedCensus
|
19
|
+
.. autodata:: DodecahedralOrientableClosedCensus
|
20
|
+
.. autodata:: DodecahedralNonorientableClosedCensus
|
@@ -1,102 +1,102 @@
|
|
1
|
-
.. Documentation of the plink part of SnapPy
|
2
|
-
|
3
|
-
Using SnapPy's link editor
|
4
|
-
=================================
|
5
|
-
|
6
|
-
PLink draws piecewise linear link projections. Components may be
|
7
|
-
points, PL arcs, or PL circles. Line segments are oriented consistently in
|
8
|
-
each component. Different components are different colors.
|
9
|
-
|
10
|
-
.. image:: plink-action.png
|
11
|
-
:align: right
|
12
|
-
|
13
|
-
To invoke the link editor, do::
|
14
|
-
|
15
|
-
In[5]: M = Manifold()
|
16
|
-
|
17
|
-
Once you've drawn the link, select the menu item "PLink->Tools->Send to
|
18
|
-
SnapPy", and then *M* will be the complement of the link. If you edit
|
19
|
-
the link, you can again do "Send to SnapPy" to update *M*.
|
20
|
-
|
21
|
-
Drawing Basics
|
22
|
-
------------------------------
|
23
|
-
|
24
|
-
* When using the mouse to draw a link with PLink, you should always
|
25
|
-
*click-and-release*. Do not hold the mouse button down while drawing.
|
26
|
-
PLink requires only the left mouse button.
|
27
|
-
|
28
|
-
* The default state of the editor is indicated by the arrow cursor.
|
29
|
-
In this state, click-and-release the left mouse button on the
|
30
|
-
background to place a starting vertex and begin drawing. The vertex
|
31
|
-
will be connected to the pencil cursor by a thin red line.
|
32
|
-
Click-and-release to place a second vertex. The two vertices will
|
33
|
-
then be joined by an edge. Continue to draw other vertices and edges
|
34
|
-
to your heart's content.
|
35
|
-
|
36
|
-
* To stop drawing, either click twice on the same vertex to create an
|
37
|
-
arc, or click on an endpoint vertex. The latter operation will
|
38
|
-
either create a circle component or join together two arc
|
39
|
-
components.
|
40
|
-
|
41
|
-
* When the cursor hovers over a vertex it changes to the pointing
|
42
|
-
finger. From this state you can drag a vertex to a new location
|
43
|
-
with a click-and-release on the vertex. The vertex will become
|
44
|
-
enclosed in a circular cursor. Move it to where you want it to go
|
45
|
-
and click the left (or middle) button to place it. If you drag one
|
46
|
-
endpoint on top of another, they will meld.
|
47
|
-
|
48
|
-
* When the cursor hovers over an edge, not too close to a vertex or
|
49
|
-
crossing, it changes to the push-me-pull-you cursor. Clicking in
|
50
|
-
this state will change the orientation of the component containing
|
51
|
-
the edge.
|
52
|
-
|
53
|
-
* When the cursor hovers over a crossing it changes to the yin-yang
|
54
|
-
recycling cursor. Clicking while in this state changes the the
|
55
|
-
handedness of the crossing.
|
56
|
-
|
57
|
-
* Double-clicking on an endpoint vertex will restart drawing from
|
58
|
-
that vertex. Double-clicking on a non-endpoint vertex will break
|
59
|
-
the link at that point and begin drawing with the old incoming edge.
|
60
|
-
|
61
|
-
* While in drawing state, hitting the Delete key removes the last
|
62
|
-
vertex before the cursor. If no vertices remain, the drawing state
|
63
|
-
ends and the active component is removed. This can be used to
|
64
|
-
remove a segment from the diagram. Double-click a vertex; hit
|
65
|
-
Delete to remove the incoming segment at that vertex; then click the
|
66
|
-
vertex again to reconnect.
|
67
|
-
|
68
|
-
* You will not be allowed to create edges that pass too close to a
|
69
|
-
vertex or a crossing, or to place vertices too close to edges or to
|
70
|
-
crossings or to other vertices. If you attempt to do any of these
|
71
|
-
things, PLink will flash the drawing canvas.
|
72
|
-
|
73
|
-
Miscellaneous Features
|
74
|
-
---------------------------------
|
75
|
-
|
76
|
-
The window can be resized to allow for different sizes of link
|
77
|
-
projections, and the arrow keys can be used to slide the projection
|
78
|
-
around in order to make more room on one side or another.
|
79
|
-
|
80
|
-
The "Tools" menu can be used to make the projection alternating
|
81
|
-
(provided that all components are circles), or to clear the screen,
|
82
|
-
or to reflect the projection in the xy-plane, changing all crossings.
|
83
|
-
Also, the "Tools" menu includes the "send to SnapPy" command.
|
84
|
-
|
85
|
-
The "File" menu can be used to save the projection as a SnapPea
|
86
|
-
link projection file. (This can be done from the drawing state as
|
87
|
-
well, in which case the "hot vertex" is remembered in the file!). The
|
88
|
-
"File->Open File" command will read a SnapPea link projection file,
|
89
|
-
and restart drawing if the projection was saved while drawing.
|
90
|
-
|
91
|
-
The "Info" menu selects information about the link projection to be
|
92
|
-
displayed in the info line at the bottom. Various encoding schemes
|
93
|
-
for link projections are supported, as well as the blackboard framing
|
94
|
-
curves, expressed in meridian-longitude coordinates. Cutting and
|
95
|
-
pasting from the info line is supported. The numerical and
|
96
|
-
alphabetical Dowker-Thistlethwaite codes are displayed in an extended
|
97
|
-
form which includes a full description of the planar embedding. The
|
98
|
-
string printed in the info line is also accepted as input to SnapPy's
|
99
|
-
Manifold constructor. That is, you can paste the complete DT code,
|
100
|
-
for example ``DT: [(-4,6,2)], [0,0,1]``, between the apostrophes in
|
101
|
-
Manifold(''). The "DT labels" option displays the indexing used in
|
102
|
-
computing the Dowker-Thistlethwaite codes.
|
1
|
+
.. Documentation of the plink part of SnapPy
|
2
|
+
|
3
|
+
Using SnapPy's link editor
|
4
|
+
=================================
|
5
|
+
|
6
|
+
PLink draws piecewise linear link projections. Components may be
|
7
|
+
points, PL arcs, or PL circles. Line segments are oriented consistently in
|
8
|
+
each component. Different components are different colors.
|
9
|
+
|
10
|
+
.. image:: plink-action.png
|
11
|
+
:align: right
|
12
|
+
|
13
|
+
To invoke the link editor, do::
|
14
|
+
|
15
|
+
In[5]: M = Manifold()
|
16
|
+
|
17
|
+
Once you've drawn the link, select the menu item "PLink->Tools->Send to
|
18
|
+
SnapPy", and then *M* will be the complement of the link. If you edit
|
19
|
+
the link, you can again do "Send to SnapPy" to update *M*.
|
20
|
+
|
21
|
+
Drawing Basics
|
22
|
+
------------------------------
|
23
|
+
|
24
|
+
* When using the mouse to draw a link with PLink, you should always
|
25
|
+
*click-and-release*. Do not hold the mouse button down while drawing.
|
26
|
+
PLink requires only the left mouse button.
|
27
|
+
|
28
|
+
* The default state of the editor is indicated by the arrow cursor.
|
29
|
+
In this state, click-and-release the left mouse button on the
|
30
|
+
background to place a starting vertex and begin drawing. The vertex
|
31
|
+
will be connected to the pencil cursor by a thin red line.
|
32
|
+
Click-and-release to place a second vertex. The two vertices will
|
33
|
+
then be joined by an edge. Continue to draw other vertices and edges
|
34
|
+
to your heart's content.
|
35
|
+
|
36
|
+
* To stop drawing, either click twice on the same vertex to create an
|
37
|
+
arc, or click on an endpoint vertex. The latter operation will
|
38
|
+
either create a circle component or join together two arc
|
39
|
+
components.
|
40
|
+
|
41
|
+
* When the cursor hovers over a vertex it changes to the pointing
|
42
|
+
finger. From this state you can drag a vertex to a new location
|
43
|
+
with a click-and-release on the vertex. The vertex will become
|
44
|
+
enclosed in a circular cursor. Move it to where you want it to go
|
45
|
+
and click the left (or middle) button to place it. If you drag one
|
46
|
+
endpoint on top of another, they will meld.
|
47
|
+
|
48
|
+
* When the cursor hovers over an edge, not too close to a vertex or
|
49
|
+
crossing, it changes to the push-me-pull-you cursor. Clicking in
|
50
|
+
this state will change the orientation of the component containing
|
51
|
+
the edge.
|
52
|
+
|
53
|
+
* When the cursor hovers over a crossing it changes to the yin-yang
|
54
|
+
recycling cursor. Clicking while in this state changes the the
|
55
|
+
handedness of the crossing.
|
56
|
+
|
57
|
+
* Double-clicking on an endpoint vertex will restart drawing from
|
58
|
+
that vertex. Double-clicking on a non-endpoint vertex will break
|
59
|
+
the link at that point and begin drawing with the old incoming edge.
|
60
|
+
|
61
|
+
* While in drawing state, hitting the Delete key removes the last
|
62
|
+
vertex before the cursor. If no vertices remain, the drawing state
|
63
|
+
ends and the active component is removed. This can be used to
|
64
|
+
remove a segment from the diagram. Double-click a vertex; hit
|
65
|
+
Delete to remove the incoming segment at that vertex; then click the
|
66
|
+
vertex again to reconnect.
|
67
|
+
|
68
|
+
* You will not be allowed to create edges that pass too close to a
|
69
|
+
vertex or a crossing, or to place vertices too close to edges or to
|
70
|
+
crossings or to other vertices. If you attempt to do any of these
|
71
|
+
things, PLink will flash the drawing canvas.
|
72
|
+
|
73
|
+
Miscellaneous Features
|
74
|
+
---------------------------------
|
75
|
+
|
76
|
+
The window can be resized to allow for different sizes of link
|
77
|
+
projections, and the arrow keys can be used to slide the projection
|
78
|
+
around in order to make more room on one side or another.
|
79
|
+
|
80
|
+
The "Tools" menu can be used to make the projection alternating
|
81
|
+
(provided that all components are circles), or to clear the screen,
|
82
|
+
or to reflect the projection in the xy-plane, changing all crossings.
|
83
|
+
Also, the "Tools" menu includes the "send to SnapPy" command.
|
84
|
+
|
85
|
+
The "File" menu can be used to save the projection as a SnapPea
|
86
|
+
link projection file. (This can be done from the drawing state as
|
87
|
+
well, in which case the "hot vertex" is remembered in the file!). The
|
88
|
+
"File->Open File" command will read a SnapPea link projection file,
|
89
|
+
and restart drawing if the projection was saved while drawing.
|
90
|
+
|
91
|
+
The "Info" menu selects information about the link projection to be
|
92
|
+
displayed in the info line at the bottom. Various encoding schemes
|
93
|
+
for link projections are supported, as well as the blackboard framing
|
94
|
+
curves, expressed in meridian-longitude coordinates. Cutting and
|
95
|
+
pasting from the info line is supported. The numerical and
|
96
|
+
alphabetical Dowker-Thistlethwaite codes are displayed in an extended
|
97
|
+
form which includes a full description of the planar embedding. The
|
98
|
+
string printed in the info line is also accepted as input to SnapPy's
|
99
|
+
Manifold constructor. That is, you can paste the complete DT code,
|
100
|
+
for example ``DT: [(-4,6,2)], [0,0,1]``, between the apostrophes in
|
101
|
+
Manifold(''). The "DT labels" option displays the indexing used in
|
102
|
+
computing the Dowker-Thistlethwaite codes.
|
@@ -1,66 +1,66 @@
|
|
1
|
-
The ptolemy module
|
2
|
-
==================
|
3
|
-
|
4
|
-
.. automodule:: snappy.ptolemy
|
5
|
-
|
6
|
-
What is the ptolemy module?
|
7
|
-
---------------------------
|
8
|
-
|
9
|
-
This module provides tools to find boundary-unipotent representations of an
|
10
|
-
oriented
|
11
|
-
3-manifold into PSL(*N*, **C**). It was used, for example, to generate the tables
|
12
|
-
of representations at
|
13
|
-
`ptolemy.unhyperbolic.org <http://ptolemy.unhyperbolic.org/html/summary.html>`_.
|
14
|
-
|
15
|
-
The ptolemy module can use `magma <http://magma.maths.usyd.edu.au/magma/>`_ for
|
16
|
-
the computations necessary to find the representations or it can automatically
|
17
|
-
retrieve the necessary computations from a database we provide that contains the
|
18
|
-
computations for all manifolds and *N* at
|
19
|
-
`ptolemy.unhyperbolic.org <http://ptolemy.unhyperbolic.org/html/summary.html>`_.
|
20
|
-
In particular, the database includes the computations for all orientable census
|
21
|
-
manifolds for PSL(2, **C**) and the examples below work without magma for these
|
22
|
-
manifolds.
|
23
|
-
This makes it useful for people who do not have magma (see :ref:`here <ptolemy-example-retrieve-exact-solutions>`).
|
24
|
-
|
25
|
-
The ptolemy module is still under development. Please report bugs or email suggestions to: enischte at gmail dot com.
|
26
|
-
|
27
|
-
Examples of what the Ptolemy module can do:
|
28
|
-
|
29
|
-
* Give the :ref:`equations for the reduced Ptolemy varieties<ptolemy-example-basic>` to find all :ref:`generically decorated <ptolemy-generically-decorated>` and :ref:`boundary-unipotent <ptolemy-boundary-unipotent>` representations into SL(*N*, **C**).
|
30
|
-
* Same for representations into PSL(*N*, **C**) using :ref:`Obstruction classes <ptolemy-example-obstruction-class>`.
|
31
|
-
* Retrieve the :ref:`exact <ptolemy-example-retrieve-exact-solutions>` and :ref:`numerical <ptolemy-example-retrieve-numerical-solutions>` solutions for these varieties.
|
32
|
-
* Compute the matrices for these representations :ref:`exactly <ptolemy-example-matrices>` or :ref:`numerically <ptolemy-example-numerical-matrix>` given a generator of or word in the fundamental group.
|
33
|
-
* Compute the :ref:`traces <ptolemy-example-traces>` for these matrices.
|
34
|
-
* Compute the :ref:`trace field <ptolemy-examples-trace-field>` of the representation.
|
35
|
-
* Compute the :ref:`boundary holonomy <ptolemy-example-boundary-holonomy>`.
|
36
|
-
* Compute the corresponding :ref:`shape parameters/cross ratios <ptolemy-example-cross-ratios>` for a representation.
|
37
|
-
* Compute the :ref:`volume <ptolemy-example-volume>` and :ref:`complex volume <ptolemy-example-complex-volume>` (volume + i Chern-Simons) for a representation.
|
38
|
-
* Compute solutions to the Ptolemy varieties :ref:`using magma or sage <ptolemy-example-using-magma-sage>`.
|
39
|
-
* Find :ref:`positively dimensional components <ptolemy-non-zero-dim-comp>` of the Ptolemy variety.
|
40
|
-
* Find :ref:`positively dimensional families <ptolemy-example-non-zero-dim-rep>` of boundary-unipotent representations.
|
41
|
-
|
42
|
-
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, **C**)-representations of ``m011`` in just one line::
|
43
|
-
|
44
|
-
>>> Manifold("m011").ptolemy_variety(2,'all').retrieve_solutions().volume_numerical()
|
45
|
-
[[[-4.30211422042248 E-16, -0.942707362776931, 0.942707362776931]],
|
46
|
-
[[4.64255370258293 E-15, 3.94215909915729 E-15, -2.78183391239608, 2.78183391239608]]]
|
47
|
-
|
48
|
-
Here, we see that ``m011`` has a representation that is not Galois-conjugate to the geometric representation and that has the volume 0.9427... of the Weeks manifold.
|
49
|
-
|
50
|
-
**Remark:** Please check your Internet connection if the above example does not work.
|
51
|
-
|
52
|
-
Documentation
|
53
|
-
-------------
|
54
|
-
|
55
|
-
.. toctree::
|
56
|
-
:maxdepth: 2
|
57
|
-
|
58
|
-
ptolemy_prelim
|
59
|
-
ptolemy_examples1
|
60
|
-
ptolemy_examples2
|
61
|
-
ptolemy_examples3
|
62
|
-
ptolemy_examples4
|
63
|
-
ptolemy_classes
|
64
|
-
|
65
|
-
|
66
|
-
|
1
|
+
The ptolemy module
|
2
|
+
==================
|
3
|
+
|
4
|
+
.. automodule:: snappy.ptolemy
|
5
|
+
|
6
|
+
What is the ptolemy module?
|
7
|
+
---------------------------
|
8
|
+
|
9
|
+
This module provides tools to find boundary-unipotent representations of an
|
10
|
+
oriented
|
11
|
+
3-manifold into PSL(*N*, **C**). It was used, for example, to generate the tables
|
12
|
+
of representations at
|
13
|
+
`ptolemy.unhyperbolic.org <http://ptolemy.unhyperbolic.org/html/summary.html>`_.
|
14
|
+
|
15
|
+
The ptolemy module can use `magma <http://magma.maths.usyd.edu.au/magma/>`_ for
|
16
|
+
the computations necessary to find the representations or it can automatically
|
17
|
+
retrieve the necessary computations from a database we provide that contains the
|
18
|
+
computations for all manifolds and *N* at
|
19
|
+
`ptolemy.unhyperbolic.org <http://ptolemy.unhyperbolic.org/html/summary.html>`_.
|
20
|
+
In particular, the database includes the computations for all orientable census
|
21
|
+
manifolds for PSL(2, **C**) and the examples below work without magma for these
|
22
|
+
manifolds.
|
23
|
+
This makes it useful for people who do not have magma (see :ref:`here <ptolemy-example-retrieve-exact-solutions>`).
|
24
|
+
|
25
|
+
The ptolemy module is still under development. Please report bugs or email suggestions to: enischte at gmail dot com.
|
26
|
+
|
27
|
+
Examples of what the Ptolemy module can do:
|
28
|
+
|
29
|
+
* Give the :ref:`equations for the reduced Ptolemy varieties<ptolemy-example-basic>` to find all :ref:`generically decorated <ptolemy-generically-decorated>` and :ref:`boundary-unipotent <ptolemy-boundary-unipotent>` representations into SL(*N*, **C**).
|
30
|
+
* Same for representations into PSL(*N*, **C**) using :ref:`Obstruction classes <ptolemy-example-obstruction-class>`.
|
31
|
+
* Retrieve the :ref:`exact <ptolemy-example-retrieve-exact-solutions>` and :ref:`numerical <ptolemy-example-retrieve-numerical-solutions>` solutions for these varieties.
|
32
|
+
* Compute the matrices for these representations :ref:`exactly <ptolemy-example-matrices>` or :ref:`numerically <ptolemy-example-numerical-matrix>` given a generator of or word in the fundamental group.
|
33
|
+
* Compute the :ref:`traces <ptolemy-example-traces>` for these matrices.
|
34
|
+
* Compute the :ref:`trace field <ptolemy-examples-trace-field>` of the representation.
|
35
|
+
* Compute the :ref:`boundary holonomy <ptolemy-example-boundary-holonomy>`.
|
36
|
+
* Compute the corresponding :ref:`shape parameters/cross ratios <ptolemy-example-cross-ratios>` for a representation.
|
37
|
+
* Compute the :ref:`volume <ptolemy-example-volume>` and :ref:`complex volume <ptolemy-example-complex-volume>` (volume + i Chern-Simons) for a representation.
|
38
|
+
* Compute solutions to the Ptolemy varieties :ref:`using magma or sage <ptolemy-example-using-magma-sage>`.
|
39
|
+
* Find :ref:`positively dimensional components <ptolemy-non-zero-dim-comp>` of the Ptolemy variety.
|
40
|
+
* Find :ref:`positively dimensional families <ptolemy-example-non-zero-dim-rep>` of boundary-unipotent representations.
|
41
|
+
|
42
|
+
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, **C**)-representations of ``m011`` in just one line::
|
43
|
+
|
44
|
+
>>> Manifold("m011").ptolemy_variety(2,'all').retrieve_solutions().volume_numerical()
|
45
|
+
[[[-4.30211422042248 E-16, -0.942707362776931, 0.942707362776931]],
|
46
|
+
[[4.64255370258293 E-15, 3.94215909915729 E-15, -2.78183391239608, 2.78183391239608]]]
|
47
|
+
|
48
|
+
Here, we see that ``m011`` has a representation that is not Galois-conjugate to the geometric representation and that has the volume 0.9427... of the Weeks manifold.
|
49
|
+
|
50
|
+
**Remark:** Please check your Internet connection if the above example does not work.
|
51
|
+
|
52
|
+
Documentation
|
53
|
+
-------------
|
54
|
+
|
55
|
+
.. toctree::
|
56
|
+
:maxdepth: 2
|
57
|
+
|
58
|
+
ptolemy_prelim
|
59
|
+
ptolemy_examples1
|
60
|
+
ptolemy_examples2
|
61
|
+
ptolemy_examples3
|
62
|
+
ptolemy_examples4
|
63
|
+
ptolemy_classes
|
64
|
+
|
65
|
+
|
66
|
+
|
@@ -1,42 +1,42 @@
|
|
1
|
-
Classes
|
2
|
-
==============================
|
3
|
-
|
4
|
-
PtolemyVariety
|
5
|
-
--------------
|
6
|
-
|
7
|
-
.. autoclass:: snappy.ptolemy.ptolemyVariety.PtolemyVariety
|
8
|
-
:members:
|
9
|
-
|
10
|
-
PtolemyCoordinates
|
11
|
-
------------------
|
12
|
-
|
13
|
-
.. autoclass:: snappy.ptolemy.coordinates.PtolemyCoordinates
|
14
|
-
:members:
|
15
|
-
|
16
|
-
CrossRatios
|
17
|
-
-----------
|
18
|
-
|
19
|
-
.. autoclass:: snappy.ptolemy.coordinates.CrossRatios
|
20
|
-
:members:
|
21
|
-
|
22
|
-
Flattenings
|
23
|
-
-----------
|
24
|
-
|
25
|
-
.. autoclass:: snappy.ptolemy.coordinates.Flattenings
|
26
|
-
:members:
|
27
|
-
|
28
|
-
NonZeroDimensionalComponent
|
29
|
-
---------------------------
|
30
|
-
|
31
|
-
.. autoclass:: snappy.ptolemy.component.NonZeroDimensionalComponent
|
32
|
-
:members:
|
33
|
-
|
34
|
-
Other functions
|
35
|
-
---------------
|
36
|
-
|
37
|
-
.. autofunction:: snappy.ptolemy.solutions_from_magma
|
38
|
-
|
39
|
-
.. autofunction:: snappy.ptolemy.solutions_from_magma_file
|
40
|
-
|
41
|
-
|
42
|
-
.. [FKR2013] Falbel, Koseleff, Rouillier: Representations of Fundamental Groups of 3-Manifolds into PGL(3,C): Exact Computations in Low Complexity, http://arxiv.org/abs/1307.6697
|
1
|
+
Classes
|
2
|
+
==============================
|
3
|
+
|
4
|
+
PtolemyVariety
|
5
|
+
--------------
|
6
|
+
|
7
|
+
.. autoclass:: snappy.ptolemy.ptolemyVariety.PtolemyVariety
|
8
|
+
:members:
|
9
|
+
|
10
|
+
PtolemyCoordinates
|
11
|
+
------------------
|
12
|
+
|
13
|
+
.. autoclass:: snappy.ptolemy.coordinates.PtolemyCoordinates
|
14
|
+
:members:
|
15
|
+
|
16
|
+
CrossRatios
|
17
|
+
-----------
|
18
|
+
|
19
|
+
.. autoclass:: snappy.ptolemy.coordinates.CrossRatios
|
20
|
+
:members:
|
21
|
+
|
22
|
+
Flattenings
|
23
|
+
-----------
|
24
|
+
|
25
|
+
.. autoclass:: snappy.ptolemy.coordinates.Flattenings
|
26
|
+
:members:
|
27
|
+
|
28
|
+
NonZeroDimensionalComponent
|
29
|
+
---------------------------
|
30
|
+
|
31
|
+
.. autoclass:: snappy.ptolemy.component.NonZeroDimensionalComponent
|
32
|
+
:members:
|
33
|
+
|
34
|
+
Other functions
|
35
|
+
---------------
|
36
|
+
|
37
|
+
.. autofunction:: snappy.ptolemy.solutions_from_magma
|
38
|
+
|
39
|
+
.. autofunction:: snappy.ptolemy.solutions_from_magma_file
|
40
|
+
|
41
|
+
|
42
|
+
.. [FKR2013] Falbel, Koseleff, Rouillier: Representations of Fundamental Groups of 3-Manifolds into PGL(3,C): Exact Computations in Low Complexity, http://arxiv.org/abs/1307.6697
|