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/sage_helper.py
CHANGED
@@ -9,15 +9,10 @@ than the usual ">>>".
|
|
9
9
|
"""
|
10
10
|
|
11
11
|
try:
|
12
|
-
import sage.
|
12
|
+
import sage.structure.sage_object
|
13
13
|
_within_sage = True
|
14
|
-
except:
|
14
|
+
except ImportError:
|
15
15
|
_within_sage = False
|
16
|
-
import decorator
|
17
|
-
|
18
|
-
import sys, doctest, re, types
|
19
|
-
|
20
|
-
from .numeric_output_checker import NumericOutputChecker
|
21
16
|
|
22
17
|
class SageNotAvailable(Exception):
|
23
18
|
pass
|
@@ -27,23 +22,86 @@ if _within_sage:
|
|
27
22
|
function._sage_method = True
|
28
23
|
return function
|
29
24
|
|
30
|
-
|
31
|
-
|
25
|
+
try:
|
26
|
+
# Monolithic Sage library
|
27
|
+
from sage.all import RealField, RealDoubleElement, gcd, xgcd, prod, powerset
|
28
|
+
from sage.all import MatrixSpace, matrix, vector, ZZ
|
29
|
+
from sage.all import Integer, Rational, QQ, RR, CC
|
30
|
+
from sage.all import sqrt
|
31
|
+
from sage.all import I, Infinity
|
32
|
+
from sage.all import arccosh
|
33
|
+
from sage.all import RIF, CIF
|
34
|
+
from sage.all import (cached_method, real_part, imag_part, round, ceil, floor, log,
|
35
|
+
CDF, ComplexDoubleField, ComplexField, CyclotomicField, NumberField, PolynomialRing, identity_matrix)
|
36
|
+
from sage.all import FiniteField as GF
|
37
|
+
from sage.all import VectorSpace, ChainComplex
|
38
|
+
from sage.all import ComplexBallField, exp, sin, block_matrix, prime_range, det
|
39
|
+
from sage.all import LaurentPolynomialRing, AbelianGroup, GroupAlgebra
|
40
|
+
from sage.all import is_prime
|
41
|
+
except ImportError:
|
42
|
+
# Modularized Sage library
|
43
|
+
from sage.algebras.group_algebra import GroupAlgebra
|
44
|
+
from sage.arith.misc import gcd, xgcd, is_prime
|
45
|
+
from sage.combinat.subset import powerset
|
46
|
+
from sage.functions.hyperbolic import arccosh
|
47
|
+
from sage.functions.log import exp
|
48
|
+
from sage.functions.other import (real as real_part,
|
49
|
+
imag as imag_part,
|
50
|
+
ceil,
|
51
|
+
floor)
|
52
|
+
from sage.functions.trig import sin
|
53
|
+
from sage.groups.abelian_gps.abelian_group import AbelianGroup
|
54
|
+
from sage.homology.chain_complex import ChainComplex
|
55
|
+
from sage.matrix.constructor import Matrix as matrix
|
56
|
+
from sage.matrix.matrix_space import MatrixSpace
|
57
|
+
from sage.matrix.special import block_matrix, identity_matrix
|
58
|
+
from sage.misc.cachefunc import cached_method
|
59
|
+
from sage.misc.functional import det, log, round, sqrt
|
60
|
+
from sage.misc.misc_c import prod
|
61
|
+
from sage.modules.free_module import VectorSpace
|
62
|
+
from sage.modules.free_module_element import free_module_element as vector
|
63
|
+
from sage.rings.cc import CC
|
64
|
+
from sage.rings.cif import CIF
|
65
|
+
from sage.rings.complex_arb import ComplexBallField
|
66
|
+
from sage.rings.complex_double import CDF, ComplexDoubleField
|
67
|
+
from sage.rings.complex_mpfr import ComplexField
|
68
|
+
from sage.rings.fast_arith import prime_range
|
69
|
+
from sage.rings.finite_rings.finite_field_constructor import FiniteField as GF
|
70
|
+
from sage.rings.imaginary_unit import I
|
71
|
+
from sage.rings.infinity import Infinity
|
72
|
+
from sage.rings.integer import Integer
|
73
|
+
from sage.rings.integer_ring import ZZ
|
74
|
+
from sage.rings.polynomial.laurent_polynomial_ring import LaurentPolynomialRing
|
75
|
+
from sage.rings.number_field.number_field import CyclotomicField, NumberField
|
76
|
+
from sage.rings.polynomial.polynomial_ring_constructor import PolynomialRing
|
77
|
+
from sage.rings.rational import Rational
|
78
|
+
from sage.rings.rational_field import QQ
|
79
|
+
from sage.rings.real_double import RealDoubleElement
|
80
|
+
from sage.rings.real_mpfi import RIF
|
81
|
+
from sage.rings.real_mpfr import RealField, RealNumber, RR
|
82
|
+
|
83
|
+
from sage.rings.complex_interval_field import ComplexIntervalField
|
84
|
+
from sage.rings.real_mpfi import is_RealIntervalFieldElement, RealIntervalField
|
85
|
+
from sage.rings.real_mpfr import RealNumber, RealField_class
|
86
|
+
from sage.structure.sage_object import SageObject
|
87
|
+
|
88
|
+
try: # Sage >= 9.3, see https://trac.sagemath.org/ticket/24483
|
32
89
|
from sage.rings.complex_mpfr import (ComplexField,
|
33
90
|
ComplexField_class,
|
34
91
|
create_ComplexNumber)
|
35
|
-
except
|
92
|
+
except ImportError:
|
36
93
|
from sage.rings.complex_field import ComplexField, ComplexField_class
|
37
94
|
from sage.rings.complex_number import create_ComplexNumber
|
38
95
|
|
39
96
|
else:
|
97
|
+
import decorator
|
98
|
+
|
40
99
|
def _sage_method(function, *args, **kw):
|
41
100
|
raise SageNotAvailable('Sorry, this feature requires using SnapPy inside Sage.')
|
42
101
|
|
43
102
|
def sage_method(function):
|
44
103
|
return decorator.decorator(_sage_method, function)
|
45
104
|
|
46
|
-
|
47
105
|
# Not currently used, but could be exploited by an interpreter to hide
|
48
106
|
# sage_methods when in plain Python.
|
49
107
|
|
@@ -57,115 +115,3 @@ def sage_methods(obj):
|
|
57
115
|
except AttributeError:
|
58
116
|
pass
|
59
117
|
return ans
|
60
|
-
|
61
|
-
# Used for doctesting
|
62
|
-
_gui_status = {}
|
63
|
-
|
64
|
-
try:
|
65
|
-
from snappy.gui import Tk_
|
66
|
-
_gui_status['tk'] = True
|
67
|
-
except ImportError:
|
68
|
-
_gui_status['tk'] = False
|
69
|
-
if _gui_status['tk']:
|
70
|
-
try:
|
71
|
-
import snappy.CyOpenGL
|
72
|
-
_gui_status['cyopengl'] = True
|
73
|
-
except:
|
74
|
-
_gui_status['cyopengl'] = False
|
75
|
-
else:
|
76
|
-
_gui_status['cyopengl'] = False
|
77
|
-
_gui_status['fake_root'] = False
|
78
|
-
|
79
|
-
def cyopengl_works():
|
80
|
-
if not _gui_status['cyopengl']:
|
81
|
-
return False
|
82
|
-
# if we are running the tests from the snappy app the default root will
|
83
|
-
# already exist -- it will be the tkterminal window. Otherwise, we open
|
84
|
-
# a root window here to serve as the master of all of the GUI windows
|
85
|
-
# which get created during testing.
|
86
|
-
if _gui_status['tk'] and not Tk_._default_root:
|
87
|
-
try:
|
88
|
-
root = Tk_.Tk()
|
89
|
-
if sys.platform not in ('linux', 'linux2'):
|
90
|
-
root.withdraw()
|
91
|
-
except:
|
92
|
-
# tkinter loads OK but is not able to get a display.
|
93
|
-
_gui_status['tk'] = _gui_status['cyopengl'] = False
|
94
|
-
return _gui_status['cyopengl']
|
95
|
-
|
96
|
-
def tk_root():
|
97
|
-
if _gui_status['tk']:
|
98
|
-
return Tk_._default_root
|
99
|
-
else:
|
100
|
-
return None
|
101
|
-
|
102
|
-
def root_is_fake():
|
103
|
-
return _gui_status['fake_root']
|
104
|
-
|
105
|
-
class DocTestParser(doctest.DocTestParser):
|
106
|
-
_use_cyopengl_initialized = False
|
107
|
-
_use_cyopengl = False
|
108
|
-
use_modernopengl = True
|
109
|
-
use_sage = False
|
110
|
-
|
111
|
-
def parse(self, string, name='<string>'):
|
112
|
-
string = re.subn(
|
113
|
-
r'#doctest: \+CYOPENGL',
|
114
|
-
'' if DocTestParser._use_cyopengl else '#doctest: +SKIP',
|
115
|
-
string)[0]
|
116
|
-
|
117
|
-
string = re.subn(
|
118
|
-
r'#doctest: \+CYMODERNOPENGL',
|
119
|
-
(''
|
120
|
-
if (DocTestParser._use_cyopengl and
|
121
|
-
DocTestParser.use_modernopengl)
|
122
|
-
else '#doctest: +SKIP'),
|
123
|
-
string)[0]
|
124
|
-
|
125
|
-
if DocTestParser.use_sage:
|
126
|
-
string = re.subn(r'(\n\s*)sage:|(\A\s*)sage:',
|
127
|
-
r'\g<1>>>>',
|
128
|
-
string)[0]
|
129
|
-
return doctest.DocTestParser.parse(self, string, name)
|
130
|
-
|
131
|
-
DocTestParser.use_sage = _within_sage
|
132
|
-
|
133
|
-
if _within_sage:
|
134
|
-
globs = {'PSL':sage.all.PSL, 'BraidGroup':sage.all.BraidGroup}
|
135
|
-
else:
|
136
|
-
globs = { }
|
137
|
-
|
138
|
-
def print_results(module, results):
|
139
|
-
root = tk_root()
|
140
|
-
# Platform specific hacks to make running the tests work.
|
141
|
-
if root and (sys.version_info.major < 3 or not root_is_fake()):
|
142
|
-
if sys.platform in ('linux', 'linux2'):
|
143
|
-
root.deiconify()
|
144
|
-
root.update_idletasks()
|
145
|
-
else:
|
146
|
-
root.update()
|
147
|
-
print(module.__name__ + ':')
|
148
|
-
print(' %s failures out of %s tests.' % (results.failed, results.attempted))
|
149
|
-
|
150
|
-
def doctest_modules(modules, verbose=False, print_info=True, extraglobs=dict()):
|
151
|
-
finder = doctest.DocTestFinder(parser=DocTestParser())
|
152
|
-
#full_extraglobals = dict(globs.items() + extraglobs.items())
|
153
|
-
full_extraglobals = globs.copy()
|
154
|
-
full_extraglobals.update(extraglobs)
|
155
|
-
failed, attempted = 0, 0
|
156
|
-
for module in modules:
|
157
|
-
if isinstance(module, types.ModuleType):
|
158
|
-
runner = doctest.DocTestRunner(checker = NumericOutputChecker(), verbose=verbose)
|
159
|
-
for test in finder.find(module, extraglobs=full_extraglobals):
|
160
|
-
runner.run(test)
|
161
|
-
result = runner.summarize()
|
162
|
-
else:
|
163
|
-
result = module(verbose=verbose)
|
164
|
-
failed += result.failed
|
165
|
-
attempted += result.attempted
|
166
|
-
if print_info:
|
167
|
-
print_results(module, result)
|
168
|
-
|
169
|
-
if print_info:
|
170
|
-
print('\nAll doctests:\n %s failures out of %s tests.' % (failed, attempted))
|
171
|
-
return doctest.TestResults(failed, attempted)
|