snappy 3.3__cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.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.cpython-310-aarch64-linux-gnu.so +0 -0
- snappy/SnapPy.cpython-310-aarch64-linux-gnu.so +0 -0
- snappy/SnapPy.ico +0 -0
- snappy/SnapPy.png +0 -0
- snappy/SnapPyHP.cpython-310-aarch64-linux-gnu.so +0 -0
- snappy/__init__.py +534 -0
- snappy/app.py +604 -0
- snappy/app_menus.py +372 -0
- snappy/browser.py +998 -0
- snappy/cache.py +25 -0
- snappy/canonical.py +249 -0
- snappy/cusps/__init__.py +280 -0
- snappy/cusps/cusp_area_matrix.py +98 -0
- snappy/cusps/cusp_areas_from_matrix.py +96 -0
- snappy/cusps/maximal_cusp_area_matrix.py +136 -0
- snappy/cusps/short_slopes_for_cusp.py +217 -0
- snappy/cusps/test.py +22 -0
- snappy/cusps/trig_cusp_area_matrix.py +63 -0
- snappy/database.py +454 -0
- snappy/db_utilities.py +79 -0
- snappy/decorated_isosig.py +717 -0
- snappy/dev/__init__.py +0 -0
- snappy/dev/extended_ptolemy/__init__.py +8 -0
- snappy/dev/extended_ptolemy/closed.py +106 -0
- snappy/dev/extended_ptolemy/complexVolumesClosed.py +149 -0
- snappy/dev/extended_ptolemy/direct.py +42 -0
- snappy/dev/extended_ptolemy/extended.py +406 -0
- snappy/dev/extended_ptolemy/giac_helper.py +43 -0
- snappy/dev/extended_ptolemy/giac_rur.py +129 -0
- snappy/dev/extended_ptolemy/gluing.py +46 -0
- snappy/dev/extended_ptolemy/phc_wrapper.py +220 -0
- snappy/dev/extended_ptolemy/printMatrices.py +70 -0
- snappy/dev/vericlosed/__init__.py +1 -0
- snappy/dev/vericlosed/computeApproxHyperbolicStructureNew.py +159 -0
- snappy/dev/vericlosed/computeApproxHyperbolicStructureOrb.py +90 -0
- snappy/dev/vericlosed/computeVerifiedHyperbolicStructure.py +111 -0
- snappy/dev/vericlosed/gimbalLoopFinder.py +130 -0
- snappy/dev/vericlosed/hyperbolicStructure.py +313 -0
- snappy/dev/vericlosed/krawczykCertifiedEdgeLengthsEngine.py +165 -0
- snappy/dev/vericlosed/oneVertexTruncatedComplex.py +122 -0
- snappy/dev/vericlosed/orb/__init__.py +1 -0
- snappy/dev/vericlosed/orb/orb_solution_for_snappea_finite_triangulation_mac +0 -0
- snappy/dev/vericlosed/parseVertexGramMatrixFile.py +47 -0
- snappy/dev/vericlosed/polishApproxHyperbolicStructure.py +61 -0
- snappy/dev/vericlosed/test.py +54 -0
- snappy/dev/vericlosed/truncatedComplex.py +176 -0
- snappy/dev/vericlosed/verificationError.py +58 -0
- snappy/dev/vericlosed/verifyHyperbolicStructureEngine.py +177 -0
- snappy/doc/_images/SnapPy-196.png +0 -0
- snappy/doc/_images/m004_paper_plane_on_systole.jpg +0 -0
- snappy/doc/_images/m125_paper_plane.jpg +0 -0
- snappy/doc/_images/mac.png +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/_images/plink-action.png +0 -0
- snappy/doc/_images/ubuntu.png +0 -0
- snappy/doc/_images/win7.png +0 -0
- snappy/doc/_sources/additional_classes.rst.txt +40 -0
- snappy/doc/_sources/bugs.rst.txt +14 -0
- snappy/doc/_sources/censuses.rst.txt +52 -0
- snappy/doc/_sources/credits.rst.txt +81 -0
- snappy/doc/_sources/development.rst.txt +261 -0
- snappy/doc/_sources/index.rst.txt +215 -0
- snappy/doc/_sources/installing.rst.txt +249 -0
- snappy/doc/_sources/manifold.rst.txt +6 -0
- snappy/doc/_sources/manifoldhp.rst.txt +46 -0
- snappy/doc/_sources/news.rst.txt +425 -0
- snappy/doc/_sources/other.rst.txt +25 -0
- snappy/doc/_sources/platonic_census.rst.txt +20 -0
- snappy/doc/_sources/plink.rst.txt +102 -0
- snappy/doc/_sources/ptolemy.rst.txt +66 -0
- snappy/doc/_sources/ptolemy_classes.rst.txt +42 -0
- snappy/doc/_sources/ptolemy_examples1.rst.txt +298 -0
- snappy/doc/_sources/ptolemy_examples2.rst.txt +363 -0
- snappy/doc/_sources/ptolemy_examples3.rst.txt +301 -0
- snappy/doc/_sources/ptolemy_examples4.rst.txt +61 -0
- snappy/doc/_sources/ptolemy_prelim.rst.txt +105 -0
- snappy/doc/_sources/screenshots.rst.txt +21 -0
- snappy/doc/_sources/snap.rst.txt +87 -0
- snappy/doc/_sources/snappy.rst.txt +28 -0
- snappy/doc/_sources/spherogram.rst.txt +103 -0
- snappy/doc/_sources/todo.rst.txt +47 -0
- snappy/doc/_sources/triangulation.rst.txt +11 -0
- snappy/doc/_sources/tutorial.rst.txt +49 -0
- snappy/doc/_sources/verify.rst.txt +210 -0
- snappy/doc/_sources/verify_internals.rst.txt +79 -0
- snappy/doc/_static/SnapPy-horizontal-128.png +0 -0
- snappy/doc/_static/SnapPy.ico +0 -0
- snappy/doc/_static/_sphinx_javascript_frameworks_compat.js +123 -0
- snappy/doc/_static/basic.css +906 -0
- snappy/doc/_static/css/badge_only.css +1 -0
- snappy/doc/_static/css/fonts/Roboto-Slab-Bold.woff +0 -0
- snappy/doc/_static/css/fonts/Roboto-Slab-Bold.woff2 +0 -0
- snappy/doc/_static/css/fonts/Roboto-Slab-Regular.woff +0 -0
- snappy/doc/_static/css/fonts/Roboto-Slab-Regular.woff2 +0 -0
- snappy/doc/_static/css/fonts/fontawesome-webfont.eot +0 -0
- snappy/doc/_static/css/fonts/fontawesome-webfont.svg +2671 -0
- snappy/doc/_static/css/fonts/fontawesome-webfont.ttf +0 -0
- snappy/doc/_static/css/fonts/fontawesome-webfont.woff +0 -0
- snappy/doc/_static/css/fonts/fontawesome-webfont.woff2 +0 -0
- snappy/doc/_static/css/fonts/lato-bold-italic.woff +0 -0
- snappy/doc/_static/css/fonts/lato-bold-italic.woff2 +0 -0
- snappy/doc/_static/css/fonts/lato-bold.woff +0 -0
- snappy/doc/_static/css/fonts/lato-bold.woff2 +0 -0
- snappy/doc/_static/css/fonts/lato-normal-italic.woff +0 -0
- snappy/doc/_static/css/fonts/lato-normal-italic.woff2 +0 -0
- snappy/doc/_static/css/fonts/lato-normal.woff +0 -0
- snappy/doc/_static/css/fonts/lato-normal.woff2 +0 -0
- snappy/doc/_static/css/theme.css +4 -0
- snappy/doc/_static/doctools.js +149 -0
- snappy/doc/_static/documentation_options.js +13 -0
- snappy/doc/_static/file.png +0 -0
- snappy/doc/_static/fonts/Lato/lato-bold.eot +0 -0
- snappy/doc/_static/fonts/Lato/lato-bold.ttf +0 -0
- snappy/doc/_static/fonts/Lato/lato-bold.woff +0 -0
- snappy/doc/_static/fonts/Lato/lato-bold.woff2 +0 -0
- snappy/doc/_static/fonts/Lato/lato-bolditalic.eot +0 -0
- snappy/doc/_static/fonts/Lato/lato-bolditalic.ttf +0 -0
- snappy/doc/_static/fonts/Lato/lato-bolditalic.woff +0 -0
- snappy/doc/_static/fonts/Lato/lato-bolditalic.woff2 +0 -0
- snappy/doc/_static/fonts/Lato/lato-italic.eot +0 -0
- snappy/doc/_static/fonts/Lato/lato-italic.ttf +0 -0
- snappy/doc/_static/fonts/Lato/lato-italic.woff +0 -0
- snappy/doc/_static/fonts/Lato/lato-italic.woff2 +0 -0
- snappy/doc/_static/fonts/Lato/lato-regular.eot +0 -0
- snappy/doc/_static/fonts/Lato/lato-regular.ttf +0 -0
- snappy/doc/_static/fonts/Lato/lato-regular.woff +0 -0
- snappy/doc/_static/fonts/Lato/lato-regular.woff2 +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.eot +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.ttf +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff2 +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.eot +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.ttf +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff2 +0 -0
- snappy/doc/_static/jquery.js +2 -0
- snappy/doc/_static/js/badge_only.js +1 -0
- snappy/doc/_static/js/theme.js +1 -0
- snappy/doc/_static/js/versions.js +228 -0
- snappy/doc/_static/language_data.js +192 -0
- snappy/doc/_static/minus.png +0 -0
- snappy/doc/_static/plus.png +0 -0
- snappy/doc/_static/pygments.css +75 -0
- snappy/doc/_static/searchtools.js +635 -0
- snappy/doc/_static/snappy_furo.css +33 -0
- snappy/doc/_static/snappy_sphinx_rtd_theme.css +42 -0
- snappy/doc/_static/sphinx_highlight.js +154 -0
- snappy/doc/additional_classes.html +1500 -0
- snappy/doc/bugs.html +132 -0
- snappy/doc/censuses.html +453 -0
- snappy/doc/credits.html +184 -0
- snappy/doc/development.html +385 -0
- snappy/doc/doc-latest/additional_classes.html +1500 -0
- snappy/doc/doc-latest/bugs.html +132 -0
- snappy/doc/doc-latest/censuses.html +453 -0
- snappy/doc/doc-latest/credits.html +184 -0
- snappy/doc/doc-latest/development.html +385 -0
- snappy/doc/doc-latest/genindex.html +1349 -0
- snappy/doc/doc-latest/index.html +287 -0
- snappy/doc/doc-latest/installing.html +346 -0
- snappy/doc/doc-latest/manifold.html +3632 -0
- snappy/doc/doc-latest/manifoldhp.html +180 -0
- snappy/doc/doc-latest/news.html +438 -0
- snappy/doc/doc-latest/objects.inv +0 -0
- snappy/doc/doc-latest/other.html +160 -0
- snappy/doc/doc-latest/platonic_census.html +376 -0
- snappy/doc/doc-latest/plink.html +210 -0
- snappy/doc/doc-latest/ptolemy.html +253 -0
- snappy/doc/doc-latest/ptolemy_classes.html +1144 -0
- snappy/doc/doc-latest/ptolemy_examples1.html +409 -0
- snappy/doc/doc-latest/ptolemy_examples2.html +471 -0
- snappy/doc/doc-latest/ptolemy_examples3.html +414 -0
- snappy/doc/doc-latest/ptolemy_examples4.html +195 -0
- snappy/doc/doc-latest/ptolemy_prelim.html +248 -0
- snappy/doc/doc-latest/py-modindex.html +165 -0
- snappy/doc/doc-latest/screenshots.html +141 -0
- snappy/doc/doc-latest/search.html +135 -0
- snappy/doc/doc-latest/searchindex.js +1 -0
- snappy/doc/doc-latest/snap.html +202 -0
- snappy/doc/doc-latest/snappy.html +181 -0
- snappy/doc/doc-latest/spherogram.html +1346 -0
- snappy/doc/doc-latest/todo.html +166 -0
- snappy/doc/doc-latest/triangulation.html +1676 -0
- snappy/doc/doc-latest/tutorial.html +159 -0
- snappy/doc/doc-latest/verify.html +330 -0
- snappy/doc/doc-latest/verify_internals.html +1235 -0
- snappy/doc/genindex.html +1349 -0
- snappy/doc/index.html +287 -0
- snappy/doc/installing.html +346 -0
- snappy/doc/manifold.html +3632 -0
- snappy/doc/manifoldhp.html +180 -0
- snappy/doc/news.html +438 -0
- snappy/doc/objects.inv +0 -0
- snappy/doc/other.html +160 -0
- snappy/doc/platonic_census.html +376 -0
- snappy/doc/plink.html +210 -0
- snappy/doc/ptolemy.html +253 -0
- snappy/doc/ptolemy_classes.html +1144 -0
- snappy/doc/ptolemy_examples1.html +409 -0
- snappy/doc/ptolemy_examples2.html +471 -0
- snappy/doc/ptolemy_examples3.html +414 -0
- snappy/doc/ptolemy_examples4.html +195 -0
- snappy/doc/ptolemy_prelim.html +248 -0
- snappy/doc/py-modindex.html +165 -0
- snappy/doc/screenshots.html +141 -0
- snappy/doc/search.html +135 -0
- snappy/doc/searchindex.js +1 -0
- snappy/doc/snap.html +202 -0
- snappy/doc/snappy.html +181 -0
- snappy/doc/spherogram.html +1346 -0
- snappy/doc/todo.html +166 -0
- snappy/doc/triangulation.html +1676 -0
- snappy/doc/tutorial.html +159 -0
- snappy/doc/verify.html +330 -0
- snappy/doc/verify_internals.html +1235 -0
- snappy/drilling/__init__.py +456 -0
- snappy/drilling/barycentric.py +103 -0
- snappy/drilling/constants.py +5 -0
- snappy/drilling/crush.py +270 -0
- snappy/drilling/cusps.py +125 -0
- snappy/drilling/debug.py +242 -0
- snappy/drilling/epsilons.py +6 -0
- snappy/drilling/exceptions.py +55 -0
- snappy/drilling/moves.py +620 -0
- snappy/drilling/peripheral_curves.py +210 -0
- snappy/drilling/perturb.py +188 -0
- snappy/drilling/shorten.py +36 -0
- snappy/drilling/subdivide.py +274 -0
- snappy/drilling/test.py +23 -0
- snappy/drilling/test_cases.py +132 -0
- snappy/drilling/tracing.py +351 -0
- snappy/exceptions.py +26 -0
- snappy/export_stl.py +120 -0
- snappy/exterior_to_link/__init__.py +2 -0
- snappy/exterior_to_link/barycentric_geometry.py +463 -0
- snappy/exterior_to_link/exceptions.py +6 -0
- snappy/exterior_to_link/geodesic_map.json +14408 -0
- snappy/exterior_to_link/hyp_utils.py +112 -0
- snappy/exterior_to_link/link_projection.py +323 -0
- snappy/exterior_to_link/main.py +198 -0
- snappy/exterior_to_link/mcomplex_with_expansion.py +261 -0
- snappy/exterior_to_link/mcomplex_with_link.py +687 -0
- snappy/exterior_to_link/mcomplex_with_memory.py +162 -0
- snappy/exterior_to_link/pl_utils.py +491 -0
- snappy/exterior_to_link/put_in_S3.py +156 -0
- snappy/exterior_to_link/rational_linear_algebra.py +130 -0
- snappy/exterior_to_link/rational_linear_algebra_wrapped.py +135 -0
- snappy/exterior_to_link/simplify_to_base_tri.py +114 -0
- snappy/exterior_to_link/stored_moves.py +475 -0
- snappy/exterior_to_link/test.py +31 -0
- snappy/filedialog.py +28 -0
- snappy/geometric_structure/__init__.py +212 -0
- snappy/geometric_structure/cusp_neighborhood/__init__.py +3 -0
- snappy/geometric_structure/cusp_neighborhood/complex_cusp_cross_section.py +691 -0
- snappy/geometric_structure/cusp_neighborhood/cusp_cross_section_base.py +480 -0
- snappy/geometric_structure/cusp_neighborhood/exceptions.py +41 -0
- snappy/geometric_structure/cusp_neighborhood/real_cusp_cross_section.py +294 -0
- snappy/geometric_structure/cusp_neighborhood/tiles_for_cusp_neighborhood.py +156 -0
- snappy/geometric_structure/cusp_neighborhood/vertices.py +35 -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_representatives.py +52 -0
- snappy/geometric_structure/geodesic/check_away_from_core_curve.py +60 -0
- snappy/geometric_structure/geodesic/constants.py +6 -0
- snappy/geometric_structure/geodesic/exceptions.py +22 -0
- snappy/geometric_structure/geodesic/fixed_points.py +106 -0
- snappy/geometric_structure/geodesic/geodesic_start_point_info.py +435 -0
- snappy/geometric_structure/geodesic/graph_trace_helper.py +67 -0
- snappy/geometric_structure/geodesic/line.py +30 -0
- snappy/geometric_structure/geodesic/multiplicity.py +127 -0
- snappy/geometric_structure/geodesic/tiles_for_geodesic.py +128 -0
- snappy/geometric_structure/test.py +22 -0
- snappy/gui.py +121 -0
- snappy/horoviewer.py +443 -0
- snappy/hyperboloid/__init__.py +212 -0
- snappy/hyperboloid/distances.py +259 -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/info_icon.gif +0 -0
- snappy/infowindow.py +65 -0
- snappy/isometry_signature.py +389 -0
- snappy/len_spec/__init__.py +609 -0
- snappy/len_spec/geodesic_info.py +129 -0
- snappy/len_spec/geodesic_key_info_dict.py +116 -0
- snappy/len_spec/geodesic_piece.py +146 -0
- snappy/len_spec/geometric_structure.py +182 -0
- snappy/len_spec/geometry.py +136 -0
- snappy/len_spec/length_spectrum_geodesic_info.py +185 -0
- snappy/len_spec/spine.py +128 -0
- snappy/len_spec/test.py +24 -0
- snappy/len_spec/test_cases.py +69 -0
- snappy/len_spec/tile.py +276 -0
- snappy/len_spec/word.py +86 -0
- snappy/manifolds/HTWKnots/alternating.gz +0 -0
- snappy/manifolds/HTWKnots/nonalternating.gz +0 -0
- snappy/manifolds/__init__.py +3 -0
- snappy/margulis/__init__.py +332 -0
- snappy/margulis/cusp_neighborhood_neighborhood.py +66 -0
- snappy/margulis/geodesic_neighborhood.py +152 -0
- snappy/margulis/margulis_info.py +21 -0
- snappy/margulis/mu_from_neighborhood_pair.py +175 -0
- snappy/margulis/neighborhood.py +29 -0
- snappy/margulis/test.py +22 -0
- snappy/math_basics.py +187 -0
- snappy/matrix.py +525 -0
- snappy/number.py +657 -0
- snappy/numeric_output_checker.py +345 -0
- snappy/pari.py +41 -0
- snappy/phone_home.py +57 -0
- snappy/polyviewer.py +259 -0
- snappy/ptolemy/__init__.py +17 -0
- snappy/ptolemy/component.py +103 -0
- snappy/ptolemy/coordinates.py +2290 -0
- snappy/ptolemy/fieldExtensions.py +153 -0
- snappy/ptolemy/findLoops.py +473 -0
- snappy/ptolemy/geometricRep.py +59 -0
- snappy/ptolemy/homology.py +165 -0
- snappy/ptolemy/magma/default.magma_template +229 -0
- snappy/ptolemy/magma/radicalsOfPrimaryDecomposition.magma_template +79 -0
- snappy/ptolemy/manifoldMethods.py +395 -0
- snappy/ptolemy/matrix.py +350 -0
- snappy/ptolemy/numericalSolutionsToGroebnerBasis.py +113 -0
- snappy/ptolemy/polynomial.py +856 -0
- snappy/ptolemy/processComponents.py +173 -0
- snappy/ptolemy/processFileBase.py +247 -0
- snappy/ptolemy/processFileDispatch.py +46 -0
- snappy/ptolemy/processMagmaFile.py +392 -0
- snappy/ptolemy/processRurFile.py +150 -0
- snappy/ptolemy/ptolemyGeneralizedObstructionClass.py +102 -0
- snappy/ptolemy/ptolemyObstructionClass.py +64 -0
- snappy/ptolemy/ptolemyVariety.py +995 -0
- snappy/ptolemy/ptolemyVarietyPrimeIdealGroebnerBasis.py +140 -0
- snappy/ptolemy/reginaWrapper.py +698 -0
- snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c2.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c3.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c4.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c5.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c6.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c7.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files_generalized/m003__sl3_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files_generalized/m003__sl3_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files_generalized/m015__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files_generalized/m015__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files_generalized/m015__sl3_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files_generalized/m015__sl3_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/rur.py +545 -0
- snappy/ptolemy/solutionsToPrimeIdealGroebnerBasis.py +277 -0
- snappy/ptolemy/test.py +1126 -0
- snappy/ptolemy/testing_files/3_1__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/3_1__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/4_1__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/4_1__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/4_1__sl3_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/4_1__sl4_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/4_1__sl4_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/5_2__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/5_2__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c2.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c3.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c4.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c5.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c6.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c7.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/data/pgl2/OrientableCuspedCensus/03_tetrahedra/m019__sl2_c0.magma_out +95 -0
- snappy/ptolemy/testing_files/data/pgl2/OrientableCuspedCensus/03_tetrahedra/m019__sl2_c1.magma_out +95 -0
- snappy/ptolemy/testing_files/m015__sl3_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/m135__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/m135__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/m135__sl2_c2.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/m135__sl2_c3.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/m135__sl2_c4.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/m135__sl2_c5.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/m135__sl2_c6.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/m135__sl2_c7.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/s000__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/s000__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/t00000__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/t00000__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/v0000__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/v0000__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/v0000__sl2_c2.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/v0000__sl2_c3.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files_generalized/m003__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files_generalized/m003__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files_generalized/m003__sl3_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files_generalized/m003__sl3_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files_generalized/m004__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files_generalized/m004__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files_generalized/m015__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files_generalized/m015__sl3_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files_rur/m052__sl3_c0.rur.bz2 +0 -0
- snappy/ptolemy/utilities.py +236 -0
- 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 +197 -0
- snappy/raytracing/eyeball.py +124 -0
- snappy/raytracing/finite_raytracing_data.py +237 -0
- snappy/raytracing/finite_viewer.py +590 -0
- snappy/raytracing/geodesic_tube_info.py +174 -0
- snappy/raytracing/geodesics.py +246 -0
- snappy/raytracing/geodesics_window.py +258 -0
- snappy/raytracing/gui_utilities.py +293 -0
- snappy/raytracing/hyperboloid_navigation.py +556 -0
- snappy/raytracing/hyperboloid_utilities.py +234 -0
- snappy/raytracing/ideal_raytracing_data.py +592 -0
- snappy/raytracing/inside_viewer.py +974 -0
- snappy/raytracing/pack.py +22 -0
- snappy/raytracing/raytracing_data.py +126 -0
- snappy/raytracing/raytracing_view.py +454 -0
- snappy/raytracing/shaders/Eye.png +0 -0
- snappy/raytracing/shaders/NonGeometric.png +0 -0
- snappy/raytracing/shaders/__init__.py +101 -0
- snappy/raytracing/shaders/fragment.glsl +1744 -0
- snappy/raytracing/test.py +29 -0
- snappy/raytracing/tooltip.py +146 -0
- snappy/raytracing/upper_halfspace_utilities.py +98 -0
- snappy/raytracing/view_scale_controller.py +98 -0
- snappy/raytracing/zoom_slider/__init__.py +263 -0
- snappy/raytracing/zoom_slider/inward.png +0 -0
- snappy/raytracing/zoom_slider/inward18.png +0 -0
- snappy/raytracing/zoom_slider/outward.png +0 -0
- snappy/raytracing/zoom_slider/outward18.png +0 -0
- snappy/raytracing/zoom_slider/test.py +20 -0
- snappy/sage_helper.py +119 -0
- snappy/settings.py +407 -0
- snappy/shell.py +53 -0
- snappy/snap/__init__.py +117 -0
- snappy/snap/character_varieties.py +375 -0
- snappy/snap/find_field.py +372 -0
- snappy/snap/fox_milnor.py +271 -0
- snappy/snap/fundamental_polyhedron.py +569 -0
- snappy/snap/generators.py +39 -0
- snappy/snap/interval_reps.py +81 -0
- snappy/snap/kernel_structures.py +128 -0
- snappy/snap/mcomplex_base.py +18 -0
- snappy/snap/nsagetools.py +716 -0
- snappy/snap/peripheral/__init__.py +1 -0
- snappy/snap/peripheral/dual_cellulation.py +219 -0
- snappy/snap/peripheral/link.py +127 -0
- snappy/snap/peripheral/peripheral.py +159 -0
- snappy/snap/peripheral/surface.py +522 -0
- snappy/snap/peripheral/test.py +35 -0
- snappy/snap/polished_reps.py +335 -0
- snappy/snap/shapes.py +152 -0
- snappy/snap/slice_obs_HKL/__init__.py +194 -0
- snappy/snap/slice_obs_HKL/basics.py +236 -0
- snappy/snap/slice_obs_HKL/direct.py +217 -0
- snappy/snap/slice_obs_HKL/poly_norm.py +212 -0
- snappy/snap/slice_obs_HKL/rep_theory.py +424 -0
- snappy/snap/t3mlite/__init__.py +2 -0
- snappy/snap/t3mlite/arrow.py +243 -0
- snappy/snap/t3mlite/corner.py +22 -0
- snappy/snap/t3mlite/edge.py +172 -0
- snappy/snap/t3mlite/face.py +37 -0
- snappy/snap/t3mlite/files.py +211 -0
- snappy/snap/t3mlite/homology.py +53 -0
- snappy/snap/t3mlite/linalg.py +419 -0
- snappy/snap/t3mlite/mcomplex.py +1499 -0
- snappy/snap/t3mlite/perm4.py +320 -0
- snappy/snap/t3mlite/setup.py +12 -0
- snappy/snap/t3mlite/simplex.py +199 -0
- snappy/snap/t3mlite/spun.py +297 -0
- snappy/snap/t3mlite/surface.py +519 -0
- snappy/snap/t3mlite/test.py +20 -0
- snappy/snap/t3mlite/test_vs_regina.py +86 -0
- snappy/snap/t3mlite/tetrahedron.py +109 -0
- snappy/snap/t3mlite/vertex.py +42 -0
- snappy/snap/test.py +139 -0
- snappy/snap/utilities.py +288 -0
- snappy/test.py +213 -0
- snappy/test_cases.py +263 -0
- snappy/testing.py +131 -0
- snappy/tiling/__init__.py +2 -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/quotient_dict.py +70 -0
- snappy/tiling/real_hash_dict.py +164 -0
- snappy/tiling/test.py +23 -0
- snappy/tiling/tile.py +224 -0
- snappy/tiling/triangle.py +33 -0
- snappy/tkterminal.py +920 -0
- snappy/twister/__init__.py +20 -0
- snappy/twister/main.py +646 -0
- snappy/twister/surfaces/S_0_1 +3 -0
- snappy/twister/surfaces/S_0_2 +3 -0
- snappy/twister/surfaces/S_0_4 +7 -0
- snappy/twister/surfaces/S_0_4_Lantern +8 -0
- snappy/twister/surfaces/S_1 +3 -0
- snappy/twister/surfaces/S_1_1 +4 -0
- snappy/twister/surfaces/S_1_2 +5 -0
- snappy/twister/surfaces/S_1_2_5 +6 -0
- snappy/twister/surfaces/S_2 +6 -0
- snappy/twister/surfaces/S_2_1 +8 -0
- snappy/twister/surfaces/S_2_heeg +10 -0
- snappy/twister/surfaces/S_3 +8 -0
- snappy/twister/surfaces/S_3_1 +10 -0
- snappy/twister/surfaces/S_4_1 +12 -0
- snappy/twister/surfaces/S_5_1 +14 -0
- snappy/twister/surfaces/heeg_fig8 +9 -0
- snappy/twister/twister_core.cpython-310-aarch64-linux-gnu.so +0 -0
- snappy/upper_halfspace/__init__.py +146 -0
- snappy/upper_halfspace/ideal_point.py +29 -0
- snappy/verify/__init__.py +13 -0
- snappy/verify/canonical.py +542 -0
- snappy/verify/complex_volume/__init__.py +18 -0
- snappy/verify/complex_volume/adjust_torsion.py +86 -0
- snappy/verify/complex_volume/closed.py +168 -0
- snappy/verify/complex_volume/compute_ptolemys.py +90 -0
- snappy/verify/complex_volume/cusped.py +56 -0
- snappy/verify/complex_volume/extended_bloch.py +201 -0
- snappy/verify/cusp_translations.py +85 -0
- snappy/verify/edge_equations.py +80 -0
- snappy/verify/exceptions.py +254 -0
- snappy/verify/hyperbolicity.py +224 -0
- snappy/verify/interval_newton_shapes_engine.py +523 -0
- snappy/verify/interval_tree.py +400 -0
- snappy/verify/krawczyk_shapes_engine.py +518 -0
- snappy/verify/real_algebra.py +286 -0
- snappy/verify/shapes.py +25 -0
- snappy/verify/square_extensions.py +1005 -0
- snappy/verify/test.py +72 -0
- snappy/verify/volume.py +128 -0
- snappy/version.py +2 -0
- snappy-3.3.dist-info/METADATA +58 -0
- snappy-3.3.dist-info/RECORD +541 -0
- snappy-3.3.dist-info/WHEEL +6 -0
- snappy-3.3.dist-info/entry_points.txt +2 -0
- snappy-3.3.dist-info/top_level.txt +28 -0
|
@@ -0,0 +1,210 @@
|
|
|
1
|
+
|
|
2
|
+
|
|
3
|
+
<!DOCTYPE html>
|
|
4
|
+
<html class="writer-html5" lang="en" data-content_root="./">
|
|
5
|
+
<head>
|
|
6
|
+
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
|
|
7
|
+
|
|
8
|
+
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
|
9
|
+
<title>Using SnapPy’s link editor — SnapPy 3.3 documentation</title>
|
|
10
|
+
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=fa44fd50" />
|
|
11
|
+
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=e59714d7" />
|
|
12
|
+
<link rel="stylesheet" type="text/css" href="_static/snappy_sphinx_rtd_theme.css?v=1b8ec2a8" />
|
|
13
|
+
|
|
14
|
+
|
|
15
|
+
<link rel="shortcut icon" href="_static/SnapPy.ico"/>
|
|
16
|
+
<script src="_static/jquery.js?v=5d32c60e"></script>
|
|
17
|
+
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
|
|
18
|
+
<script src="_static/documentation_options.js?v=26f62d79"></script>
|
|
19
|
+
<script src="_static/doctools.js?v=9bcbadda"></script>
|
|
20
|
+
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
|
|
21
|
+
<script src="_static/js/theme.js"></script>
|
|
22
|
+
<link rel="index" title="Index" href="genindex.html" />
|
|
23
|
+
<link rel="search" title="Search" href="search.html" />
|
|
24
|
+
<link rel="next" title="Links: planar diagrams and invariants" href="spherogram.html" />
|
|
25
|
+
<link rel="prev" title="Censuses of Platonic manifolds" href="platonic_census.html" />
|
|
26
|
+
</head>
|
|
27
|
+
|
|
28
|
+
<body class="wy-body-for-nav">
|
|
29
|
+
<div class="wy-grid-for-nav">
|
|
30
|
+
<nav data-toggle="wy-nav-shift" class="wy-nav-side">
|
|
31
|
+
<div class="wy-side-scroll">
|
|
32
|
+
<div class="wy-side-nav-search" >
|
|
33
|
+
|
|
34
|
+
|
|
35
|
+
|
|
36
|
+
<a href="index.html" class="icon icon-home">
|
|
37
|
+
SnapPy
|
|
38
|
+
<img src="_static/SnapPy-horizontal-128.png" class="logo" alt="Logo"/>
|
|
39
|
+
</a>
|
|
40
|
+
<div role="search">
|
|
41
|
+
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">
|
|
42
|
+
<input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
|
|
43
|
+
<input type="hidden" name="check_keywords" value="yes" />
|
|
44
|
+
<input type="hidden" name="area" value="default" />
|
|
45
|
+
</form>
|
|
46
|
+
</div>
|
|
47
|
+
</div><div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="Navigation menu">
|
|
48
|
+
<ul class="current">
|
|
49
|
+
<li class="toctree-l1"><a class="reference internal" href="installing.html">Installing SnapPy</a></li>
|
|
50
|
+
<li class="toctree-l1"><a class="reference internal" href="screenshots.html">Screenshots: SnapPy in action</a></li>
|
|
51
|
+
<li class="toctree-l1"><a class="reference internal" href="tutorial.html">Tutorial</a></li>
|
|
52
|
+
<li class="toctree-l1"><a class="reference internal" href="snappy.html">The snappy module and its classes</a></li>
|
|
53
|
+
<li class="toctree-l1 current"><a class="current reference internal" href="#">Using SnapPy’s link editor</a><ul>
|
|
54
|
+
<li class="toctree-l2"><a class="reference internal" href="#drawing-basics">Drawing Basics</a></li>
|
|
55
|
+
<li class="toctree-l2"><a class="reference internal" href="#miscellaneous-features">Miscellaneous Features</a></li>
|
|
56
|
+
</ul>
|
|
57
|
+
</li>
|
|
58
|
+
<li class="toctree-l1"><a class="reference internal" href="spherogram.html">Links: planar diagrams and invariants</a></li>
|
|
59
|
+
<li class="toctree-l1"><a class="reference internal" href="snap.html">Number theory of hyperbolic 3-manifolds</a></li>
|
|
60
|
+
<li class="toctree-l1"><a class="reference internal" href="verify.html">Verified computations</a></li>
|
|
61
|
+
<li class="toctree-l1"><a class="reference internal" href="other.html">Other components</a></li>
|
|
62
|
+
<li class="toctree-l1"><a class="reference internal" href="news.html">News</a></li>
|
|
63
|
+
<li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
|
|
64
|
+
<li class="toctree-l1"><a class="reference internal" href="bugs.html">Reporting bugs and other problems</a></li>
|
|
65
|
+
<li class="toctree-l1"><a class="reference internal" href="todo.html">To Do List</a></li>
|
|
66
|
+
<li class="toctree-l1"><a class="reference internal" href="development.html">Development Basics</a></li>
|
|
67
|
+
</ul>
|
|
68
|
+
|
|
69
|
+
</div>
|
|
70
|
+
</div>
|
|
71
|
+
</nav>
|
|
72
|
+
|
|
73
|
+
<section data-toggle="wy-nav-shift" class="wy-nav-content-wrap"><nav class="wy-nav-top" aria-label="Mobile navigation menu" >
|
|
74
|
+
<i data-toggle="wy-nav-top" class="fa fa-bars"></i>
|
|
75
|
+
<a href="index.html">SnapPy</a>
|
|
76
|
+
</nav>
|
|
77
|
+
|
|
78
|
+
<div class="wy-nav-content">
|
|
79
|
+
<div class="rst-content">
|
|
80
|
+
<div role="navigation" aria-label="Page navigation">
|
|
81
|
+
<ul class="wy-breadcrumbs">
|
|
82
|
+
<li><a href="index.html" class="icon icon-home" aria-label="Home"></a></li>
|
|
83
|
+
<li class="breadcrumb-item active">Using SnapPy’s link editor</li>
|
|
84
|
+
<li class="wy-breadcrumbs-aside">
|
|
85
|
+
</li>
|
|
86
|
+
</ul>
|
|
87
|
+
<hr/>
|
|
88
|
+
</div>
|
|
89
|
+
<div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
|
|
90
|
+
<div itemprop="articleBody">
|
|
91
|
+
|
|
92
|
+
<section id="using-snappy-s-link-editor">
|
|
93
|
+
<h1>Using SnapPy’s link editor<a class="headerlink" href="#using-snappy-s-link-editor" title="Link to this heading"></a></h1>
|
|
94
|
+
<p>PLink draws piecewise linear link projections. Components may be
|
|
95
|
+
points, PL arcs, or PL circles. Line segments are oriented consistently in
|
|
96
|
+
each component. Different components are different colors.</p>
|
|
97
|
+
<img alt="_images/plink-action.png" class="align-right" src="_images/plink-action.png" />
|
|
98
|
+
<p>To invoke the link editor, do:</p>
|
|
99
|
+
<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">In</span><span class="p">[</span><span class="mi">5</span><span class="p">]:</span> <span class="n">M</span> <span class="o">=</span> <span class="n">Manifold</span><span class="p">()</span>
|
|
100
|
+
</pre></div>
|
|
101
|
+
</div>
|
|
102
|
+
<p>Once you’ve drawn the link, select the menu item “PLink->Tools->Send to
|
|
103
|
+
SnapPy”, and then <em>M</em> will be the complement of the link. If you edit
|
|
104
|
+
the link, you can again do “Send to SnapPy” to update <em>M</em>.</p>
|
|
105
|
+
<section id="drawing-basics">
|
|
106
|
+
<h2>Drawing Basics<a class="headerlink" href="#drawing-basics" title="Link to this heading"></a></h2>
|
|
107
|
+
<ul class="simple">
|
|
108
|
+
<li><p>When using the mouse to draw a link with PLink, you should always
|
|
109
|
+
<em>click-and-release</em>. Do not hold the mouse button down while drawing.
|
|
110
|
+
PLink requires only the left mouse button.</p></li>
|
|
111
|
+
<li><p>The default state of the editor is indicated by the arrow cursor.
|
|
112
|
+
In this state, click-and-release the left mouse button on the
|
|
113
|
+
background to place a starting vertex and begin drawing. The vertex
|
|
114
|
+
will be connected to the pencil cursor by a thin red line.
|
|
115
|
+
Click-and-release to place a second vertex. The two vertices will
|
|
116
|
+
then be joined by an edge. Continue to draw other vertices and edges
|
|
117
|
+
to your heart’s content.</p></li>
|
|
118
|
+
<li><p>To stop drawing, either click twice on the same vertex to create an
|
|
119
|
+
arc, or click on an endpoint vertex. The latter operation will
|
|
120
|
+
either create a circle component or join together two arc
|
|
121
|
+
components.</p></li>
|
|
122
|
+
<li><p>When the cursor hovers over a vertex it changes to the pointing
|
|
123
|
+
finger. From this state you can drag a vertex to a new location
|
|
124
|
+
with a click-and-release on the vertex. The vertex will become
|
|
125
|
+
enclosed in a circular cursor. Move it to where you want it to go
|
|
126
|
+
and click the left (or middle) button to place it. If you drag one
|
|
127
|
+
endpoint on top of another, they will meld.</p></li>
|
|
128
|
+
<li><p>When the cursor hovers over an edge, not too close to a vertex or
|
|
129
|
+
crossing, it changes to the push-me-pull-you cursor. Clicking in
|
|
130
|
+
this state will change the orientation of the component containing
|
|
131
|
+
the edge.</p></li>
|
|
132
|
+
<li><p>When the cursor hovers over a crossing it changes to the yin-yang
|
|
133
|
+
recycling cursor. Clicking while in this state changes the the
|
|
134
|
+
handedness of the crossing.</p></li>
|
|
135
|
+
<li><p>Double-clicking on an endpoint vertex will restart drawing from
|
|
136
|
+
that vertex. Double-clicking on a non-endpoint vertex will break
|
|
137
|
+
the link at that point and begin drawing with the old incoming edge.</p></li>
|
|
138
|
+
<li><p>While in drawing state, hitting the Delete key removes the last
|
|
139
|
+
vertex before the cursor. If no vertices remain, the drawing state
|
|
140
|
+
ends and the active component is removed. This can be used to
|
|
141
|
+
remove a segment from the diagram. Double-click a vertex; hit
|
|
142
|
+
Delete to remove the incoming segment at that vertex; then click the
|
|
143
|
+
vertex again to reconnect.</p></li>
|
|
144
|
+
<li><p>You will not be allowed to create edges that pass too close to a
|
|
145
|
+
vertex or a crossing, or to place vertices too close to edges or to
|
|
146
|
+
crossings or to other vertices. If you attempt to do any of these
|
|
147
|
+
things, PLink will flash the drawing canvas.</p></li>
|
|
148
|
+
</ul>
|
|
149
|
+
</section>
|
|
150
|
+
<section id="miscellaneous-features">
|
|
151
|
+
<h2>Miscellaneous Features<a class="headerlink" href="#miscellaneous-features" title="Link to this heading"></a></h2>
|
|
152
|
+
<p>The window can be resized to allow for different sizes of link
|
|
153
|
+
projections, and the arrow keys can be used to slide the projection
|
|
154
|
+
around in order to make more room on one side or another.</p>
|
|
155
|
+
<p>The “Tools” menu can be used to make the projection alternating
|
|
156
|
+
(provided that all components are circles), or to clear the screen,
|
|
157
|
+
or to reflect the projection in the xy-plane, changing all crossings.
|
|
158
|
+
Also, the “Tools” menu includes the “send to SnapPy” command.</p>
|
|
159
|
+
<p>The “File” menu can be used to save the projection as a SnapPea
|
|
160
|
+
link projection file. (This can be done from the drawing state as
|
|
161
|
+
well, in which case the “hot vertex” is remembered in the file!). The
|
|
162
|
+
“File->Open File” command will read a SnapPea link projection file,
|
|
163
|
+
and restart drawing if the projection was saved while drawing.</p>
|
|
164
|
+
<p>The “Info” menu selects information about the link projection to be
|
|
165
|
+
displayed in the info line at the bottom. Various encoding schemes
|
|
166
|
+
for link projections are supported, as well as the blackboard framing
|
|
167
|
+
curves, expressed in meridian-longitude coordinates. Cutting and
|
|
168
|
+
pasting from the info line is supported. The numerical and
|
|
169
|
+
alphabetical Dowker-Thistlethwaite codes are displayed in an extended
|
|
170
|
+
form which includes a full description of the planar embedding. The
|
|
171
|
+
string printed in the info line is also accepted as input to SnapPy’s
|
|
172
|
+
Manifold constructor. That is, you can paste the complete DT code,
|
|
173
|
+
for example <code class="docutils literal notranslate"><span class="pre">DT:</span> <span class="pre">[(-4,6,2)],</span> <span class="pre">[0,0,1]</span></code>, between the apostrophes in
|
|
174
|
+
Manifold(‘’). The “DT labels” option displays the indexing used in
|
|
175
|
+
computing the Dowker-Thistlethwaite codes.</p>
|
|
176
|
+
</section>
|
|
177
|
+
</section>
|
|
178
|
+
|
|
179
|
+
|
|
180
|
+
</div>
|
|
181
|
+
</div>
|
|
182
|
+
<footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
|
|
183
|
+
<a href="platonic_census.html" class="btn btn-neutral float-left" title="Censuses of Platonic manifolds" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
|
|
184
|
+
<a href="spherogram.html" class="btn btn-neutral float-right" title="Links: planar diagrams and invariants" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
|
|
185
|
+
</div>
|
|
186
|
+
|
|
187
|
+
<hr/>
|
|
188
|
+
|
|
189
|
+
<div role="contentinfo">
|
|
190
|
+
<p>© Copyright 2009-2026, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
|
|
191
|
+
</div>
|
|
192
|
+
|
|
193
|
+
Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
|
|
194
|
+
<a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
|
|
195
|
+
provided by <a href="https://readthedocs.org">Read the Docs</a>.
|
|
196
|
+
|
|
197
|
+
|
|
198
|
+
</footer>
|
|
199
|
+
</div>
|
|
200
|
+
</div>
|
|
201
|
+
</section>
|
|
202
|
+
</div>
|
|
203
|
+
<script>
|
|
204
|
+
jQuery(function () {
|
|
205
|
+
SphinxRtdTheme.Navigation.enable(true);
|
|
206
|
+
});
|
|
207
|
+
</script>
|
|
208
|
+
|
|
209
|
+
</body>
|
|
210
|
+
</html>
|
|
@@ -0,0 +1,253 @@
|
|
|
1
|
+
|
|
2
|
+
|
|
3
|
+
<!DOCTYPE html>
|
|
4
|
+
<html class="writer-html5" lang="en" data-content_root="./">
|
|
5
|
+
<head>
|
|
6
|
+
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
|
|
7
|
+
|
|
8
|
+
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
|
9
|
+
<title>The ptolemy module — SnapPy 3.3 documentation</title>
|
|
10
|
+
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=fa44fd50" />
|
|
11
|
+
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=e59714d7" />
|
|
12
|
+
<link rel="stylesheet" type="text/css" href="_static/snappy_sphinx_rtd_theme.css?v=1b8ec2a8" />
|
|
13
|
+
|
|
14
|
+
|
|
15
|
+
<link rel="shortcut icon" href="_static/SnapPy.ico"/>
|
|
16
|
+
<script src="_static/jquery.js?v=5d32c60e"></script>
|
|
17
|
+
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
|
|
18
|
+
<script src="_static/documentation_options.js?v=26f62d79"></script>
|
|
19
|
+
<script src="_static/doctools.js?v=9bcbadda"></script>
|
|
20
|
+
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
|
|
21
|
+
<script src="_static/js/theme.js"></script>
|
|
22
|
+
<link rel="index" title="Index" href="genindex.html" />
|
|
23
|
+
<link rel="search" title="Search" href="search.html" />
|
|
24
|
+
<link rel="next" title="Mathematical preliminaries" href="ptolemy_prelim.html" />
|
|
25
|
+
<link rel="prev" title="Other components" href="other.html" />
|
|
26
|
+
</head>
|
|
27
|
+
|
|
28
|
+
<body class="wy-body-for-nav">
|
|
29
|
+
<div class="wy-grid-for-nav">
|
|
30
|
+
<nav data-toggle="wy-nav-shift" class="wy-nav-side">
|
|
31
|
+
<div class="wy-side-scroll">
|
|
32
|
+
<div class="wy-side-nav-search" >
|
|
33
|
+
|
|
34
|
+
|
|
35
|
+
|
|
36
|
+
<a href="index.html" class="icon icon-home">
|
|
37
|
+
SnapPy
|
|
38
|
+
<img src="_static/SnapPy-horizontal-128.png" class="logo" alt="Logo"/>
|
|
39
|
+
</a>
|
|
40
|
+
<div role="search">
|
|
41
|
+
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">
|
|
42
|
+
<input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
|
|
43
|
+
<input type="hidden" name="check_keywords" value="yes" />
|
|
44
|
+
<input type="hidden" name="area" value="default" />
|
|
45
|
+
</form>
|
|
46
|
+
</div>
|
|
47
|
+
</div><div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="Navigation menu">
|
|
48
|
+
<ul class="current">
|
|
49
|
+
<li class="toctree-l1"><a class="reference internal" href="installing.html">Installing SnapPy</a></li>
|
|
50
|
+
<li class="toctree-l1"><a class="reference internal" href="screenshots.html">Screenshots: SnapPy in action</a></li>
|
|
51
|
+
<li class="toctree-l1"><a class="reference internal" href="tutorial.html">Tutorial</a></li>
|
|
52
|
+
<li class="toctree-l1"><a class="reference internal" href="snappy.html">The snappy module and its classes</a></li>
|
|
53
|
+
<li class="toctree-l1"><a class="reference internal" href="plink.html">Using SnapPy’s link editor</a></li>
|
|
54
|
+
<li class="toctree-l1"><a class="reference internal" href="spherogram.html">Links: planar diagrams and invariants</a></li>
|
|
55
|
+
<li class="toctree-l1"><a class="reference internal" href="snap.html">Number theory of hyperbolic 3-manifolds</a></li>
|
|
56
|
+
<li class="toctree-l1"><a class="reference internal" href="verify.html">Verified computations</a></li>
|
|
57
|
+
<li class="toctree-l1 current"><a class="reference internal" href="other.html">Other components</a><ul class="current">
|
|
58
|
+
<li class="toctree-l2 current"><a class="reference internal" href="other.html#ptolemy-module">Ptolemy module</a><ul class="current">
|
|
59
|
+
<li class="toctree-l3 current"><a class="current reference internal" href="#">The ptolemy module</a><ul>
|
|
60
|
+
<li class="toctree-l4"><a class="reference internal" href="#what-is-the-ptolemy-module">What is the ptolemy module?</a></li>
|
|
61
|
+
<li class="toctree-l4"><a class="reference internal" href="#documentation">Documentation</a><ul>
|
|
62
|
+
<li class="toctree-l5"><a class="reference internal" href="ptolemy_prelim.html">Mathematical preliminaries</a></li>
|
|
63
|
+
<li class="toctree-l5"><a class="reference internal" href="ptolemy_examples1.html">Step-by-step examples: Part 1</a></li>
|
|
64
|
+
<li class="toctree-l5"><a class="reference internal" href="ptolemy_examples2.html">Step-by-step examples: Part 2</a></li>
|
|
65
|
+
<li class="toctree-l5"><a class="reference internal" href="ptolemy_examples3.html">Step-by-step examples: Part 3</a></li>
|
|
66
|
+
<li class="toctree-l5"><a class="reference internal" href="ptolemy_examples4.html">Step-by-step examples: Part 4</a></li>
|
|
67
|
+
<li class="toctree-l5"><a class="reference internal" href="ptolemy_classes.html">Classes</a></li>
|
|
68
|
+
</ul>
|
|
69
|
+
</li>
|
|
70
|
+
</ul>
|
|
71
|
+
</li>
|
|
72
|
+
</ul>
|
|
73
|
+
</li>
|
|
74
|
+
<li class="toctree-l2"><a class="reference internal" href="other.html#twister">Twister</a></li>
|
|
75
|
+
</ul>
|
|
76
|
+
</li>
|
|
77
|
+
<li class="toctree-l1"><a class="reference internal" href="news.html">News</a></li>
|
|
78
|
+
<li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
|
|
79
|
+
<li class="toctree-l1"><a class="reference internal" href="bugs.html">Reporting bugs and other problems</a></li>
|
|
80
|
+
<li class="toctree-l1"><a class="reference internal" href="todo.html">To Do List</a></li>
|
|
81
|
+
<li class="toctree-l1"><a class="reference internal" href="development.html">Development Basics</a></li>
|
|
82
|
+
</ul>
|
|
83
|
+
|
|
84
|
+
</div>
|
|
85
|
+
</div>
|
|
86
|
+
</nav>
|
|
87
|
+
|
|
88
|
+
<section data-toggle="wy-nav-shift" class="wy-nav-content-wrap"><nav class="wy-nav-top" aria-label="Mobile navigation menu" >
|
|
89
|
+
<i data-toggle="wy-nav-top" class="fa fa-bars"></i>
|
|
90
|
+
<a href="index.html">SnapPy</a>
|
|
91
|
+
</nav>
|
|
92
|
+
|
|
93
|
+
<div class="wy-nav-content">
|
|
94
|
+
<div class="rst-content">
|
|
95
|
+
<div role="navigation" aria-label="Page navigation">
|
|
96
|
+
<ul class="wy-breadcrumbs">
|
|
97
|
+
<li><a href="index.html" class="icon icon-home" aria-label="Home"></a></li>
|
|
98
|
+
<li class="breadcrumb-item"><a href="other.html">Other components</a></li>
|
|
99
|
+
<li class="breadcrumb-item active">The ptolemy module</li>
|
|
100
|
+
<li class="wy-breadcrumbs-aside">
|
|
101
|
+
</li>
|
|
102
|
+
</ul>
|
|
103
|
+
<hr/>
|
|
104
|
+
</div>
|
|
105
|
+
<div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
|
|
106
|
+
<div itemprop="articleBody">
|
|
107
|
+
|
|
108
|
+
<section id="module-snappy.ptolemy">
|
|
109
|
+
<span id="the-ptolemy-module"></span><h1>The ptolemy module<a class="headerlink" href="#module-snappy.ptolemy" title="Link to this heading"></a></h1>
|
|
110
|
+
<section id="what-is-the-ptolemy-module">
|
|
111
|
+
<h2>What is the ptolemy module?<a class="headerlink" href="#what-is-the-ptolemy-module" title="Link to this heading"></a></h2>
|
|
112
|
+
<p>This module provides tools to find boundary-unipotent representations of an
|
|
113
|
+
oriented
|
|
114
|
+
3-manifold into PSL(<em>N</em>, <strong>C</strong>). It was used, for example, to generate the tables
|
|
115
|
+
of representations at
|
|
116
|
+
<a class="reference external" href="http://ptolemy.unhyperbolic.org/html/summary.html">ptolemy.unhyperbolic.org</a>.</p>
|
|
117
|
+
<p>The ptolemy module can use <a class="reference external" href="http://magma.maths.usyd.edu.au/magma/">magma</a> for
|
|
118
|
+
the computations necessary to find the representations or it can automatically
|
|
119
|
+
retrieve the necessary computations from a database we provide that contains the
|
|
120
|
+
computations for all manifolds and <em>N</em> at
|
|
121
|
+
<a class="reference external" href="http://ptolemy.unhyperbolic.org/html/summary.html">ptolemy.unhyperbolic.org</a>.
|
|
122
|
+
In particular, the database includes the computations for all orientable census
|
|
123
|
+
manifolds for PSL(2, <strong>C</strong>) and the examples below work without magma for these
|
|
124
|
+
manifolds.
|
|
125
|
+
This makes it useful for people who do not have magma (see <a class="reference internal" href="ptolemy_examples1.html#ptolemy-example-retrieve-exact-solutions"><span class="std std-ref">here</span></a>).</p>
|
|
126
|
+
<p>The ptolemy module is still under development. Please report bugs or email suggestions to: enischte at gmail dot com.</p>
|
|
127
|
+
<p>Examples of what the Ptolemy module can do:</p>
|
|
128
|
+
<ul class="simple">
|
|
129
|
+
<li><p>Give the <a class="reference internal" href="ptolemy_examples1.html#ptolemy-example-basic"><span class="std std-ref">equations for the reduced Ptolemy varieties</span></a> to find all <a class="reference internal" href="ptolemy_prelim.html#ptolemy-generically-decorated"><span class="std std-ref">generically decorated</span></a> and <a class="reference internal" href="ptolemy_prelim.html#ptolemy-boundary-unipotent"><span class="std std-ref">boundary-unipotent</span></a> representations into SL(<em>N</em>, <strong>C</strong>).</p></li>
|
|
130
|
+
<li><p>Same for representations into PSL(<em>N</em>, <strong>C</strong>) using <a class="reference internal" href="ptolemy_examples1.html#ptolemy-example-obstruction-class"><span class="std std-ref">Obstruction classes</span></a>.</p></li>
|
|
131
|
+
<li><p>Retrieve the <a class="reference internal" href="ptolemy_examples1.html#ptolemy-example-retrieve-exact-solutions"><span class="std std-ref">exact</span></a> and <a class="reference internal" href="ptolemy_examples2.html#ptolemy-example-retrieve-numerical-solutions"><span class="std std-ref">numerical</span></a> solutions for these varieties.</p></li>
|
|
132
|
+
<li><p>Compute the matrices for these representations <a class="reference internal" href="ptolemy_examples1.html#ptolemy-example-matrices"><span class="std std-ref">exactly</span></a> or <a class="reference internal" href="ptolemy_examples2.html#ptolemy-example-numerical-matrix"><span class="std std-ref">numerically</span></a> given a generator of or word in the fundamental group.</p></li>
|
|
133
|
+
<li><p>Compute the <a class="reference internal" href="ptolemy_examples1.html#ptolemy-example-traces"><span class="std std-ref">traces</span></a> for these matrices.</p></li>
|
|
134
|
+
<li><p>Compute the <a class="reference internal" href="ptolemy_examples1.html#ptolemy-examples-trace-field"><span class="std std-ref">trace field</span></a> of the representation.</p></li>
|
|
135
|
+
<li><p>Compute the <a class="reference internal" href="ptolemy_examples3.html#ptolemy-example-boundary-holonomy"><span class="std std-ref">boundary holonomy</span></a>.</p></li>
|
|
136
|
+
<li><p>Compute the corresponding <a class="reference internal" href="ptolemy_examples2.html#ptolemy-example-cross-ratios"><span class="std std-ref">shape parameters/cross ratios</span></a> for a representation.</p></li>
|
|
137
|
+
<li><p>Compute the <a class="reference internal" href="ptolemy_examples1.html#ptolemy-example-volume"><span class="std std-ref">volume</span></a> and <a class="reference internal" href="ptolemy_examples3.html#ptolemy-example-complex-volume"><span class="std std-ref">complex volume</span></a> (volume + i Chern-Simons) for a representation.</p></li>
|
|
138
|
+
<li><p>Compute solutions to the Ptolemy varieties <a class="reference internal" href="ptolemy_examples3.html#ptolemy-example-using-magma-sage"><span class="std std-ref">using magma or sage</span></a>.</p></li>
|
|
139
|
+
<li><p>Find <a class="reference internal" href="ptolemy_examples2.html#ptolemy-non-zero-dim-comp"><span class="std std-ref">positively dimensional components</span></a> of the Ptolemy variety.</p></li>
|
|
140
|
+
<li><p>Find <a class="reference internal" href="ptolemy_examples3.html#ptolemy-example-non-zero-dim-rep"><span class="std std-ref">positively dimensional families</span></a> of boundary-unipotent representations.</p></li>
|
|
141
|
+
</ul>
|
|
142
|
+
<p>The ptolemy module tries to have powerful and flexible functionality but at the same time be easy to use. For example, we can get the volumes of boundary-unipotent PSL(2, <strong>C</strong>)-representations of <code class="docutils literal notranslate"><span class="pre">m011</span></code> in just one line:</p>
|
|
143
|
+
<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">>>> </span><span class="n">Manifold</span><span class="p">(</span><span class="s2">"m011"</span><span class="p">)</span><span class="o">.</span><span class="n">ptolemy_variety</span><span class="p">(</span><span class="mi">2</span><span class="p">,</span><span class="s1">'all'</span><span class="p">)</span><span class="o">.</span><span class="n">retrieve_solutions</span><span class="p">()</span><span class="o">.</span><span class="n">volume_numerical</span><span class="p">()</span>
|
|
144
|
+
<span class="go">[[[-4.30211422042248 E-16, -0.942707362776931, 0.942707362776931]],</span>
|
|
145
|
+
<span class="go"> [[4.64255370258293 E-15, 3.94215909915729 E-15, -2.78183391239608, 2.78183391239608]]]</span>
|
|
146
|
+
</pre></div>
|
|
147
|
+
</div>
|
|
148
|
+
<p>Here, we see that <code class="docutils literal notranslate"><span class="pre">m011</span></code> has a representation that is not Galois-conjugate to the geometric representation and that has the volume 0.9427… of the Weeks manifold.</p>
|
|
149
|
+
<p><strong>Remark:</strong> Please check your Internet connection if the above example does not work.</p>
|
|
150
|
+
</section>
|
|
151
|
+
<section id="documentation">
|
|
152
|
+
<h2>Documentation<a class="headerlink" href="#documentation" title="Link to this heading"></a></h2>
|
|
153
|
+
<div class="toctree-wrapper compound">
|
|
154
|
+
<ul>
|
|
155
|
+
<li class="toctree-l1"><a class="reference internal" href="ptolemy_prelim.html">Mathematical preliminaries</a><ul>
|
|
156
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#boundary-unipotent">Boundary-unipotent</a></li>
|
|
157
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#obstruction-class">Obstruction class</a></li>
|
|
158
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#sl-n-c-vs-psl-n-c">SL(<em>N</em>, <strong>C</strong>) vs PSL(<em>N</em>, <strong>C</strong>)</a></li>
|
|
159
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#generically-decorated-representations">Generically decorated representations</a></li>
|
|
160
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#reduced-ptolemy-variety">Reduced Ptolemy variety</a></li>
|
|
161
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#future-work">Future work</a></li>
|
|
162
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_prelim.html#references">References</a></li>
|
|
163
|
+
</ul>
|
|
164
|
+
</li>
|
|
165
|
+
<li class="toctree-l1"><a class="reference internal" href="ptolemy_examples1.html">Step-by-step examples: Part 1</a><ul>
|
|
166
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#the-ptolemy-variety-for-sl-n-c">The Ptolemy variety for SL(<em>N</em>, <strong>C</strong>)</a></li>
|
|
167
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#using-auto-completion">Using auto-completion</a></li>
|
|
168
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#retrieving-exact-solutions-from-the-database">Retrieving exact solutions from the database</a></li>
|
|
169
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#compute-the-matrices-for-a-representation">Compute the matrices for a representation</a></li>
|
|
170
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#compute-the-traces">Compute the traces</a></li>
|
|
171
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#compute-the-trace-field-for-a-psl-2-c-representation">Compute the trace field for a PSL(<em>2</em>, <strong>C</strong>)-representation</a></li>
|
|
172
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#compute-the-volume">Compute the volume</a></li>
|
|
173
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#increase-precision">Increase precision</a></li>
|
|
174
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#ptolemy-varieties-for-psl-n-c-representations">Ptolemy varieties for PSL(<em>N</em>, <strong>C</strong>)-representations</a></li>
|
|
175
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples1.html#a-short-cut-for-a-psl-n-c-ptolemy-variety">A short cut for a PSL(<em>N</em>, <strong>C</strong>) Ptolemy variety</a></li>
|
|
176
|
+
</ul>
|
|
177
|
+
</li>
|
|
178
|
+
<li class="toctree-l1"><a class="reference internal" href="ptolemy_examples2.html">Step-by-step examples: Part 2</a><ul>
|
|
179
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#the-ptolemy-list-type">The Ptolemy list type</a></li>
|
|
180
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#using-the-ptolemy-list-type-recursively">Using the Ptolemy list type recursively</a></li>
|
|
181
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#a-comparison-of-m003-and-m004">A comparison of <code class="docutils literal notranslate"><span class="pre">m003</span></code> and <code class="docutils literal notranslate"><span class="pre">m004</span></code></a></li>
|
|
182
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#a-non-hyperbolic-example">A non-hyperbolic example</a></li>
|
|
183
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#flattening-nested-structures">Flattening nested structures</a></li>
|
|
184
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#lack-of-tab-autocompletion-for-nested-structures">Lack of tab-autocompletion for nested structures</a></li>
|
|
185
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#converting-exact-solutions-into-numerical-solutions">Converting exact solutions into numerical solutions</a></li>
|
|
186
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#working-with-exact-vs-numerical-solutions">Working with exact vs numerical solutions</a></li>
|
|
187
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#computing-numerical-solutions-directly">Computing numerical solutions directly</a></li>
|
|
188
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#computing-cross-ratios-from-ptolemy-coordinates">Computing cross ratios from Ptolemy coordinates</a></li>
|
|
189
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples2.html#the-dimension-of-a-component">The dimension of a component</a></li>
|
|
190
|
+
</ul>
|
|
191
|
+
</li>
|
|
192
|
+
<li class="toctree-l1"><a class="reference internal" href="ptolemy_examples3.html">Step-by-step examples: Part 3</a><ul>
|
|
193
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#computing-solutions-with-magma-or-sage-vs-retrieving-solutions">Computing solutions with magma or sage vs retrieving solutions</a></li>
|
|
194
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#computing-the-complex-volume">Computing the complex volume</a></li>
|
|
195
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#computing-the-matrices-for-a-different-presentation">Computing the matrices for a different presentation</a></li>
|
|
196
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#computing-the-images-of-the-peripheral-curves-for-a-representation">Computing the images of the peripheral curves for a representation</a></li>
|
|
197
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#finding-a-witness-point-for-a-positively-dimensional-component-of-the-ptolemy-variety">Finding a witness point for a positively dimensional component of the Ptolemy variety</a></li>
|
|
198
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#finding-non-zero-dimensional-families-of-boundary-unipotent-representations">Finding non-zero dimensional families of boundary-unipotent representations</a></li>
|
|
199
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples3.html#representations-that-are-the-same-as-psl-2-c-representations">Representations that are the same as PSL(2, <strong>C</strong>)-representations</a></li>
|
|
200
|
+
</ul>
|
|
201
|
+
</li>
|
|
202
|
+
<li class="toctree-l1"><a class="reference internal" href="ptolemy_examples4.html">Step-by-step examples: Part 4</a><ul>
|
|
203
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples4.html#the-structure-of-an-exact-solution">The structure of an exact solution</a></li>
|
|
204
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples4.html#rational-univariate-representation">Rational Univariate Representation</a></li>
|
|
205
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_examples4.html#todo">TODO</a></li>
|
|
206
|
+
</ul>
|
|
207
|
+
</li>
|
|
208
|
+
<li class="toctree-l1"><a class="reference internal" href="ptolemy_classes.html">Classes</a><ul>
|
|
209
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_classes.html#ptolemyvariety">PtolemyVariety</a></li>
|
|
210
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_classes.html#ptolemycoordinates">PtolemyCoordinates</a></li>
|
|
211
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_classes.html#crossratios">CrossRatios</a></li>
|
|
212
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_classes.html#flattenings">Flattenings</a></li>
|
|
213
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_classes.html#nonzerodimensionalcomponent">NonZeroDimensionalComponent</a></li>
|
|
214
|
+
<li class="toctree-l2"><a class="reference internal" href="ptolemy_classes.html#other-functions">Other functions</a></li>
|
|
215
|
+
</ul>
|
|
216
|
+
</li>
|
|
217
|
+
</ul>
|
|
218
|
+
</div>
|
|
219
|
+
</section>
|
|
220
|
+
</section>
|
|
221
|
+
|
|
222
|
+
|
|
223
|
+
</div>
|
|
224
|
+
</div>
|
|
225
|
+
<footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
|
|
226
|
+
<a href="other.html" class="btn btn-neutral float-left" title="Other components" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
|
|
227
|
+
<a href="ptolemy_prelim.html" class="btn btn-neutral float-right" title="Mathematical preliminaries" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
|
|
228
|
+
</div>
|
|
229
|
+
|
|
230
|
+
<hr/>
|
|
231
|
+
|
|
232
|
+
<div role="contentinfo">
|
|
233
|
+
<p>© Copyright 2009-2026, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
|
|
234
|
+
</div>
|
|
235
|
+
|
|
236
|
+
Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
|
|
237
|
+
<a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
|
|
238
|
+
provided by <a href="https://readthedocs.org">Read the Docs</a>.
|
|
239
|
+
|
|
240
|
+
|
|
241
|
+
</footer>
|
|
242
|
+
</div>
|
|
243
|
+
</div>
|
|
244
|
+
</section>
|
|
245
|
+
</div>
|
|
246
|
+
<script>
|
|
247
|
+
jQuery(function () {
|
|
248
|
+
SphinxRtdTheme.Navigation.enable(true);
|
|
249
|
+
});
|
|
250
|
+
</script>
|
|
251
|
+
|
|
252
|
+
</body>
|
|
253
|
+
</html>
|