snappy 3.1.1__cp39-cp39-win_amd64.whl → 3.2__cp39-cp39-win_amd64.whl
Sign up to get free protection for your applications and to get access to all the features.
- snappy/CyOpenGL.cp39-win_amd64.pyd +0 -0
- snappy/SnapPy.cp39-win_amd64.pyd +0 -0
- snappy/SnapPyHP.cp39-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.cp39-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 +26 -11
- 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-39.pyc +0 -0
- snappy/__pycache__/browser.cpython-39.pyc +0 -0
- snappy/__pycache__/cache.cpython-39.pyc +0 -0
- snappy/__pycache__/database.cpython-39.pyc +0 -0
- snappy/__pycache__/db_utilities.cpython-39.pyc +0 -0
- snappy/__pycache__/decorated_isosig.cpython-39.pyc +0 -0
- snappy/__pycache__/exceptions.cpython-39.pyc +0 -0
- snappy/__pycache__/export_stl.cpython-39.pyc +0 -0
- snappy/__pycache__/filedialog.cpython-39.pyc +0 -0
- snappy/__pycache__/gui.cpython-39.pyc +0 -0
- snappy/__pycache__/horoviewer.cpython-39.pyc +0 -0
- snappy/__pycache__/math_basics.cpython-39.pyc +0 -0
- snappy/__pycache__/matrix.cpython-39.pyc +0 -0
- snappy/__pycache__/number.cpython-39.pyc +0 -0
- snappy/__pycache__/numeric_output_checker.cpython-39.pyc +0 -0
- snappy/__pycache__/pari.cpython-39.pyc +0 -0
- snappy/__pycache__/polyviewer.cpython-39.pyc +0 -0
- snappy/__pycache__/sage_helper.cpython-39.pyc +0 -0
- snappy/__pycache__/version.cpython-39.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-39.pyc +0 -0
- snappy/drilling/__pycache__/constants.cpython-39.pyc +0 -0
- snappy/drilling/__pycache__/crush.cpython-39.pyc +0 -0
- snappy/drilling/__pycache__/cusps.cpython-39.pyc +0 -0
- snappy/drilling/__pycache__/debug.cpython-39.pyc +0 -0
- snappy/drilling/__pycache__/epsilons.cpython-39.pyc +0 -0
- snappy/drilling/__pycache__/exceptions.cpython-39.pyc +0 -0
- snappy/drilling/__pycache__/fixed_points.cpython-39.pyc +0 -0
- snappy/drilling/__pycache__/geodesic_info.cpython-39.pyc +0 -0
- snappy/drilling/__pycache__/geodesic_tube.cpython-39.pyc +0 -0
- snappy/drilling/__pycache__/geometric_structure.cpython-39.pyc +0 -0
- snappy/drilling/__pycache__/line.cpython-39.pyc +0 -0
- snappy/drilling/__pycache__/moves.cpython-39.pyc +0 -0
- snappy/drilling/__pycache__/peripheral_curves.cpython-39.pyc +0 -0
- snappy/drilling/__pycache__/perturb.cpython-39.pyc +0 -0
- snappy/drilling/__pycache__/quotient_space.cpython-39.pyc +0 -0
- snappy/drilling/__pycache__/spatial_dict.cpython-39.pyc +0 -0
- snappy/drilling/__pycache__/subdivide.cpython-39.pyc +0 -0
- snappy/drilling/__pycache__/tracing.cpython-39.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-39.pyc +0 -0
- snappy/exterior_to_link/__pycache__/barycentric_geometry.cpython-39.pyc +0 -0
- snappy/exterior_to_link/__pycache__/exceptions.cpython-39.pyc +0 -0
- snappy/exterior_to_link/__pycache__/hyp_utils.cpython-39.pyc +0 -0
- snappy/exterior_to_link/__pycache__/link_projection.cpython-39.pyc +0 -0
- snappy/exterior_to_link/__pycache__/main.cpython-39.pyc +0 -0
- snappy/exterior_to_link/__pycache__/mcomplex_with_expansion.cpython-39.pyc +0 -0
- snappy/exterior_to_link/__pycache__/mcomplex_with_link.cpython-39.pyc +0 -0
- snappy/exterior_to_link/__pycache__/mcomplex_with_memory.cpython-39.pyc +0 -0
- snappy/exterior_to_link/__pycache__/pl_utils.cpython-39.pyc +0 -0
- snappy/exterior_to_link/__pycache__/put_in_S3.cpython-39.pyc +0 -0
- snappy/exterior_to_link/__pycache__/rational_linear_algebra.cpython-39.pyc +0 -0
- snappy/exterior_to_link/__pycache__/simplify_to_base_tri.cpython-39.pyc +0 -0
- snappy/exterior_to_link/__pycache__/stored_moves.cpython-39.pyc +0 -0
- snappy/hyperboloid/__pycache__/__init__.cpython-39.pyc +0 -0
- snappy/manifolds/__pycache__/__init__.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/__init__.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/component.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/coordinates.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/fieldExtensions.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/findLoops.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/homology.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/manifoldMethods.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/matrix.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/numericalSolutionsToGroebnerBasis.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/polynomial.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/processComponents.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/processFileBase.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/processFileDispatch.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/processMagmaFile.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/processRurFile.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/ptolemyGeneralizedObstructionClass.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/ptolemyObstructionClass.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/ptolemyVariety.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/ptolemyVarietyPrimeIdealGroebnerBasis.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/rur.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/solutionsToPrimeIdealGroebnerBasis.cpython-39.pyc +0 -0
- snappy/ptolemy/__pycache__/utilities.cpython-39.pyc +0 -0
- snappy/snap/__pycache__/__init__.cpython-39.pyc +0 -0
- snappy/snap/__pycache__/character_varieties.cpython-39.pyc +0 -0
- snappy/snap/__pycache__/fundamental_polyhedron.cpython-39.pyc +0 -0
- snappy/snap/__pycache__/interval_reps.cpython-39.pyc +0 -0
- snappy/snap/__pycache__/kernel_structures.cpython-39.pyc +0 -0
- snappy/snap/__pycache__/mcomplex_base.cpython-39.pyc +0 -0
- snappy/snap/__pycache__/nsagetools.cpython-39.pyc +0 -0
- snappy/snap/__pycache__/polished_reps.cpython-39.pyc +0 -0
- snappy/snap/__pycache__/shapes.cpython-39.pyc +0 -0
- snappy/snap/__pycache__/slice_obs_HKL.cpython-39.pyc +0 -0
- snappy/snap/__pycache__/utilities.cpython-39.pyc +0 -0
- snappy/snap/peripheral/__pycache__/__init__.cpython-39.pyc +0 -0
- snappy/snap/peripheral/__pycache__/dual_cellulation.cpython-39.pyc +0 -0
- snappy/snap/peripheral/__pycache__/link.cpython-39.pyc +0 -0
- snappy/snap/peripheral/__pycache__/peripheral.cpython-39.pyc +0 -0
- snappy/snap/peripheral/__pycache__/surface.cpython-39.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/__init__.cpython-39.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/arrow.cpython-39.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/corner.cpython-39.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/edge.cpython-39.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/face.cpython-39.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/files.cpython-39.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/homology.cpython-39.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/linalg.cpython-39.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/mcomplex.cpython-39.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/perm4.cpython-39.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/simplex.cpython-39.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/spun.cpython-39.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/surface.cpython-39.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/tetrahedron.cpython-39.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/vertex.cpython-39.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-39.pyc +0 -0
- snappy/twister/__pycache__/main.cpython-39.pyc +0 -0
- snappy/upper_halfspace/__pycache__/__init__.cpython-39.pyc +0 -0
- snappy/upper_halfspace/__pycache__/ideal_point.cpython-39.pyc +0 -0
- snappy/verify/__pycache__/__init__.cpython-39.pyc +0 -0
- snappy/verify/__pycache__/cuspCrossSection.cpython-39.pyc +0 -0
- snappy/verify/__pycache__/cuspTranslations.cpython-39.pyc +0 -0
- snappy/verify/__pycache__/cusp_areas.cpython-39.pyc +0 -0
- snappy/verify/__pycache__/cusp_shapes.cpython-39.pyc +0 -0
- snappy/verify/__pycache__/exceptions.cpython-39.pyc +0 -0
- snappy/verify/__pycache__/interval_newton_shapes_engine.cpython-39.pyc +0 -0
- snappy/verify/__pycache__/interval_tree.cpython-39.pyc +0 -0
- snappy/verify/__pycache__/krawczyk_shapes_engine.cpython-39.pyc +0 -0
- snappy/verify/__pycache__/realAlgebra.cpython-39.pyc +0 -0
- snappy/verify/__pycache__/shapes.cpython-39.pyc +0 -0
- snappy/verify/__pycache__/short_slopes.cpython-39.pyc +0 -0
- snappy/verify/__pycache__/squareExtensions.cpython-39.pyc +0 -0
- snappy/verify/__pycache__/verifyCanonical.cpython-39.pyc +0 -0
- snappy/verify/__pycache__/verifyHyperbolicity.cpython-39.pyc +0 -0
- snappy/verify/__pycache__/volume.cpython-39.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/__init__.cpython-39.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/adjust_torsion.cpython-39.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/closed.cpython-39.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/compute_ptolemys.cpython-39.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/cusped.cpython-39.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/extended_bloch.cpython-39.pyc +0 -0
- snappy/verify/cuspCrossSection.py +0 -1422
- snappy/verify/maximal_cusp_area_matrix/__pycache__/__init__.cpython-39.pyc +0 -0
- snappy/verify/maximal_cusp_area_matrix/__pycache__/cusp_tiling_engine.cpython-39.pyc +0 -0
- snappy/verify/maximal_cusp_area_matrix/__pycache__/cusp_translate_engine.cpython-39.pyc +0 -0
- snappy/verify/upper_halfspace/__pycache__/__init__.cpython-39.pyc +0 -0
- snappy/verify/upper_halfspace/__pycache__/extended_matrix.cpython-39.pyc +0 -0
- snappy/verify/upper_halfspace/__pycache__/finite_point.cpython-39.pyc +0 -0
- snappy/verify/upper_halfspace/__pycache__/ideal_point.cpython-39.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
|