snappy 3.0.3__cp38-cp38-macosx_11_0_arm64.whl → 3.2__cp38-cp38-macosx_11_0_arm64.whl
Sign up to get free protection for your applications and to get access to all the features.
- snappy/CyOpenGL.cpython-38-darwin.so +0 -0
- snappy/SnapPy.cpython-38-darwin.so +0 -0
- snappy/SnapPyHP.cpython-38-darwin.so +0 -0
- snappy/__init__.py +373 -426
- snappy/app.py +240 -75
- snappy/app_menus.py +93 -78
- snappy/browser.py +87 -63
- snappy/cache.py +5 -8
- snappy/canonical.py +249 -0
- snappy/{verify/cusp_shapes.py → cusps/__init__.py} +11 -19
- snappy/cusps/cusp_area_matrix.py +101 -0
- snappy/{verify/cusp_areas.py → cusps/cusp_areas_from_matrix.py} +39 -54
- 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 +40 -31
- snappy/db_utilities.py +13 -14
- snappy/decorated_isosig.py +377 -133
- snappy/dev/extended_ptolemy/complexVolumesClosed.py +42 -9
- snappy/dev/extended_ptolemy/extended.py +32 -25
- snappy/dev/extended_ptolemy/giac_rur.py +23 -8
- snappy/dev/extended_ptolemy/phc_wrapper.py +10 -10
- snappy/dev/vericlosed/computeApproxHyperbolicStructureOrb.py +2 -1
- snappy/dev/vericlosed/gimbalLoopFinder.py +5 -5
- snappy/dev/vericlosed/hyperbolicStructure.py +3 -3
- snappy/dev/vericlosed/oneVertexTruncatedComplex.py +2 -2
- snappy/dev/vericlosed/truncatedComplex.py +3 -2
- snappy/dev/vericlosed/verifyHyperbolicStructureEngine.py +4 -3
- snappy/doc/_images/geodesics.jpg +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/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 +1 -0
- snappy/doc/_sources/credits.rst.txt +6 -1
- snappy/doc/_sources/development.rst.txt +69 -50
- snappy/doc/_sources/index.rst.txt +101 -66
- snappy/doc/_sources/installing.rst.txt +148 -165
- snappy/doc/_sources/news.rst.txt +136 -32
- snappy/doc/_sources/ptolemy.rst.txt +1 -1
- snappy/doc/_sources/ptolemy_examples1.rst.txt +9 -8
- snappy/doc/_sources/ptolemy_examples2.rst.txt +3 -3
- snappy/doc/_sources/ptolemy_examples3.rst.txt +14 -14
- snappy/doc/_sources/ptolemy_prelim.rst.txt +1 -1
- snappy/doc/_sources/snap.rst.txt +2 -2
- snappy/doc/_sources/snappy.rst.txt +1 -1
- snappy/doc/_sources/triangulation.rst.txt +3 -2
- snappy/doc/_sources/verify.rst.txt +89 -29
- snappy/doc/_sources/verify_internals.rst.txt +5 -16
- 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 +47 -27
- 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 +107 -274
- snappy/doc/_static/documentation_options.js +6 -5
- 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 -2
- 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 +3 -101
- snappy/doc/_static/pygments.css +1 -0
- snappy/doc/_static/searchtools.js +489 -398
- 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 +688 -263
- snappy/doc/bugs.html +107 -94
- snappy/doc/censuses.html +155 -127
- snappy/doc/credits.html +115 -104
- snappy/doc/development.html +184 -146
- snappy/doc/genindex.html +287 -204
- snappy/doc/index.html +189 -150
- snappy/doc/installing.html +259 -266
- snappy/doc/manifold.html +1626 -592
- snappy/doc/manifoldhp.html +119 -105
- snappy/doc/news.html +198 -104
- snappy/doc/objects.inv +0 -0
- snappy/doc/other.html +117 -105
- snappy/doc/platonic_census.html +161 -114
- snappy/doc/plink.html +113 -105
- snappy/doc/ptolemy.html +131 -108
- snappy/doc/ptolemy_classes.html +242 -223
- snappy/doc/ptolemy_examples1.html +144 -130
- snappy/doc/ptolemy_examples2.html +141 -129
- snappy/doc/ptolemy_examples3.html +148 -132
- snappy/doc/ptolemy_examples4.html +131 -111
- snappy/doc/ptolemy_prelim.html +162 -138
- snappy/doc/py-modindex.html +104 -69
- snappy/doc/screenshots.html +117 -108
- snappy/doc/search.html +115 -84
- snappy/doc/searchindex.js +1 -1
- snappy/doc/snap.html +109 -96
- snappy/doc/snappy.html +134 -97
- snappy/doc/spherogram.html +259 -187
- snappy/doc/todo.html +107 -94
- snappy/doc/triangulation.html +1380 -111
- snappy/doc/tutorial.html +107 -94
- snappy/doc/verify.html +194 -125
- snappy/doc/verify_internals.html +248 -686
- 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 +126 -0
- snappy/drilling/tracing.py +351 -0
- snappy/exceptions.py +23 -3
- snappy/export_stl.py +20 -14
- 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 +197 -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 +123 -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/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/geometric_structure/geodesic/fixed_points.py +93 -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 +101 -0
- snappy/geometric_structure/test.py +22 -0
- snappy/gui.py +36 -36
- snappy/horoviewer.py +50 -48
- snappy/hyperboloid/__init__.py +212 -0
- 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/{infodialog.py → infowindow.py} +32 -33
- 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/manifolds/__init__.py +1 -1
- snappy/math_basics.py +176 -0
- snappy/matrix.py +525 -0
- snappy/number.py +97 -21
- snappy/numeric_output_checker.py +37 -27
- snappy/pari.py +30 -69
- snappy/phone_home.py +25 -20
- snappy/polyviewer.py +39 -37
- snappy/ptolemy/__init__.py +4 -6
- snappy/ptolemy/component.py +14 -12
- snappy/ptolemy/coordinates.py +312 -295
- snappy/ptolemy/fieldExtensions.py +14 -12
- snappy/ptolemy/findLoops.py +43 -31
- snappy/ptolemy/geometricRep.py +24 -26
- snappy/ptolemy/homology.py +12 -7
- snappy/ptolemy/manifoldMethods.py +69 -70
- snappy/ptolemy/matrix.py +65 -26
- snappy/ptolemy/numericalSolutionsToGroebnerBasis.py +18 -14
- snappy/ptolemy/polynomial.py +125 -119
- snappy/ptolemy/processComponents.py +36 -30
- snappy/ptolemy/processFileBase.py +79 -18
- snappy/ptolemy/processFileDispatch.py +13 -14
- snappy/ptolemy/processMagmaFile.py +44 -39
- snappy/ptolemy/processRurFile.py +18 -11
- snappy/ptolemy/ptolemyGeneralizedObstructionClass.py +20 -17
- snappy/ptolemy/ptolemyObstructionClass.py +13 -17
- snappy/ptolemy/ptolemyVariety.py +190 -121
- snappy/ptolemy/ptolemyVarietyPrimeIdealGroebnerBasis.py +20 -19
- snappy/ptolemy/reginaWrapper.py +25 -29
- snappy/ptolemy/rur.py +6 -14
- snappy/ptolemy/solutionsToPrimeIdealGroebnerBasis.py +27 -22
- snappy/ptolemy/test.py +247 -188
- snappy/ptolemy/utilities.py +41 -43
- 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 +10 -6
- snappy/raytracing/eyeball.py +123 -0
- snappy/raytracing/finite_raytracing_data.py +48 -38
- snappy/raytracing/finite_viewer.py +218 -210
- 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 +152 -40
- snappy/raytracing/hyperboloid_navigation.py +102 -52
- snappy/raytracing/hyperboloid_utilities.py +114 -261
- snappy/raytracing/ideal_raytracing_data.py +256 -179
- snappy/raytracing/inside_viewer.py +522 -253
- snappy/raytracing/pack.py +22 -0
- snappy/raytracing/raytracing_data.py +46 -34
- snappy/raytracing/raytracing_view.py +190 -109
- snappy/raytracing/shaders/Eye.png +0 -0
- snappy/raytracing/shaders/NonGeometric.png +0 -0
- snappy/raytracing/shaders/__init__.py +60 -4
- snappy/raytracing/shaders/fragment.glsl +575 -148
- 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 +32 -29
- snappy/raytracing/zoom_slider/test.py +2 -0
- snappy/sage_helper.py +69 -123
- snappy/{preferences.py → settings.py} +167 -145
- snappy/shell.py +4 -0
- snappy/snap/__init__.py +12 -8
- snappy/snap/character_varieties.py +24 -18
- snappy/snap/find_field.py +35 -34
- snappy/snap/fundamental_polyhedron.py +99 -85
- snappy/snap/generators.py +6 -8
- snappy/snap/interval_reps.py +18 -6
- snappy/snap/kernel_structures.py +8 -3
- snappy/snap/mcomplex_base.py +1 -2
- snappy/snap/nsagetools.py +107 -53
- snappy/snap/peripheral/__init__.py +1 -1
- snappy/snap/peripheral/dual_cellulation.py +15 -7
- snappy/snap/peripheral/link.py +20 -16
- snappy/snap/peripheral/peripheral.py +22 -14
- snappy/snap/peripheral/surface.py +47 -50
- snappy/snap/peripheral/test.py +8 -8
- snappy/snap/polished_reps.py +65 -40
- snappy/snap/shapes.py +41 -22
- snappy/snap/slice_obs_HKL.py +64 -25
- snappy/snap/t3mlite/arrow.py +88 -51
- snappy/snap/t3mlite/corner.py +5 -6
- snappy/snap/t3mlite/edge.py +32 -21
- snappy/snap/t3mlite/face.py +7 -9
- snappy/snap/t3mlite/files.py +31 -23
- snappy/snap/t3mlite/homology.py +14 -10
- snappy/snap/t3mlite/linalg.py +158 -56
- snappy/snap/t3mlite/mcomplex.py +739 -291
- snappy/snap/t3mlite/perm4.py +236 -84
- snappy/snap/t3mlite/setup.py +9 -10
- snappy/snap/t3mlite/simplex.py +65 -48
- snappy/snap/t3mlite/spun.py +42 -30
- snappy/snap/t3mlite/surface.py +45 -45
- snappy/snap/t3mlite/test.py +3 -0
- snappy/snap/t3mlite/test_vs_regina.py +17 -13
- snappy/snap/t3mlite/tetrahedron.py +25 -24
- snappy/snap/t3mlite/vertex.py +8 -13
- snappy/snap/test.py +45 -52
- snappy/snap/utilities.py +66 -65
- snappy/test.py +155 -158
- 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 +313 -203
- snappy/twister/main.py +1 -8
- snappy/twister/twister_core.cpython-38-darwin.so +0 -0
- snappy/upper_halfspace/__init__.py +146 -0
- snappy/upper_halfspace/ideal_point.py +26 -0
- snappy/verify/__init__.py +4 -8
- snappy/verify/{verifyCanonical.py → canonical.py} +114 -97
- snappy/verify/complex_volume/__init__.py +3 -2
- snappy/verify/complex_volume/adjust_torsion.py +13 -11
- snappy/verify/complex_volume/closed.py +29 -24
- snappy/verify/complex_volume/compute_ptolemys.py +8 -6
- snappy/verify/complex_volume/cusped.py +10 -9
- snappy/verify/complex_volume/extended_bloch.py +14 -12
- snappy/verify/{cuspTranslations.py → cusp_translations.py} +15 -14
- snappy/verify/edge_equations.py +80 -0
- snappy/verify/exceptions.py +23 -56
- snappy/verify/{verifyHyperbolicity.py → hyperbolicity.py} +19 -15
- snappy/verify/interval_newton_shapes_engine.py +51 -211
- snappy/verify/interval_tree.py +27 -25
- snappy/verify/krawczyk_shapes_engine.py +47 -50
- snappy/verify/maximal_cusp_area_matrix/__init__.py +17 -86
- snappy/verify/maximal_cusp_area_matrix/cusp_tiling_engine.py +58 -48
- snappy/verify/maximal_cusp_area_matrix/cusp_translate_engine.py +53 -57
- snappy/verify/{realAlgebra.py → real_algebra.py} +26 -20
- snappy/verify/shapes.py +10 -7
- snappy/verify/short_slopes.py +41 -42
- snappy/verify/{squareExtensions.py → square_extensions.py} +96 -92
- snappy/verify/test.py +59 -57
- snappy/verify/upper_halfspace/extended_matrix.py +5 -5
- snappy/verify/upper_halfspace/finite_point.py +44 -31
- snappy/verify/upper_halfspace/ideal_point.py +69 -57
- snappy/verify/volume.py +15 -12
- snappy/version.py +2 -3
- {snappy-3.0.3.dist-info → snappy-3.2.dist-info}/METADATA +14 -12
- snappy-3.2.dist-info/RECORD +503 -0
- {snappy-3.0.3.dist-info → snappy-3.2.dist-info}/WHEEL +1 -1
- {snappy-3.0.3.dist-info → snappy-3.2.dist-info}/entry_points.txt +0 -1
- {snappy-3.0.3.dist-info → snappy-3.2.dist-info}/top_level.txt +10 -1
- snappy/doc/_sources/verify_canon.rst.txt +0 -90
- snappy/doc/_static/classic.css +0 -266
- snappy/doc/_static/jquery-3.5.1.js +0 -10872
- snappy/doc/_static/sidebar.js +0 -159
- snappy/doc/_static/underscore-1.13.1.js +0 -2042
- snappy/doc/_static/underscore.js +0 -6
- snappy/doc/verify_canon.html +0 -283
- snappy/ppm_to_png.py +0 -243
- 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/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/verify/cuspCrossSection.py +0 -1413
- snappy/verify/mathHelpers.py +0 -64
- snappy-3.0.3.dist-info/RECORD +0 -360
snappy/polyviewer.py
CHANGED
@@ -1,5 +1,4 @@
|
|
1
1
|
# -*- coding: utf-8 -*-
|
2
|
-
from __future__ import unicode_literals
|
3
2
|
import time
|
4
3
|
|
5
4
|
from .gui import *
|
@@ -8,13 +7,15 @@ from .export_stl import stl
|
|
8
7
|
from . import filedialog
|
9
8
|
from plink.ipython_tools import IPythonTkRoot
|
10
9
|
|
10
|
+
|
11
11
|
class PolyhedronViewer(ttk.Frame):
|
12
12
|
"""
|
13
13
|
Displays a hyperbolic polyhedron, either in the Poincare or Klein model.
|
14
14
|
"""
|
15
15
|
|
16
|
-
def __init__(self,
|
17
|
-
ttk.Frame.__init__(self,
|
16
|
+
def __init__(self, parent, facedicts=[], **kwargs):
|
17
|
+
ttk.Frame.__init__(self, parent)
|
18
|
+
self.parent = parent
|
18
19
|
self.empty = (len(facedicts) == 0)
|
19
20
|
self.style = style = SnapPyStyle()
|
20
21
|
self.bgcolor = kwargs.get('bgcolor', self.style.windowBG)
|
@@ -22,18 +23,18 @@ class PolyhedronViewer(ttk.Frame):
|
|
22
23
|
self.main_window = kwargs.get('main_window', None)
|
23
24
|
self.topframe = topframe = ttk.Frame(self)
|
24
25
|
self.bottomframe = bottomframe = ttk.Frame(self)
|
25
|
-
self.model_var=Tk_.StringVar(self, value='
|
26
|
-
self.sphere_var=Tk_.IntVar(self, value=1)
|
26
|
+
self.model_var = Tk_.StringVar(self, value='Poincare')
|
27
|
+
self.sphere_var = Tk_.IntVar(self, value=1)
|
27
28
|
self.klein = ttk.Radiobutton(topframe, text='Klein',
|
28
|
-
variable
|
29
|
+
variable=self.model_var,
|
29
30
|
value='Klein',
|
30
31
|
command=self.new_model)
|
31
32
|
self.poincare = ttk.Radiobutton(topframe, text='Poincaré',
|
32
|
-
variable
|
33
|
+
variable=self.model_var,
|
33
34
|
value='Poincare',
|
34
35
|
command=self.new_model)
|
35
36
|
self.sphere = ttk.Checkbutton(topframe, text='',
|
36
|
-
variable
|
37
|
+
variable=self.sphere_var,
|
37
38
|
command=self.new_model)
|
38
39
|
self.spherelabel = spherelabel = Tk_.Text(topframe, height=1, width=3,
|
39
40
|
relief=Tk_.FLAT,
|
@@ -46,7 +47,7 @@ class PolyhedronViewer(ttk.Frame):
|
|
46
47
|
spherelabel.insert(Tk_.END, '∞', 'sub')
|
47
48
|
spherelabel.config(state=Tk_.DISABLED)
|
48
49
|
if sys.platform == 'darwin':
|
49
|
-
if
|
50
|
+
if parent:
|
50
51
|
spherelabel.configure(background=self.style.groupBG)
|
51
52
|
else:
|
52
53
|
spherelabel.configure(background=self.style.windowBG)
|
@@ -55,12 +56,12 @@ class PolyhedronViewer(ttk.Frame):
|
|
55
56
|
self.sphere.grid(row=0, column=2, sticky=Tk_.W, padx=0, pady=(2,6))
|
56
57
|
spherelabel.grid(row=0, column=3, sticky=Tk_.NW)
|
57
58
|
topframe.pack(side=Tk_.TOP, fill=Tk_.X)
|
58
|
-
self.widget = widget = OpenGLPerspectiveWidget(
|
59
|
-
width
|
60
|
-
height
|
61
|
-
double
|
62
|
-
depth
|
63
|
-
help
|
59
|
+
self.widget = widget = OpenGLPerspectiveWidget(bottomframe,
|
60
|
+
width=600,
|
61
|
+
height=500,
|
62
|
+
double=1,
|
63
|
+
depth=1,
|
64
|
+
help="""
|
64
65
|
Use mouse button 1 to rotate the polyhedron.
|
65
66
|
|
66
67
|
Releasing the button while moving will "throw" the polyhedron and make it keep spinning.
|
@@ -71,7 +72,7 @@ The slider controls zooming. You will see inside the polyhedron if you zoom far
|
|
71
72
|
cyglSetStandardLighting()
|
72
73
|
self.polyhedron = HyperbolicPolyhedron(facedicts, self.model_var,
|
73
74
|
self.sphere_var, togl_widget=self.widget)
|
74
|
-
widget.
|
75
|
+
widget.draw_projection_impl = self.polyhedron.draw
|
75
76
|
widget.autospin_allowed = 1
|
76
77
|
widget.set_background(.2, .2, .2)
|
77
78
|
widget.grid(row=0, column=0, sticky=Tk_.NSEW)
|
@@ -85,30 +86,30 @@ The slider controls zooming. You will see inside the polyhedron if you zoom far
|
|
85
86
|
zoomframe.grid(row=0, column=1, sticky=Tk_.NS)
|
86
87
|
bottomframe.pack(side=Tk_.TOP, expand=Tk_.YES, fill=Tk_.BOTH)
|
87
88
|
self.build_menus()
|
88
|
-
if isinstance(
|
89
|
-
|
89
|
+
if isinstance(parent, Tk_.Toplevel) and self.menubar:
|
90
|
+
parent.config(menu=self.menubar)
|
90
91
|
self.add_help()
|
91
92
|
# Added to avoid occasional missing faces in the browser.
|
92
93
|
self.update_idletasks()
|
93
94
|
|
94
|
-
def
|
95
|
-
# We don't have any
|
95
|
+
def apply_settings(self, settings):
|
96
|
+
# We don't have any settings to apply
|
96
97
|
return
|
97
98
|
|
98
99
|
# Subclasses may override this, e.g. if there is a help menu already.
|
99
100
|
def add_help(self):
|
100
|
-
help = ttk.Button(self.topframe, text
|
101
|
-
|
101
|
+
self.help_button = help = ttk.Button(self.topframe, text='Help', width=4,
|
102
|
+
command=self.widget.help)
|
102
103
|
help.grid(row=0, column=4, sticky=Tk_.E, padx=18)
|
103
|
-
self.topframe.columnconfigure(3, weight
|
104
|
+
self.topframe.columnconfigure(3, weight=1)
|
104
105
|
|
105
106
|
def export_stl(self):
|
106
107
|
model = self.model_var.get()
|
107
108
|
file = filedialog.asksaveasfile(
|
108
|
-
parent=self.
|
109
|
+
parent=self.parent,
|
109
110
|
title='Save %s model as STL file' % model,
|
110
|
-
defaultextension
|
111
|
-
filetypes
|
111
|
+
defaultextension='.stl',
|
112
|
+
filetypes=[
|
112
113
|
('STL files', '*.stl'),
|
113
114
|
('All files', '')])
|
114
115
|
if file:
|
@@ -124,10 +125,10 @@ The slider controls zooming. You will see inside the polyhedron if you zoom far
|
|
124
125
|
def export_cutout_stl(self):
|
125
126
|
model = self.model_var.get()
|
126
127
|
file = filedialog.asksaveasfile(
|
127
|
-
parent=self.
|
128
|
+
parent=self.parent,
|
128
129
|
title='Save %s model cutout as STL file' % model,
|
129
|
-
defaultextension
|
130
|
-
filetypes
|
130
|
+
defaultextension='.stl',
|
131
|
+
filetypes=[
|
131
132
|
('STL files', '*.stl'),
|
132
133
|
('All files', '')])
|
133
134
|
if file:
|
@@ -140,30 +141,30 @@ The slider controls zooming. You will see inside the polyhedron if you zoom far
|
|
140
141
|
n = 0
|
141
142
|
file.close()
|
142
143
|
|
143
|
-
|
144
|
+
# Subclasses may override this to provide menus.
|
144
145
|
def build_menus(self):
|
145
146
|
pass
|
146
147
|
|
147
|
-
|
148
|
+
# Subclasses may override this to update menus, e.g. when embedded in a larger window.
|
148
149
|
def update_menus(self, menubar):
|
149
150
|
pass
|
150
151
|
|
151
152
|
def redraw(self):
|
152
|
-
self.widget.
|
153
|
+
self.widget.redraw()
|
153
154
|
|
154
155
|
def reset(self):
|
155
156
|
self.widget.autospin = 0
|
156
157
|
self.widget.set_eyepoint(5.0)
|
157
158
|
self.zoom.set(50)
|
158
|
-
self.widget.
|
159
|
+
self.widget.redraw()
|
159
160
|
|
160
161
|
def set_zoom(self, x):
|
161
162
|
t = (100.0-float(x))/100.0
|
162
163
|
self.widget.distance = t*1.0 + (1-t)*8.0
|
163
|
-
self.widget.
|
164
|
+
self.widget.redraw()
|
164
165
|
|
165
166
|
def new_model(self):
|
166
|
-
self.widget.
|
167
|
+
self.widget.redraw()
|
167
168
|
|
168
169
|
def new_polyhedron(self, new_facedicts):
|
169
170
|
self.empty = (len(new_facedicts) == 0)
|
@@ -174,8 +175,8 @@ The slider controls zooming. You will see inside the polyhedron if you zoom far
|
|
174
175
|
pass
|
175
176
|
self.polyhedron = HyperbolicPolyhedron(new_facedicts, self.model_var,
|
176
177
|
self.sphere_var, togl_widget=self.widget)
|
177
|
-
self.widget.
|
178
|
-
self.widget.
|
178
|
+
self.widget.draw_projection_impl = self.polyhedron.draw
|
179
|
+
self.widget.redraw()
|
179
180
|
|
180
181
|
def delete_resource(self):
|
181
182
|
try:
|
@@ -205,6 +206,7 @@ The slider controls zooming. You will see inside the polyhedron if you zoom far
|
|
205
206
|
self.update_idletasks()
|
206
207
|
time.sleep(0.5)
|
207
208
|
|
209
|
+
|
208
210
|
__doc__ = """
|
209
211
|
The polyviewer module exports the PolyhedronViewer class, which is
|
210
212
|
a Tkinter / OpenGL window for viewing Dirichlet Domains in either
|
snappy/ptolemy/__init__.py
CHANGED
@@ -1,6 +1,6 @@
|
|
1
|
-
|
2
|
-
|
3
|
-
|
1
|
+
# ptolemy module implements methods to find and solve the Ptolemy variety
|
2
|
+
#
|
3
|
+
# 2012 - "Matthias Goerner" <enischte@gmail.com>
|
4
4
|
|
5
5
|
from .coordinates import PtolemyCoordinates, Flattenings, CrossRatios
|
6
6
|
from .processMagmaFile import solutions_from_magma, solutions_from_magma_file
|
@@ -14,6 +14,4 @@ _env = _os.environ.get('PTOLEMY_DATA_URL')
|
|
14
14
|
if _env:
|
15
15
|
DATA_URL = _env
|
16
16
|
else:
|
17
|
-
DATA_URL = "
|
18
|
-
|
19
|
-
|
17
|
+
DATA_URL = "https://ptolemy.unhyperbolic.org/"
|
snappy/ptolemy/component.py
CHANGED
@@ -1,8 +1,10 @@
|
|
1
1
|
from . import utilities
|
2
2
|
|
3
|
+
|
3
4
|
class Component(utilities.MethodMappingList):
|
4
5
|
pass
|
5
6
|
|
7
|
+
|
6
8
|
class ZeroDimensionalComponent(Component):
|
7
9
|
"""
|
8
10
|
A list holding solutions of the Ptolemy variety belonging
|
@@ -10,23 +12,23 @@ class ZeroDimensionalComponent(Component):
|
|
10
12
|
variety (i.e., Galois conjugate solutions).
|
11
13
|
"""
|
12
14
|
|
13
|
-
def __init__(self, l, p
|
15
|
+
def __init__(self, l, p=None):
|
14
16
|
self.dimension = 0
|
15
|
-
super(
|
16
|
-
|
17
|
+
super().__init__(l)
|
18
|
+
|
17
19
|
|
18
20
|
class NonZeroDimensionalComponent(Component):
|
19
21
|
"""
|
20
|
-
Represents a non-zero
|
22
|
+
Represents a non-zero dimensional component in the
|
21
23
|
Ptolemy variety. It is a list that can hold points sampled from that
|
22
24
|
component (witnesses).
|
23
25
|
"""
|
24
26
|
|
25
|
-
def __init__(self, witnesses
|
26
|
-
dimension
|
27
|
-
p
|
28
|
-
|
29
|
-
if
|
27
|
+
def __init__(self, witnesses=[],
|
28
|
+
dimension='unknown', free_variables=None, genus=None,
|
29
|
+
p=None):
|
30
|
+
|
31
|
+
if p is not None:
|
30
32
|
self.dimension = p.dimension
|
31
33
|
self.free_variables = p.free_variables
|
32
34
|
self.genus = p.genus
|
@@ -34,7 +36,7 @@ class NonZeroDimensionalComponent(Component):
|
|
34
36
|
self.dimension = dimension
|
35
37
|
self.free_variables = free_variables
|
36
38
|
self.genus = genus
|
37
|
-
super(
|
39
|
+
super().__init__(witnesses)
|
38
40
|
|
39
41
|
def _base_str_(self):
|
40
42
|
if self.free_variables is None:
|
@@ -42,7 +44,7 @@ class NonZeroDimensionalComponent(Component):
|
|
42
44
|
else:
|
43
45
|
f = ', free_variables = %r' % self.free_variables
|
44
46
|
|
45
|
-
if
|
47
|
+
if self.genus is not None:
|
46
48
|
f += ', genus = %d' % self.genus
|
47
49
|
|
48
50
|
return "NonZeroDimensionalComponent(dimension = %r%s)" % (
|
@@ -78,8 +80,8 @@ class NonZeroDimensionalComponent(Component):
|
|
78
80
|
else:
|
79
81
|
p.text(base_str)
|
80
82
|
|
83
|
+
|
81
84
|
def _test():
|
82
|
-
|
83
85
|
"""
|
84
86
|
|
85
87
|
>>> a = NonZeroDimensionalComponent(dimension = 1, free_variables='x')
|