snappy 3.1.1__cp310-cp310-win_amd64.whl → 3.2__cp310-cp310-win_amd64.whl
Sign up to get free protection for your applications and to get access to all the features.
- snappy/CyOpenGL.cp310-win_amd64.pyd +0 -0
- snappy/SnapPy.cp310-win_amd64.pyd +0 -0
- snappy/SnapPyHP.cp310-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.cp310-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-310.pyc +0 -0
- snappy/__pycache__/browser.cpython-310.pyc +0 -0
- snappy/__pycache__/cache.cpython-310.pyc +0 -0
- snappy/__pycache__/database.cpython-310.pyc +0 -0
- snappy/__pycache__/db_utilities.cpython-310.pyc +0 -0
- snappy/__pycache__/decorated_isosig.cpython-310.pyc +0 -0
- snappy/__pycache__/exceptions.cpython-310.pyc +0 -0
- snappy/__pycache__/export_stl.cpython-310.pyc +0 -0
- snappy/__pycache__/filedialog.cpython-310.pyc +0 -0
- snappy/__pycache__/gui.cpython-310.pyc +0 -0
- snappy/__pycache__/horoviewer.cpython-310.pyc +0 -0
- snappy/__pycache__/math_basics.cpython-310.pyc +0 -0
- snappy/__pycache__/matrix.cpython-310.pyc +0 -0
- snappy/__pycache__/number.cpython-310.pyc +0 -0
- snappy/__pycache__/numeric_output_checker.cpython-310.pyc +0 -0
- snappy/__pycache__/pari.cpython-310.pyc +0 -0
- snappy/__pycache__/polyviewer.cpython-310.pyc +0 -0
- snappy/__pycache__/sage_helper.cpython-310.pyc +0 -0
- snappy/__pycache__/version.cpython-310.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-310.pyc +0 -0
- snappy/drilling/__pycache__/constants.cpython-310.pyc +0 -0
- snappy/drilling/__pycache__/crush.cpython-310.pyc +0 -0
- snappy/drilling/__pycache__/cusps.cpython-310.pyc +0 -0
- snappy/drilling/__pycache__/debug.cpython-310.pyc +0 -0
- snappy/drilling/__pycache__/epsilons.cpython-310.pyc +0 -0
- snappy/drilling/__pycache__/exceptions.cpython-310.pyc +0 -0
- snappy/drilling/__pycache__/fixed_points.cpython-310.pyc +0 -0
- snappy/drilling/__pycache__/geodesic_info.cpython-310.pyc +0 -0
- snappy/drilling/__pycache__/geodesic_tube.cpython-310.pyc +0 -0
- snappy/drilling/__pycache__/geometric_structure.cpython-310.pyc +0 -0
- snappy/drilling/__pycache__/line.cpython-310.pyc +0 -0
- snappy/drilling/__pycache__/moves.cpython-310.pyc +0 -0
- snappy/drilling/__pycache__/peripheral_curves.cpython-310.pyc +0 -0
- snappy/drilling/__pycache__/perturb.cpython-310.pyc +0 -0
- snappy/drilling/__pycache__/quotient_space.cpython-310.pyc +0 -0
- snappy/drilling/__pycache__/spatial_dict.cpython-310.pyc +0 -0
- snappy/drilling/__pycache__/subdivide.cpython-310.pyc +0 -0
- snappy/drilling/__pycache__/tracing.cpython-310.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-310.pyc +0 -0
- snappy/exterior_to_link/__pycache__/barycentric_geometry.cpython-310.pyc +0 -0
- snappy/exterior_to_link/__pycache__/exceptions.cpython-310.pyc +0 -0
- snappy/exterior_to_link/__pycache__/hyp_utils.cpython-310.pyc +0 -0
- snappy/exterior_to_link/__pycache__/link_projection.cpython-310.pyc +0 -0
- snappy/exterior_to_link/__pycache__/main.cpython-310.pyc +0 -0
- snappy/exterior_to_link/__pycache__/mcomplex_with_expansion.cpython-310.pyc +0 -0
- snappy/exterior_to_link/__pycache__/mcomplex_with_link.cpython-310.pyc +0 -0
- snappy/exterior_to_link/__pycache__/mcomplex_with_memory.cpython-310.pyc +0 -0
- snappy/exterior_to_link/__pycache__/pl_utils.cpython-310.pyc +0 -0
- snappy/exterior_to_link/__pycache__/put_in_S3.cpython-310.pyc +0 -0
- snappy/exterior_to_link/__pycache__/rational_linear_algebra.cpython-310.pyc +0 -0
- snappy/exterior_to_link/__pycache__/simplify_to_base_tri.cpython-310.pyc +0 -0
- snappy/exterior_to_link/__pycache__/stored_moves.cpython-310.pyc +0 -0
- snappy/hyperboloid/__pycache__/__init__.cpython-310.pyc +0 -0
- snappy/manifolds/__pycache__/__init__.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/__init__.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/component.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/coordinates.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/fieldExtensions.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/findLoops.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/homology.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/manifoldMethods.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/matrix.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/numericalSolutionsToGroebnerBasis.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/polynomial.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/processComponents.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/processFileBase.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/processFileDispatch.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/processMagmaFile.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/processRurFile.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/ptolemyGeneralizedObstructionClass.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/ptolemyObstructionClass.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/ptolemyVariety.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/ptolemyVarietyPrimeIdealGroebnerBasis.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/rur.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/solutionsToPrimeIdealGroebnerBasis.cpython-310.pyc +0 -0
- snappy/ptolemy/__pycache__/utilities.cpython-310.pyc +0 -0
- snappy/snap/__pycache__/__init__.cpython-310.pyc +0 -0
- snappy/snap/__pycache__/character_varieties.cpython-310.pyc +0 -0
- snappy/snap/__pycache__/fundamental_polyhedron.cpython-310.pyc +0 -0
- snappy/snap/__pycache__/interval_reps.cpython-310.pyc +0 -0
- snappy/snap/__pycache__/kernel_structures.cpython-310.pyc +0 -0
- snappy/snap/__pycache__/mcomplex_base.cpython-310.pyc +0 -0
- snappy/snap/__pycache__/nsagetools.cpython-310.pyc +0 -0
- snappy/snap/__pycache__/polished_reps.cpython-310.pyc +0 -0
- snappy/snap/__pycache__/shapes.cpython-310.pyc +0 -0
- snappy/snap/__pycache__/slice_obs_HKL.cpython-310.pyc +0 -0
- snappy/snap/__pycache__/utilities.cpython-310.pyc +0 -0
- snappy/snap/peripheral/__pycache__/__init__.cpython-310.pyc +0 -0
- snappy/snap/peripheral/__pycache__/dual_cellulation.cpython-310.pyc +0 -0
- snappy/snap/peripheral/__pycache__/link.cpython-310.pyc +0 -0
- snappy/snap/peripheral/__pycache__/peripheral.cpython-310.pyc +0 -0
- snappy/snap/peripheral/__pycache__/surface.cpython-310.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/__init__.cpython-310.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/arrow.cpython-310.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/corner.cpython-310.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/edge.cpython-310.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/face.cpython-310.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/files.cpython-310.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/homology.cpython-310.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/linalg.cpython-310.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/mcomplex.cpython-310.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/perm4.cpython-310.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/simplex.cpython-310.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/spun.cpython-310.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/surface.cpython-310.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/tetrahedron.cpython-310.pyc +0 -0
- snappy/snap/t3mlite/__pycache__/vertex.cpython-310.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-310.pyc +0 -0
- snappy/twister/__pycache__/main.cpython-310.pyc +0 -0
- snappy/upper_halfspace/__pycache__/__init__.cpython-310.pyc +0 -0
- snappy/upper_halfspace/__pycache__/ideal_point.cpython-310.pyc +0 -0
- snappy/verify/__pycache__/__init__.cpython-310.pyc +0 -0
- snappy/verify/__pycache__/cuspCrossSection.cpython-310.pyc +0 -0
- snappy/verify/__pycache__/cuspTranslations.cpython-310.pyc +0 -0
- snappy/verify/__pycache__/cusp_areas.cpython-310.pyc +0 -0
- snappy/verify/__pycache__/cusp_shapes.cpython-310.pyc +0 -0
- snappy/verify/__pycache__/exceptions.cpython-310.pyc +0 -0
- snappy/verify/__pycache__/interval_newton_shapes_engine.cpython-310.pyc +0 -0
- snappy/verify/__pycache__/interval_tree.cpython-310.pyc +0 -0
- snappy/verify/__pycache__/krawczyk_shapes_engine.cpython-310.pyc +0 -0
- snappy/verify/__pycache__/realAlgebra.cpython-310.pyc +0 -0
- snappy/verify/__pycache__/shapes.cpython-310.pyc +0 -0
- snappy/verify/__pycache__/short_slopes.cpython-310.pyc +0 -0
- snappy/verify/__pycache__/squareExtensions.cpython-310.pyc +0 -0
- snappy/verify/__pycache__/verifyCanonical.cpython-310.pyc +0 -0
- snappy/verify/__pycache__/verifyHyperbolicity.cpython-310.pyc +0 -0
- snappy/verify/__pycache__/volume.cpython-310.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/__init__.cpython-310.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/adjust_torsion.cpython-310.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/closed.cpython-310.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/compute_ptolemys.cpython-310.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/cusped.cpython-310.pyc +0 -0
- snappy/verify/complex_volume/__pycache__/extended_bloch.cpython-310.pyc +0 -0
- snappy/verify/cuspCrossSection.py +0 -1422
- snappy/verify/maximal_cusp_area_matrix/__pycache__/__init__.cpython-310.pyc +0 -0
- snappy/verify/maximal_cusp_area_matrix/__pycache__/cusp_tiling_engine.cpython-310.pyc +0 -0
- snappy/verify/maximal_cusp_area_matrix/__pycache__/cusp_translate_engine.cpython-310.pyc +0 -0
- snappy/verify/upper_halfspace/__pycache__/__init__.cpython-310.pyc +0 -0
- snappy/verify/upper_halfspace/__pycache__/extended_matrix.cpython-310.pyc +0 -0
- snappy/verify/upper_halfspace/__pycache__/finite_point.cpython-310.pyc +0 -0
- snappy/verify/upper_halfspace/__pycache__/ideal_point.cpython-310.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,198 +1,195 @@
|
|
1
|
-
|
2
|
-
|
3
|
-
|
4
|
-
|
5
|
-
|
6
|
-
<meta name="viewport" content="width=device-width, initial-scale=1
|
7
|
-
|
8
|
-
|
9
|
-
|
10
|
-
<link rel="stylesheet"
|
11
|
-
|
12
|
-
|
13
|
-
|
14
|
-
|
15
|
-
|
16
|
-
|
17
|
-
|
18
|
-
|
19
|
-
|
20
|
-
|
21
|
-
<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="Classes" href="ptolemy_classes.html" />
|
25
|
-
<link rel="prev" title="Step-by-step examples: Part 3" href="ptolemy_examples3.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
|
-
|
41
|
-
|
42
|
-
|
43
|
-
<
|
44
|
-
|
45
|
-
|
46
|
-
|
47
|
-
|
48
|
-
|
49
|
-
</
|
50
|
-
|
51
|
-
|
52
|
-
<li class="toctree-l1"><a class="reference internal" href="
|
53
|
-
<li class="toctree-l1"><a class="reference internal" href="
|
54
|
-
<li class="toctree-l1"><a class="reference internal" href="
|
55
|
-
<li class="toctree-l1"><a class="reference internal" href="
|
56
|
-
<li class="toctree-l1"><a class="reference internal" href="
|
57
|
-
<li class="toctree-l1"><a class="reference internal" href="
|
58
|
-
<li class="toctree-
|
59
|
-
<li class="toctree-
|
60
|
-
<li class="toctree-
|
61
|
-
<li class="toctree-
|
62
|
-
<li class="toctree-
|
63
|
-
<li class="toctree-
|
64
|
-
<li class="toctree-
|
65
|
-
<li class="toctree-l5"><a class="reference internal" href="
|
66
|
-
<li class="toctree-l5"><a class="reference internal" href="
|
67
|
-
<li class="toctree-l5"><a class="reference internal" href="
|
68
|
-
|
69
|
-
|
70
|
-
|
71
|
-
</
|
72
|
-
</
|
73
|
-
</
|
74
|
-
</li>
|
75
|
-
</ul>
|
76
|
-
</li>
|
77
|
-
<li class="toctree-
|
78
|
-
</
|
79
|
-
</li>
|
80
|
-
<li class="toctree-l1"><a class="reference internal" href="
|
81
|
-
<li class="toctree-l1"><a class="reference internal" href="
|
82
|
-
|
83
|
-
|
84
|
-
|
85
|
-
</
|
86
|
-
|
87
|
-
|
88
|
-
|
89
|
-
|
90
|
-
|
91
|
-
|
92
|
-
|
93
|
-
|
94
|
-
|
95
|
-
|
96
|
-
|
97
|
-
|
98
|
-
<
|
99
|
-
|
100
|
-
<li
|
101
|
-
|
102
|
-
|
103
|
-
|
104
|
-
|
105
|
-
|
106
|
-
|
107
|
-
|
108
|
-
|
109
|
-
|
110
|
-
|
111
|
-
|
112
|
-
|
113
|
-
<
|
114
|
-
<p><
|
115
|
-
<
|
116
|
-
<span
|
117
|
-
<
|
118
|
-
|
119
|
-
|
120
|
-
<
|
121
|
-
</
|
122
|
-
</
|
123
|
-
<
|
124
|
-
<
|
125
|
-
<
|
126
|
-
|
127
|
-
|
128
|
-
<
|
129
|
-
|
130
|
-
</
|
131
|
-
|
132
|
-
|
133
|
-
<
|
134
|
-
</
|
135
|
-
|
136
|
-
<
|
137
|
-
</
|
138
|
-
<
|
139
|
-
<
|
140
|
-
<
|
141
|
-
<
|
142
|
-
<span class="
|
143
|
-
<span class="go">
|
144
|
-
<span class="go">
|
145
|
-
<span class="go">
|
146
|
-
<span class="go"> x^25 ... - 196124*x^4 + 14010*x^3 - 1560*x^2 + 72*x - 1)
|
147
|
-
<span class="go">
|
148
|
-
<span class="go">
|
149
|
-
<span class="go">
|
150
|
-
|
151
|
-
|
152
|
-
<span class="
|
153
|
-
|
154
|
-
</
|
155
|
-
<
|
156
|
-
<
|
157
|
-
|
158
|
-
<
|
159
|
-
<
|
160
|
-
|
161
|
-
|
162
|
-
|
163
|
-
|
164
|
-
|
165
|
-
</
|
166
|
-
|
167
|
-
|
168
|
-
|
169
|
-
|
170
|
-
|
171
|
-
|
172
|
-
|
173
|
-
|
174
|
-
|
175
|
-
|
176
|
-
|
177
|
-
|
178
|
-
|
179
|
-
|
180
|
-
|
181
|
-
|
182
|
-
|
183
|
-
|
184
|
-
|
185
|
-
|
186
|
-
</
|
187
|
-
|
188
|
-
|
189
|
-
|
190
|
-
|
191
|
-
|
192
|
-
|
193
|
-
|
194
|
-
|
195
|
-
</script>
|
196
|
-
|
197
|
-
</body>
|
1
|
+
|
2
|
+
|
3
|
+
<!DOCTYPE html>
|
4
|
+
<html class="writer-html5" lang="en" data-content_root="./">
|
5
|
+
<head>
|
6
|
+
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
|
7
|
+
|
8
|
+
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
9
|
+
<title>Step-by-step examples: Part 4 — SnapPy 3.2 documentation</title>
|
10
|
+
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=fa44fd50" />
|
11
|
+
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=e59714d7" />
|
12
|
+
<link rel="stylesheet" type="text/css" href="_static/snappy_sphinx_rtd_theme.css?v=1b8ec2a8" />
|
13
|
+
|
14
|
+
|
15
|
+
<link rel="shortcut icon" href="_static/SnapPy.ico"/>
|
16
|
+
<script src="_static/jquery.js?v=5d32c60e"></script>
|
17
|
+
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
|
18
|
+
<script src="_static/documentation_options.js?v=828ea960"></script>
|
19
|
+
<script src="_static/doctools.js?v=9a2dae69"></script>
|
20
|
+
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
|
21
|
+
<script 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="Classes" href="ptolemy_classes.html" />
|
25
|
+
<link rel="prev" title="Step-by-step examples: Part 3" href="ptolemy_examples3.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="reference internal" href="ptolemy.html">The ptolemy module</a><ul class="current">
|
60
|
+
<li class="toctree-l4"><a class="reference internal" href="ptolemy.html#what-is-the-ptolemy-module">What is the ptolemy module?</a></li>
|
61
|
+
<li class="toctree-l4 current"><a class="reference internal" href="ptolemy.html#documentation">Documentation</a><ul class="current">
|
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 current"><a class="current reference internal" href="#">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"><a href="ptolemy.html">The ptolemy module</a></li>
|
100
|
+
<li class="breadcrumb-item active">Step-by-step examples: Part 4</li>
|
101
|
+
<li class="wy-breadcrumbs-aside">
|
102
|
+
</li>
|
103
|
+
</ul>
|
104
|
+
<hr/>
|
105
|
+
</div>
|
106
|
+
<div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
|
107
|
+
<div itemprop="articleBody">
|
108
|
+
|
109
|
+
<section id="step-by-step-examples-part-4">
|
110
|
+
<h1>Step-by-step examples: Part 4<a class="headerlink" href="#step-by-step-examples-part-4" title="Link to this heading"></a></h1>
|
111
|
+
<p><strong>Advanced topics. Still under construction.</strong></p>
|
112
|
+
<section id="the-structure-of-an-exact-solution">
|
113
|
+
<span id="ptolemy-example-structure-of-solution"></span><h2>The structure of an exact solution<a class="headerlink" href="#the-structure-of-an-exact-solution" title="Link to this heading"></a></h2>
|
114
|
+
<p>A solution to the Ptolemy variety (here <code class="docutils literal notranslate"><span class="pre">sol</span></code>) is an object of type <code class="docutils literal notranslate"><span class="pre">PtolemyCoordinates</span></code> which is a subclass of a python dictionary. It assigns a value to each Ptolemy coordinate c<sub>…</sub> (the s<sub>…</sub> are related to the obstruction class which is trivial here). We can get the value assigned to a particular Ptolemy coordinate as follows:</p>
|
115
|
+
<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">>>> </span><span class="n">sol</span> <span class="o">=</span> <span class="n">Manifold</span><span class="p">(</span><span class="s2">"m003"</span><span class="p">)</span><span class="o">.</span><span class="n">ptolemy_variety</span><span class="p">(</span><span class="mi">2</span><span class="p">)</span><span class="o">.</span><span class="n">retrieve_solutions</span><span class="p">()[</span><span class="mi">0</span><span class="p">]</span>
|
116
|
+
<span class="gp">>>> </span><span class="n">sol</span><span class="p">[</span><span class="s1">'c_0101_1'</span><span class="p">]</span>
|
117
|
+
<span class="go">Mod(-x, x^2 - x - 1)</span>
|
118
|
+
</pre></div>
|
119
|
+
</div>
|
120
|
+
<p>This is a pari object of type <cite>POLMOD</cite>. It means that the solution is in the number field with defining polynomial <em>x</em><sup>2</sup>- <em>x</em> - 1 and that it is equal to - <em>x</em> where <em>x</em> is a root in the defining polynomial.</p>
|
121
|
+
<p>We can get to the parts of a pari <cite>POLMOD</cite> object by:</p>
|
122
|
+
<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">>>> </span><span class="n">sol</span><span class="p">[</span><span class="s1">'c_0101_1'</span><span class="p">]</span><span class="o">.</span><span class="n">lift</span><span class="p">()</span>
|
123
|
+
<span class="go">-x</span>
|
124
|
+
<span class="gp">>>> </span><span class="n">sol</span><span class="p">[</span><span class="s1">'c_0101_1'</span><span class="p">]</span><span class="o">.</span><span class="n">mod</span><span class="p">()</span>
|
125
|
+
<span class="go">x^2 - x - 1</span>
|
126
|
+
</pre></div>
|
127
|
+
</div>
|
128
|
+
<p>These objects also support the field operations, here we are computing a cross ratio:</p>
|
129
|
+
<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">>>> </span><span class="p">(</span><span class="n">sol</span><span class="p">[</span><span class="s1">'c_0101_0'</span><span class="p">]</span> <span class="o">*</span> <span class="n">sol</span><span class="p">[</span><span class="s1">'c_1010_0'</span><span class="p">])</span> <span class="o">/</span> <span class="p">(</span><span class="n">sol</span><span class="p">[</span><span class="s1">'c_1001_0'</span><span class="p">]</span> <span class="o">*</span> <span class="n">sol</span><span class="p">[</span><span class="s1">'c_0110_0'</span><span class="p">])</span>
|
130
|
+
<span class="go">Mod(x, x^2 - x - 1)</span>
|
131
|
+
</pre></div>
|
132
|
+
</div>
|
133
|
+
<p><strong>Remark:</strong> We would prefer to represent these using types that are better suited when using sage such as NumberField and NumberFieldElement. In the future, we might jettison support of the ptolemy module outside of sage and use sage’s native types.</p>
|
134
|
+
</section>
|
135
|
+
<section id="rational-univariate-representation">
|
136
|
+
<h2>Rational Univariate Representation<a class="headerlink" href="#rational-univariate-representation" title="Link to this heading"></a></h2>
|
137
|
+
<p>We have some limited support for the <cite>Rational Univariate Representation</cite>, for example:</p>
|
138
|
+
<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">>>> </span><span class="n">sols</span> <span class="o">=</span> <span class="n">Manifold</span><span class="p">(</span><span class="s2">"m069"</span><span class="p">)</span><span class="o">.</span><span class="n">ptolemy_variety</span><span class="p">(</span><span class="mi">3</span><span class="p">)</span><span class="o">.</span><span class="n">retrieve_solutions</span><span class="p">()</span>
|
139
|
+
<span class="gp">>>> </span><span class="n">sols</span><span class="p">[</span><span class="mi">4</span><span class="p">]</span>
|
140
|
+
<span class="go">PtolemyCoordinates(</span>
|
141
|
+
<span class="go"> { 'c_0201_0': ( Mod(-426088934700737884313191344*x^24 + 4110489425474123899213651272*x^23 ...</span>
|
142
|
+
<span class="go"> - 67064980598091504185767190,</span>
|
143
|
+
<span class="go"> x^25 ... - 196124*x^4 + 14010*x^3 - 1560*x^2 + 72*x - 1)</span>
|
144
|
+
<span class="go"> ) / ( Mod(875895332415105303646551573*x^24 - 8450034810535061601312104296*x^23 ...</span>
|
145
|
+
<span class="go"> + 137871639973525691285247446,</span>
|
146
|
+
<span class="go"> x^25 ... - 196124*x^4 + 14010*x^3 - 1560*x^2 + 72*x - 1) ),</span>
|
147
|
+
<span class="go"> ...</span>
|
148
|
+
<span class="go"> },</span>
|
149
|
+
<span class="go"> is_numerical = False, ...)</span>
|
150
|
+
</pre></div>
|
151
|
+
</div>
|
152
|
+
<p>This means that <code class="docutils literal notranslate"><span class="pre">c_0201_0</span></code> is assigned the fraction of those two <code class="docutils literal notranslate"><span class="pre">POLDMOD</span></code> objects.</p>
|
153
|
+
<p><strong>Remark:</strong> This is still under development.</p>
|
154
|
+
</section>
|
155
|
+
<section id="todo">
|
156
|
+
<h2>TODO<a class="headerlink" href="#todo" title="Link to this heading"></a></h2>
|
157
|
+
<ul class="simple">
|
158
|
+
<li><p>Give an overview of the classes and the methods.</p></li>
|
159
|
+
<li><p>Explain how the magma file are generated. Say that magma computes the RadicalDecomposition. Ptolemy module can process the lexicographic Groebner basis of a prime ideal.</p></li>
|
160
|
+
</ul>
|
161
|
+
</section>
|
162
|
+
</section>
|
163
|
+
|
164
|
+
|
165
|
+
</div>
|
166
|
+
</div>
|
167
|
+
<footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
|
168
|
+
<a href="ptolemy_examples3.html" class="btn btn-neutral float-left" title="Step-by-step examples: Part 3" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
|
169
|
+
<a href="ptolemy_classes.html" class="btn btn-neutral float-right" title="Classes" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
|
170
|
+
</div>
|
171
|
+
|
172
|
+
<hr/>
|
173
|
+
|
174
|
+
<div role="contentinfo">
|
175
|
+
<p>© Copyright 2009-2025, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
|
176
|
+
</div>
|
177
|
+
|
178
|
+
Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
|
179
|
+
<a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
|
180
|
+
provided by <a href="https://readthedocs.org">Read the Docs</a>.
|
181
|
+
|
182
|
+
|
183
|
+
</footer>
|
184
|
+
</div>
|
185
|
+
</div>
|
186
|
+
</section>
|
187
|
+
</div>
|
188
|
+
<script>
|
189
|
+
jQuery(function () {
|
190
|
+
SphinxRtdTheme.Navigation.enable(true);
|
191
|
+
});
|
192
|
+
</script>
|
193
|
+
|
194
|
+
</body>
|
198
195
|
</html>
|