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
@@ -1,4 +1,6 @@
|
|
1
|
-
import tkinter
|
1
|
+
import tkinter
|
2
|
+
import math
|
3
|
+
import sys
|
2
4
|
from tkinter import ttk
|
3
5
|
from .gui_utilities import UniformDictController, FpsLabelUpdater
|
4
6
|
from .raytracing_view import *
|
@@ -8,14 +10,15 @@ from .zoom_slider import Slider, ZoomSlider
|
|
8
10
|
###############################################################################
|
9
11
|
# Main widget
|
10
12
|
|
13
|
+
|
11
14
|
class FiniteViewer(ttk.Frame):
|
12
|
-
def __init__(self,
|
13
|
-
fillings_changed_callback
|
14
|
-
weights
|
15
|
-
cohomology_basis
|
16
|
-
cohomology_class
|
15
|
+
def __init__(self, container, manifold,
|
16
|
+
fillings_changed_callback=None,
|
17
|
+
weights=None,
|
18
|
+
cohomology_basis=None,
|
19
|
+
cohomology_class=None):
|
17
20
|
|
18
|
-
ttk.Frame.__init__(self,
|
21
|
+
ttk.Frame.__init__(self, container)
|
19
22
|
self.bindtags(self.bindtags() + ('finite',))
|
20
23
|
|
21
24
|
self.fillings_changed_callback = fillings_changed_callback
|
@@ -28,44 +31,44 @@ class FiniteViewer(ttk.Frame):
|
|
28
31
|
|
29
32
|
row = 0
|
30
33
|
self.notebook = ttk.Notebook(self)
|
31
|
-
self.notebook.grid(row
|
32
|
-
padx
|
34
|
+
self.notebook.grid(row=row, column=0, sticky=tkinter.NSEW,
|
35
|
+
padx=0, pady=0, ipady=0)
|
33
36
|
|
34
37
|
self.notebook.add(self.create_cusp_areas_frame(self),
|
35
|
-
text
|
36
|
-
|
38
|
+
text='Cusp areas')
|
39
|
+
|
37
40
|
self.notebook.add(self.create_fillings_frame(self),
|
38
|
-
text
|
41
|
+
text='Fillings')
|
39
42
|
|
40
43
|
self.notebook.add(self.create_skeleton_frame(self),
|
41
|
-
text
|
44
|
+
text='Skeleton')
|
42
45
|
|
43
46
|
self.notebook.add(self.create_quality_frame(self),
|
44
|
-
text
|
47
|
+
text='Quality')
|
45
48
|
|
46
49
|
self.notebook.add(self.create_light_frame(self),
|
47
|
-
text
|
50
|
+
text='Light')
|
48
51
|
|
49
52
|
self.notebook.add(self.create_navigation_frame(self),
|
50
|
-
text
|
53
|
+
text='Navigation')
|
51
54
|
|
52
55
|
self.notebook.bind('<<NotebookTabChanged>>', self.focus_viewer)
|
53
56
|
|
54
57
|
row += 1
|
55
|
-
main_frame.grid(row
|
56
|
-
self.columnconfigure(0, weight
|
57
|
-
self.rowconfigure(row, weight
|
58
|
+
main_frame.grid(row=row, column=0, sticky=tkinter.NSEW)
|
59
|
+
self.columnconfigure(0, weight=1)
|
60
|
+
self.rowconfigure(row, weight=1)
|
58
61
|
|
59
62
|
row += 1
|
60
63
|
status_frame = self.create_status_frame(self)
|
61
|
-
status_frame.grid(row
|
64
|
+
status_frame.grid(row=row, column=0, sticky=tkinter.NSEW)
|
62
65
|
|
63
66
|
UniformDictController(
|
64
|
-
self.widget.
|
65
|
-
update_function
|
66
|
-
scale
|
67
|
-
label
|
68
|
-
format_string
|
67
|
+
self.widget.ui_parameter_dict, 'fov',
|
68
|
+
update_function=self.widget.draw,
|
69
|
+
scale=self.fov_scale,
|
70
|
+
label=self.fov_label,
|
71
|
+
format_string='%.1f')
|
69
72
|
|
70
73
|
self.widget.report_time_callback = FpsLabelUpdater(
|
71
74
|
self.fps_label)
|
@@ -74,8 +77,8 @@ class FiniteViewer(ttk.Frame):
|
|
74
77
|
|
75
78
|
self.menubar = None
|
76
79
|
self.build_menus()
|
77
|
-
if isinstance(
|
78
|
-
|
80
|
+
if isinstance(container, tkinter.Toplevel) and self.menubar:
|
81
|
+
container.config(menu=self.menubar)
|
79
82
|
self.focus_viewer()
|
80
83
|
|
81
84
|
def focus_viewer(self, event=None):
|
@@ -84,9 +87,9 @@ class FiniteViewer(ttk.Frame):
|
|
84
87
|
def create_cusp_areas_frame(self, parent):
|
85
88
|
frame = ttk.Frame(parent)
|
86
89
|
|
87
|
-
frame.columnconfigure(0, weight
|
88
|
-
frame.columnconfigure(1, weight
|
89
|
-
frame.columnconfigure(2, weight
|
90
|
+
frame.columnconfigure(0, weight=0)
|
91
|
+
frame.columnconfigure(1, weight=1)
|
92
|
+
frame.columnconfigure(2, weight=0)
|
90
93
|
|
91
94
|
row = 0
|
92
95
|
|
@@ -95,191 +98,191 @@ class FiniteViewer(ttk.Frame):
|
|
95
98
|
for i in range(self.widget.manifold.num_cusps()):
|
96
99
|
UniformDictController.create_horizontal_scale(
|
97
100
|
frame,
|
98
|
-
uniform_dict
|
99
|
-
key
|
100
|
-
title
|
101
|
-
left_end
|
102
|
-
right_end
|
103
|
-
row
|
104
|
-
update_function
|
105
|
-
index
|
101
|
+
uniform_dict=self.widget.ui_parameter_dict,
|
102
|
+
key='cuspAreas',
|
103
|
+
title='Cusp %d' % i,
|
104
|
+
left_end=0.0,
|
105
|
+
right_end=cusp_area_maximum,
|
106
|
+
row=row,
|
107
|
+
update_function=self.widget.recompute_raytracing_data_and_redraw,
|
108
|
+
index=i)
|
106
109
|
row += 1
|
107
|
-
|
108
|
-
frame.rowconfigure(row, weight
|
110
|
+
|
111
|
+
frame.rowconfigure(row, weight=1)
|
109
112
|
|
110
113
|
UniformDictController.create_checkbox(
|
111
114
|
frame,
|
112
115
|
self.widget.ui_parameter_dict,
|
113
116
|
'perspectiveType',
|
114
|
-
update_function
|
115
|
-
text
|
116
|
-
row
|
117
|
+
update_function=self.checkbox_update,
|
118
|
+
text="Ideal view",
|
119
|
+
row=row, column=1)
|
117
120
|
|
118
121
|
return frame
|
119
122
|
|
120
123
|
def checkbox_update(self):
|
121
|
-
self.widget.
|
124
|
+
self.widget.draw()
|
122
125
|
self.focus_viewer()
|
123
126
|
|
124
127
|
def create_fillings_frame(self, parent):
|
125
128
|
frame = ttk.Frame(parent)
|
126
129
|
|
127
|
-
frame.columnconfigure(0, weight
|
128
|
-
frame.columnconfigure(1, weight
|
129
|
-
frame.columnconfigure(2, weight
|
130
|
-
frame.columnconfigure(3, weight
|
131
|
-
frame.columnconfigure(4, weight
|
130
|
+
frame.columnconfigure(0, weight=0)
|
131
|
+
frame.columnconfigure(1, weight=1)
|
132
|
+
frame.columnconfigure(2, weight=0)
|
133
|
+
frame.columnconfigure(3, weight=1)
|
134
|
+
frame.columnconfigure(4, weight=0)
|
132
135
|
|
133
136
|
row = 0
|
134
137
|
|
135
138
|
self.filling_controllers = []
|
136
|
-
|
139
|
+
|
137
140
|
for i in range(self.widget.manifold.num_cusps()):
|
138
141
|
self.filling_controllers.append(
|
139
142
|
UniformDictController.create_horizontal_scale(
|
140
143
|
frame,
|
141
144
|
self.filling_dict,
|
142
|
-
key
|
143
|
-
column
|
144
|
-
index
|
145
|
-
component_index
|
146
|
-
title
|
147
|
-
row
|
148
|
-
left_end
|
149
|
-
right_end
|
150
|
-
update_function
|
151
|
-
scale_class
|
145
|
+
key='fillings',
|
146
|
+
column=0,
|
147
|
+
index=i,
|
148
|
+
component_index=0,
|
149
|
+
title='Cusp %d' % i,
|
150
|
+
row=row,
|
151
|
+
left_end=-15,
|
152
|
+
right_end=15,
|
153
|
+
update_function=self.push_fillings_to_manifold,
|
154
|
+
scale_class=ZoomSlider))
|
152
155
|
|
153
156
|
self.filling_controllers.append(
|
154
157
|
UniformDictController.create_horizontal_scale(
|
155
158
|
frame,
|
156
159
|
self.filling_dict,
|
157
|
-
key
|
158
|
-
column
|
159
|
-
index
|
160
|
-
component_index
|
161
|
-
title
|
162
|
-
row
|
163
|
-
left_end
|
164
|
-
right_end
|
165
|
-
update_function
|
166
|
-
scale_class
|
160
|
+
key='fillings',
|
161
|
+
column=3,
|
162
|
+
index=i,
|
163
|
+
component_index=1,
|
164
|
+
title=None,
|
165
|
+
row=row,
|
166
|
+
left_end=-15,
|
167
|
+
right_end=15,
|
168
|
+
update_function=self.push_fillings_to_manifold,
|
169
|
+
scale_class=ZoomSlider))
|
167
170
|
|
168
171
|
row += 1
|
169
172
|
|
170
|
-
frame.rowconfigure(row, weight
|
173
|
+
frame.rowconfigure(row, weight=1)
|
171
174
|
|
172
175
|
subframe = ttk.Frame(frame)
|
173
|
-
subframe.grid(row
|
174
|
-
subframe.columnconfigure(0, weight
|
175
|
-
subframe.columnconfigure(1, weight
|
176
|
-
subframe.columnconfigure(2, weight
|
177
|
-
subframe.columnconfigure(3, weight
|
178
|
-
|
176
|
+
subframe.grid(row=row, column=0, columnspan=5)
|
177
|
+
subframe.columnconfigure(0, weight=1)
|
178
|
+
subframe.columnconfigure(1, weight=0)
|
179
|
+
subframe.columnconfigure(2, weight=0)
|
180
|
+
subframe.columnconfigure(3, weight=1)
|
181
|
+
|
179
182
|
recompute_button = ttk.Button(
|
180
|
-
subframe, text
|
181
|
-
command
|
182
|
-
recompute_button.grid(row
|
183
|
+
subframe, text="Recompute hyp. structure",
|
184
|
+
command=self.recompute_hyperbolic_structure)
|
185
|
+
recompute_button.grid(row=0, column=1)
|
183
186
|
|
184
187
|
snap_button = ttk.Button(
|
185
|
-
subframe, text
|
186
|
-
command
|
187
|
-
snap_button.grid(row
|
188
|
+
subframe, text="Round to integers",
|
189
|
+
command=self.round_fillings)
|
190
|
+
snap_button.grid(row=0, column=2)
|
188
191
|
|
189
192
|
return frame
|
190
193
|
|
191
194
|
def create_skeleton_frame(self, parent):
|
192
195
|
frame = ttk.Frame(parent)
|
193
196
|
|
194
|
-
frame.columnconfigure(0, weight
|
195
|
-
frame.columnconfigure(1, weight
|
196
|
-
frame.columnconfigure(2, weight
|
197
|
+
frame.columnconfigure(0, weight=0)
|
198
|
+
frame.columnconfigure(1, weight=1)
|
199
|
+
frame.columnconfigure(2, weight=0)
|
197
200
|
|
198
201
|
row = 0
|
199
202
|
UniformDictController.create_horizontal_scale(
|
200
203
|
frame,
|
201
204
|
self.widget.ui_uniform_dict,
|
202
|
-
key
|
203
|
-
title
|
204
|
-
row
|
205
|
-
left_end
|
206
|
-
right_end
|
207
|
-
update_function
|
208
|
-
format_string
|
205
|
+
key='edgeThickness',
|
206
|
+
title='Face boundary thickness',
|
207
|
+
row=row,
|
208
|
+
left_end=0.0,
|
209
|
+
right_end=0.35,
|
210
|
+
update_function=self.widget.draw,
|
211
|
+
format_string='%.3f')
|
209
212
|
|
210
213
|
row += 1
|
211
214
|
UniformDictController.create_horizontal_scale(
|
212
215
|
frame,
|
213
216
|
self.widget.ui_parameter_dict,
|
214
|
-
key
|
215
|
-
title
|
216
|
-
row
|
217
|
-
left_end
|
218
|
-
right_end
|
219
|
-
update_function
|
220
|
-
format_string
|
217
|
+
key='vertexRadius',
|
218
|
+
title='Vertex Radius',
|
219
|
+
row=row,
|
220
|
+
left_end=0.0,
|
221
|
+
right_end=1.35,
|
222
|
+
update_function=self.widget.draw,
|
223
|
+
format_string='%.3f')
|
221
224
|
|
222
225
|
row += 1
|
223
226
|
UniformDictController.create_horizontal_scale(
|
224
227
|
frame,
|
225
228
|
self.widget.ui_parameter_dict,
|
226
|
-
key
|
227
|
-
title
|
228
|
-
row
|
229
|
-
left_end
|
230
|
-
right_end
|
231
|
-
update_function
|
229
|
+
key='edgeTubeRadius',
|
230
|
+
title='Edge thickness',
|
231
|
+
row=row,
|
232
|
+
left_end=0.0,
|
233
|
+
right_end=0.5,
|
234
|
+
update_function=self.widget.draw)
|
232
235
|
|
233
236
|
return frame
|
234
237
|
|
235
238
|
def create_quality_frame(self, parent):
|
236
239
|
frame = ttk.Frame(parent)
|
237
240
|
|
238
|
-
frame.columnconfigure(0, weight
|
239
|
-
frame.columnconfigure(1, weight
|
240
|
-
frame.columnconfigure(2, weight
|
241
|
+
frame.columnconfigure(0, weight=0)
|
242
|
+
frame.columnconfigure(1, weight=1)
|
243
|
+
frame.columnconfigure(2, weight=0)
|
241
244
|
|
242
245
|
row = 0
|
243
246
|
UniformDictController.create_horizontal_scale(
|
244
247
|
frame,
|
245
248
|
self.widget.ui_uniform_dict,
|
246
|
-
key
|
247
|
-
title
|
248
|
-
row
|
249
|
-
left_end
|
250
|
-
right_end
|
251
|
-
update_function
|
249
|
+
key='maxSteps',
|
250
|
+
title='Max Steps',
|
251
|
+
row=row,
|
252
|
+
left_end=1,
|
253
|
+
right_end=100,
|
254
|
+
update_function=self.widget.draw)
|
252
255
|
|
253
256
|
row += 1
|
254
257
|
UniformDictController.create_horizontal_scale(
|
255
258
|
frame,
|
256
259
|
self.widget.ui_uniform_dict,
|
257
|
-
key
|
258
|
-
title
|
259
|
-
row
|
260
|
-
left_end
|
261
|
-
right_end
|
262
|
-
update_function
|
260
|
+
key='maxDist',
|
261
|
+
title='Max Distance',
|
262
|
+
row=row,
|
263
|
+
left_end=1.0,
|
264
|
+
right_end=28.0,
|
265
|
+
update_function=self.widget.draw)
|
263
266
|
|
264
267
|
row += 1
|
265
268
|
UniformDictController.create_horizontal_scale(
|
266
269
|
frame,
|
267
270
|
self.widget.ui_uniform_dict,
|
268
|
-
key
|
269
|
-
title
|
270
|
-
row
|
271
|
-
left_end
|
272
|
-
right_end
|
273
|
-
update_function
|
271
|
+
key='subpixelCount',
|
272
|
+
title='Subpixel count',
|
273
|
+
row=row,
|
274
|
+
left_end=1.0,
|
275
|
+
right_end=4.25,
|
276
|
+
update_function=self.widget.draw)
|
274
277
|
|
275
278
|
return frame
|
276
279
|
|
277
280
|
def create_light_frame(self, parent):
|
278
281
|
frame = ttk.Frame(parent)
|
279
282
|
|
280
|
-
frame.columnconfigure(0, weight
|
281
|
-
frame.columnconfigure(1, weight
|
282
|
-
frame.columnconfigure(2, weight
|
283
|
+
frame.columnconfigure(0, weight=0)
|
284
|
+
frame.columnconfigure(1, weight=1)
|
285
|
+
frame.columnconfigure(2, weight=0)
|
283
286
|
|
284
287
|
row = 0
|
285
288
|
|
@@ -287,86 +290,86 @@ class FiniteViewer(ttk.Frame):
|
|
287
290
|
UniformDictController.create_horizontal_scale(
|
288
291
|
frame,
|
289
292
|
self.widget.ui_uniform_dict,
|
290
|
-
key
|
291
|
-
title
|
292
|
-
row
|
293
|
-
left_end
|
294
|
-
right_end
|
295
|
-
update_function
|
296
|
-
format_string
|
293
|
+
key='contrast',
|
294
|
+
title='Contrast',
|
295
|
+
row=row,
|
296
|
+
left_end=0.0,
|
297
|
+
right_end=0.25,
|
298
|
+
update_function=self.widget.draw,
|
299
|
+
format_string='%.3f')
|
297
300
|
row += 1
|
298
301
|
|
299
302
|
UniformDictController.create_horizontal_scale(
|
300
303
|
frame,
|
301
304
|
self.widget.ui_uniform_dict,
|
302
|
-
key
|
303
|
-
title
|
304
|
-
row
|
305
|
-
left_end
|
306
|
-
right_end
|
307
|
-
update_function
|
305
|
+
key='lightBias',
|
306
|
+
title='Light bias',
|
307
|
+
row=row,
|
308
|
+
left_end=0.3,
|
309
|
+
right_end=4.0,
|
310
|
+
update_function=self.widget.draw)
|
308
311
|
|
309
312
|
row += 1
|
310
313
|
UniformDictController.create_horizontal_scale(
|
311
314
|
frame,
|
312
315
|
self.widget.ui_uniform_dict,
|
313
|
-
key
|
314
|
-
title
|
315
|
-
row
|
316
|
-
left_end
|
317
|
-
right_end
|
318
|
-
update_function
|
316
|
+
key='lightFalloff',
|
317
|
+
title='Light falloff',
|
318
|
+
row=row,
|
319
|
+
left_end=0.1,
|
320
|
+
right_end=2.0,
|
321
|
+
update_function=self.widget.draw)
|
319
322
|
|
320
323
|
row += 1
|
321
324
|
UniformDictController.create_horizontal_scale(
|
322
325
|
frame,
|
323
326
|
self.widget.ui_uniform_dict,
|
324
|
-
key
|
325
|
-
title
|
326
|
-
row
|
327
|
-
left_end
|
328
|
-
right_end
|
329
|
-
update_function
|
327
|
+
key='brightness',
|
328
|
+
title='Brightness',
|
329
|
+
row=row,
|
330
|
+
left_end=0.3,
|
331
|
+
right_end=3.0,
|
332
|
+
update_function=self.widget.draw)
|
330
333
|
|
331
334
|
return frame
|
332
335
|
|
333
336
|
def create_navigation_frame(self, parent):
|
334
337
|
frame = ttk.Frame(parent)
|
335
338
|
|
336
|
-
frame.columnconfigure(0, weight
|
337
|
-
frame.columnconfigure(1, weight
|
338
|
-
frame.columnconfigure(2, weight
|
339
|
-
frame.columnconfigure(3, weight
|
339
|
+
frame.columnconfigure(0, weight=0)
|
340
|
+
frame.columnconfigure(1, weight=1)
|
341
|
+
frame.columnconfigure(2, weight=0)
|
342
|
+
frame.columnconfigure(3, weight=0)
|
340
343
|
|
341
344
|
row = 0
|
342
345
|
UniformDictController.create_horizontal_scale(
|
343
346
|
frame,
|
344
347
|
self.widget.navigation_dict,
|
345
|
-
key
|
346
|
-
title
|
347
|
-
row
|
348
|
-
left_end
|
349
|
-
right_end
|
348
|
+
key='translationVelocity',
|
349
|
+
title='Translation Speed',
|
350
|
+
row=row,
|
351
|
+
left_end=0.1,
|
352
|
+
right_end=1.0)
|
350
353
|
|
351
|
-
label = ttk.Label(frame, text
|
352
|
-
label.grid(row
|
354
|
+
label = ttk.Label(frame, text="Keys: wasdec")
|
355
|
+
label.grid(row=row, column=3, sticky=tkinter.NSEW)
|
353
356
|
|
354
357
|
row += 1
|
355
358
|
UniformDictController.create_horizontal_scale(
|
356
359
|
frame,
|
357
360
|
self.widget.navigation_dict,
|
358
|
-
key
|
359
|
-
title
|
360
|
-
row
|
361
|
-
left_end
|
362
|
-
right_end
|
361
|
+
key='rotationVelocity',
|
362
|
+
title='Rotation Speed',
|
363
|
+
row=row,
|
364
|
+
left_end=0.1,
|
365
|
+
right_end=1.0)
|
363
366
|
|
364
|
-
label = ttk.Label(frame, text
|
365
|
-
label.grid(row
|
367
|
+
label = ttk.Label(frame, text="Keys: \u2190\u2191\u2192\u2193xz")
|
368
|
+
label.grid(row=row, column=3, sticky=tkinter.NSEW)
|
366
369
|
|
367
|
-
row +=1
|
368
|
-
label = ttk.Label(frame, text
|
369
|
-
label.grid(row
|
370
|
+
row += 1
|
371
|
+
label = ttk.Label(frame, text=_mouse_gestures_text())
|
372
|
+
label.grid(row=row, column=0, columnspan=4)
|
370
373
|
|
371
374
|
return frame
|
372
375
|
|
@@ -382,20 +385,21 @@ class FiniteViewer(ttk.Frame):
|
|
382
385
|
self.widget = RaytracingView(
|
383
386
|
'finite',
|
384
387
|
manifold,
|
385
|
-
weights
|
386
|
-
cohomology_basis
|
387
|
-
cohomology_class
|
388
|
-
|
389
|
-
|
390
|
-
|
388
|
+
weights=weights,
|
389
|
+
cohomology_basis=cohomology_basis,
|
390
|
+
cohomology_class=cohomology_class,
|
391
|
+
geodesics=[],
|
392
|
+
container=frame,
|
393
|
+
width=600, height=500, double=1, depth=1)
|
394
|
+
self.widget.grid(row=0, column=column, sticky=tkinter.NSEW)
|
391
395
|
self.widget.make_current()
|
392
|
-
frame.columnconfigure(column, weight
|
393
|
-
frame.rowconfigure(0, weight
|
396
|
+
frame.columnconfigure(column, weight=1)
|
397
|
+
frame.rowconfigure(0, weight=1)
|
394
398
|
|
395
399
|
column += 1
|
396
|
-
self.fov_scale = Slider(frame, left_end
|
397
|
-
orient
|
398
|
-
self.fov_scale.grid(row
|
400
|
+
self.fov_scale = Slider(frame, left_end=20, right_end=120,
|
401
|
+
orient=tkinter.VERTICAL)
|
402
|
+
self.fov_scale.grid(row=0, column=column, sticky=tkinter.NSEW)
|
399
403
|
|
400
404
|
return frame
|
401
405
|
|
@@ -403,20 +407,20 @@ class FiniteViewer(ttk.Frame):
|
|
403
407
|
frame = ttk.Frame(parent)
|
404
408
|
|
405
409
|
column = 0
|
406
|
-
label = ttk.Label(frame, text
|
407
|
-
label.grid(row
|
410
|
+
label = ttk.Label(frame, text="FOV:")
|
411
|
+
label.grid(row=0, column=column)
|
408
412
|
|
409
413
|
column += 1
|
410
414
|
self.fov_label = ttk.Label(frame)
|
411
|
-
self.fov_label.grid(row
|
415
|
+
self.fov_label.grid(row=0, column=column)
|
412
416
|
|
413
417
|
column += 1
|
414
418
|
self.vol_label = ttk.Label(frame)
|
415
|
-
self.vol_label.grid(row
|
419
|
+
self.vol_label.grid(row=0, column=column)
|
416
420
|
|
417
421
|
column += 1
|
418
422
|
self.fps_label = ttk.Label(frame)
|
419
|
-
self.fps_label.grid(row
|
423
|
+
self.fps_label.grid(row=0, column=column)
|
420
424
|
|
421
425
|
return frame
|
422
426
|
|
@@ -425,10 +429,10 @@ class FiniteViewer(ttk.Frame):
|
|
425
429
|
vol_text = '%.3f' % self.widget.manifold.volume()
|
426
430
|
except ValueError:
|
427
431
|
vol_text = '-'
|
428
|
-
sol_type = self.widget.manifold.solution_type(enum
|
432
|
+
sol_type = self.widget.manifold.solution_type(enum=True)
|
429
433
|
sol_text = _solution_type_text[sol_type]
|
430
434
|
try:
|
431
|
-
self.vol_label.configure(text
|
435
|
+
self.vol_label.configure(text='Vol: %s (%s)' % (vol_text, sol_text))
|
432
436
|
except AttributeError:
|
433
437
|
pass
|
434
438
|
|
@@ -439,9 +443,9 @@ class FiniteViewer(ttk.Frame):
|
|
439
443
|
def _fillings_from_manifold(self):
|
440
444
|
return [ 'vec2[]',
|
441
445
|
[ [ d['filling'][0], d['filling'][1] ]
|
442
|
-
for d
|
446
|
+
for d
|
443
447
|
in self.widget.manifold.cusp_info() ] ]
|
444
|
-
|
448
|
+
|
445
449
|
def pull_fillings_from_manifold(self):
|
446
450
|
self.filling_dict['fillings'] = self._fillings_from_manifold()
|
447
451
|
self.update_filling_sliders()
|
@@ -454,15 +458,15 @@ class FiniteViewer(ttk.Frame):
|
|
454
458
|
|
455
459
|
self.widget.recompute_raytracing_data_and_redraw()
|
456
460
|
# self.update_volume_label()
|
457
|
-
|
461
|
+
|
458
462
|
if self.fillings_changed_callback:
|
459
463
|
self.fillings_changed_callback()
|
460
464
|
|
461
465
|
def recompute_hyperbolic_structure(self):
|
462
466
|
self.widget.manifold.init_hyperbolic_structure(
|
463
|
-
force_recompute
|
467
|
+
force_recompute=True)
|
464
468
|
self.widget.recompute_raytracing_data_and_redraw()
|
465
|
-
|
469
|
+
|
466
470
|
# Should we reset the view state since it might
|
467
471
|
# be corrupted?
|
468
472
|
# O13_orthonormalize seems stable enough now that
|
@@ -487,6 +491,7 @@ class FiniteViewer(ttk.Frame):
|
|
487
491
|
###############################################################################
|
488
492
|
# Helpers
|
489
493
|
|
494
|
+
|
490
495
|
_solution_type_text = [
|
491
496
|
'degenerate',
|
492
497
|
'geometric',
|
@@ -494,7 +499,8 @@ _solution_type_text = [
|
|
494
499
|
'flat',
|
495
500
|
'degenerate',
|
496
501
|
'degenerate',
|
497
|
-
'degenerate']
|
502
|
+
'degenerate']
|
503
|
+
|
498
504
|
|
499
505
|
def _maximal_cusp_area(mfd):
|
500
506
|
# Hack to prevent doctest failure M.browse() where
|
@@ -505,7 +511,7 @@ def _maximal_cusp_area(mfd):
|
|
505
511
|
try:
|
506
512
|
mfd = mfd.copy()
|
507
513
|
mfd.dehn_fill(mfd.num_cusps() * [(0,0)])
|
508
|
-
mfd.init_hyperbolic_structure(force_recompute
|
514
|
+
mfd.init_hyperbolic_structure(force_recompute=True)
|
509
515
|
|
510
516
|
# Using sqrt of maximum of diagonal of cusp area matrix.
|
511
517
|
#
|
@@ -531,17 +537,19 @@ def _maximal_cusp_area(mfd):
|
|
531
537
|
print("Exception while trying to compute maximal cusp area:", e)
|
532
538
|
return 5.0
|
533
539
|
|
540
|
+
|
534
541
|
def _mouse_gestures_text():
|
535
542
|
if sys.platform == 'darwin':
|
536
|
-
return
|
543
|
+
return "Move: Click & Drag Rotate: Shift-Click & Drag Orbit: \u2318-Click & Drag"
|
537
544
|
else:
|
538
545
|
return "Move: Click & Drag Rotate: Shift-Click & Drag Orbit: Alt-Click & Drag"
|
539
546
|
|
540
547
|
###############################################################################
|
541
548
|
# Performance test
|
542
549
|
|
550
|
+
|
543
551
|
class PerfTest:
|
544
|
-
def __init__(self, widget, num_iterations
|
552
|
+
def __init__(self, widget, num_iterations=20):
|
545
553
|
self.widget = widget
|
546
554
|
self.m = unit_3_vector_and_distance_to_O13_hyperbolic_translation(
|
547
555
|
[ 0.3 * math.sqrt(2.0), 0.4 * math.sqrt(2.0), 0.5 * math.sqrt(2.0) ],
|
@@ -549,7 +557,7 @@ class PerfTest:
|
|
549
557
|
self.num_iterations = num_iterations
|
550
558
|
self.current_iteration = 0
|
551
559
|
self.total_time = 0.0
|
552
|
-
|
560
|
+
|
553
561
|
self.widget.report_time_callback = self.report_time
|
554
562
|
|
555
563
|
self.widget.after(250, self.redraw)
|
@@ -557,10 +565,9 @@ class PerfTest:
|
|
557
565
|
self.widget.focus_set()
|
558
566
|
self.widget.mainloop()
|
559
567
|
|
560
|
-
|
561
568
|
def report_time(self, t):
|
562
569
|
self.total_time += t
|
563
|
-
|
570
|
+
|
564
571
|
def redraw(self):
|
565
572
|
self.current_iteration += 1
|
566
573
|
if self.current_iteration == self.num_iterations:
|
@@ -570,11 +577,12 @@ class PerfTest:
|
|
570
577
|
|
571
578
|
self.widget.view_state = self.widget.raytracing_data.update_view_state(
|
572
579
|
self.widget.view_state, self.m)
|
573
|
-
|
574
|
-
self.widget.
|
580
|
+
|
581
|
+
self.widget.draw()
|
575
582
|
self.widget.after(250, self.redraw)
|
576
|
-
|
577
|
-
|
583
|
+
|
584
|
+
|
585
|
+
def run_perf_test():
|
578
586
|
from snappy import Manifold
|
579
587
|
|
580
588
|
gui = FiniteViewer(Manifold("m004(3,2)"))
|