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.
Files changed (401) hide show
  1. snappy/CyOpenGL.cpython-38-darwin.so +0 -0
  2. snappy/SnapPy.cpython-38-darwin.so +0 -0
  3. snappy/SnapPyHP.cpython-38-darwin.so +0 -0
  4. snappy/__init__.py +373 -426
  5. snappy/app.py +240 -75
  6. snappy/app_menus.py +93 -78
  7. snappy/browser.py +87 -63
  8. snappy/cache.py +5 -8
  9. snappy/canonical.py +249 -0
  10. snappy/{verify/cusp_shapes.py → cusps/__init__.py} +11 -19
  11. snappy/cusps/cusp_area_matrix.py +101 -0
  12. snappy/{verify/cusp_areas.py → cusps/cusp_areas_from_matrix.py} +39 -54
  13. snappy/cusps/maximal_cusp_area_matrix.py +136 -0
  14. snappy/cusps/test.py +21 -0
  15. snappy/cusps/trig_cusp_area_matrix.py +63 -0
  16. snappy/database.py +40 -31
  17. snappy/db_utilities.py +13 -14
  18. snappy/decorated_isosig.py +377 -133
  19. snappy/dev/extended_ptolemy/complexVolumesClosed.py +42 -9
  20. snappy/dev/extended_ptolemy/extended.py +32 -25
  21. snappy/dev/extended_ptolemy/giac_rur.py +23 -8
  22. snappy/dev/extended_ptolemy/phc_wrapper.py +10 -10
  23. snappy/dev/vericlosed/computeApproxHyperbolicStructureOrb.py +2 -1
  24. snappy/dev/vericlosed/gimbalLoopFinder.py +5 -5
  25. snappy/dev/vericlosed/hyperbolicStructure.py +3 -3
  26. snappy/dev/vericlosed/oneVertexTruncatedComplex.py +2 -2
  27. snappy/dev/vericlosed/truncatedComplex.py +3 -2
  28. snappy/dev/vericlosed/verifyHyperbolicStructureEngine.py +4 -3
  29. snappy/doc/_images/geodesics.jpg +0 -0
  30. snappy/doc/_images/m004_paper_plane_on_systole.jpg +0 -0
  31. snappy/doc/_images/m125_paper_plane.jpg +0 -0
  32. snappy/doc/_images/o9_00000_systole_paper_plane.jpg +0 -0
  33. snappy/doc/_images/o9_00000_systole_paper_plane_closer.jpg +0 -0
  34. snappy/doc/_sources/additional_classes.rst.txt +1 -0
  35. snappy/doc/_sources/credits.rst.txt +6 -1
  36. snappy/doc/_sources/development.rst.txt +69 -50
  37. snappy/doc/_sources/index.rst.txt +101 -66
  38. snappy/doc/_sources/installing.rst.txt +148 -165
  39. snappy/doc/_sources/news.rst.txt +136 -32
  40. snappy/doc/_sources/ptolemy.rst.txt +1 -1
  41. snappy/doc/_sources/ptolemy_examples1.rst.txt +9 -8
  42. snappy/doc/_sources/ptolemy_examples2.rst.txt +3 -3
  43. snappy/doc/_sources/ptolemy_examples3.rst.txt +14 -14
  44. snappy/doc/_sources/ptolemy_prelim.rst.txt +1 -1
  45. snappy/doc/_sources/snap.rst.txt +2 -2
  46. snappy/doc/_sources/snappy.rst.txt +1 -1
  47. snappy/doc/_sources/triangulation.rst.txt +3 -2
  48. snappy/doc/_sources/verify.rst.txt +89 -29
  49. snappy/doc/_sources/verify_internals.rst.txt +5 -16
  50. snappy/doc/_static/SnapPy-horizontal-128.png +0 -0
  51. snappy/doc/_static/SnapPy.ico +0 -0
  52. snappy/doc/_static/_sphinx_javascript_frameworks_compat.js +123 -0
  53. snappy/doc/_static/basic.css +47 -27
  54. snappy/doc/_static/css/badge_only.css +1 -0
  55. snappy/doc/_static/css/fonts/Roboto-Slab-Bold.woff +0 -0
  56. snappy/doc/_static/css/fonts/Roboto-Slab-Bold.woff2 +0 -0
  57. snappy/doc/_static/css/fonts/Roboto-Slab-Regular.woff +0 -0
  58. snappy/doc/_static/css/fonts/Roboto-Slab-Regular.woff2 +0 -0
  59. snappy/doc/_static/css/fonts/fontawesome-webfont.eot +0 -0
  60. snappy/doc/_static/css/fonts/fontawesome-webfont.svg +2671 -0
  61. snappy/doc/_static/css/fonts/fontawesome-webfont.ttf +0 -0
  62. snappy/doc/_static/css/fonts/fontawesome-webfont.woff +0 -0
  63. snappy/doc/_static/css/fonts/fontawesome-webfont.woff2 +0 -0
  64. snappy/doc/_static/css/fonts/lato-bold-italic.woff +0 -0
  65. snappy/doc/_static/css/fonts/lato-bold-italic.woff2 +0 -0
  66. snappy/doc/_static/css/fonts/lato-bold.woff +0 -0
  67. snappy/doc/_static/css/fonts/lato-bold.woff2 +0 -0
  68. snappy/doc/_static/css/fonts/lato-normal-italic.woff +0 -0
  69. snappy/doc/_static/css/fonts/lato-normal-italic.woff2 +0 -0
  70. snappy/doc/_static/css/fonts/lato-normal.woff +0 -0
  71. snappy/doc/_static/css/fonts/lato-normal.woff2 +0 -0
  72. snappy/doc/_static/css/theme.css +4 -0
  73. snappy/doc/_static/doctools.js +107 -274
  74. snappy/doc/_static/documentation_options.js +6 -5
  75. snappy/doc/_static/fonts/Lato/lato-bold.eot +0 -0
  76. snappy/doc/_static/fonts/Lato/lato-bold.ttf +0 -0
  77. snappy/doc/_static/fonts/Lato/lato-bold.woff +0 -0
  78. snappy/doc/_static/fonts/Lato/lato-bold.woff2 +0 -0
  79. snappy/doc/_static/fonts/Lato/lato-bolditalic.eot +0 -0
  80. snappy/doc/_static/fonts/Lato/lato-bolditalic.ttf +0 -0
  81. snappy/doc/_static/fonts/Lato/lato-bolditalic.woff +0 -0
  82. snappy/doc/_static/fonts/Lato/lato-bolditalic.woff2 +0 -0
  83. snappy/doc/_static/fonts/Lato/lato-italic.eot +0 -0
  84. snappy/doc/_static/fonts/Lato/lato-italic.ttf +0 -0
  85. snappy/doc/_static/fonts/Lato/lato-italic.woff +0 -0
  86. snappy/doc/_static/fonts/Lato/lato-italic.woff2 +0 -0
  87. snappy/doc/_static/fonts/Lato/lato-regular.eot +0 -0
  88. snappy/doc/_static/fonts/Lato/lato-regular.ttf +0 -0
  89. snappy/doc/_static/fonts/Lato/lato-regular.woff +0 -0
  90. snappy/doc/_static/fonts/Lato/lato-regular.woff2 +0 -0
  91. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.eot +0 -0
  92. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.ttf +0 -0
  93. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff +0 -0
  94. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff2 +0 -0
  95. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.eot +0 -0
  96. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.ttf +0 -0
  97. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff +0 -0
  98. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff2 +0 -0
  99. snappy/doc/_static/jquery.js +2 -2
  100. snappy/doc/_static/js/badge_only.js +1 -0
  101. snappy/doc/_static/js/theme.js +1 -0
  102. snappy/doc/_static/js/versions.js +228 -0
  103. snappy/doc/_static/language_data.js +3 -101
  104. snappy/doc/_static/pygments.css +1 -0
  105. snappy/doc/_static/searchtools.js +489 -398
  106. snappy/doc/_static/snappy_furo.css +33 -0
  107. snappy/doc/_static/snappy_sphinx_rtd_theme.css +42 -0
  108. snappy/doc/_static/sphinx_highlight.js +154 -0
  109. snappy/doc/additional_classes.html +688 -263
  110. snappy/doc/bugs.html +107 -94
  111. snappy/doc/censuses.html +155 -127
  112. snappy/doc/credits.html +115 -104
  113. snappy/doc/development.html +184 -146
  114. snappy/doc/genindex.html +287 -204
  115. snappy/doc/index.html +189 -150
  116. snappy/doc/installing.html +259 -266
  117. snappy/doc/manifold.html +1626 -592
  118. snappy/doc/manifoldhp.html +119 -105
  119. snappy/doc/news.html +198 -104
  120. snappy/doc/objects.inv +0 -0
  121. snappy/doc/other.html +117 -105
  122. snappy/doc/platonic_census.html +161 -114
  123. snappy/doc/plink.html +113 -105
  124. snappy/doc/ptolemy.html +131 -108
  125. snappy/doc/ptolemy_classes.html +242 -223
  126. snappy/doc/ptolemy_examples1.html +144 -130
  127. snappy/doc/ptolemy_examples2.html +141 -129
  128. snappy/doc/ptolemy_examples3.html +148 -132
  129. snappy/doc/ptolemy_examples4.html +131 -111
  130. snappy/doc/ptolemy_prelim.html +162 -138
  131. snappy/doc/py-modindex.html +104 -69
  132. snappy/doc/screenshots.html +117 -108
  133. snappy/doc/search.html +115 -84
  134. snappy/doc/searchindex.js +1 -1
  135. snappy/doc/snap.html +109 -96
  136. snappy/doc/snappy.html +134 -97
  137. snappy/doc/spherogram.html +259 -187
  138. snappy/doc/todo.html +107 -94
  139. snappy/doc/triangulation.html +1380 -111
  140. snappy/doc/tutorial.html +107 -94
  141. snappy/doc/verify.html +194 -125
  142. snappy/doc/verify_internals.html +248 -686
  143. snappy/drilling/__init__.py +456 -0
  144. snappy/drilling/barycentric.py +103 -0
  145. snappy/drilling/constants.py +5 -0
  146. snappy/drilling/crush.py +270 -0
  147. snappy/drilling/cusps.py +125 -0
  148. snappy/drilling/debug.py +242 -0
  149. snappy/drilling/epsilons.py +6 -0
  150. snappy/drilling/exceptions.py +55 -0
  151. snappy/drilling/moves.py +620 -0
  152. snappy/drilling/peripheral_curves.py +210 -0
  153. snappy/drilling/perturb.py +188 -0
  154. snappy/drilling/shorten.py +36 -0
  155. snappy/drilling/subdivide.py +274 -0
  156. snappy/drilling/test.py +23 -0
  157. snappy/drilling/test_cases.py +126 -0
  158. snappy/drilling/tracing.py +351 -0
  159. snappy/exceptions.py +23 -3
  160. snappy/export_stl.py +20 -14
  161. snappy/exterior_to_link/__init__.py +2 -0
  162. snappy/exterior_to_link/barycentric_geometry.py +463 -0
  163. snappy/exterior_to_link/exceptions.py +6 -0
  164. snappy/exterior_to_link/geodesic_map.json +14408 -0
  165. snappy/exterior_to_link/hyp_utils.py +112 -0
  166. snappy/exterior_to_link/link_projection.py +323 -0
  167. snappy/exterior_to_link/main.py +197 -0
  168. snappy/exterior_to_link/mcomplex_with_expansion.py +261 -0
  169. snappy/exterior_to_link/mcomplex_with_link.py +687 -0
  170. snappy/exterior_to_link/mcomplex_with_memory.py +162 -0
  171. snappy/exterior_to_link/pl_utils.py +491 -0
  172. snappy/exterior_to_link/put_in_S3.py +156 -0
  173. snappy/exterior_to_link/rational_linear_algebra.py +123 -0
  174. snappy/exterior_to_link/rational_linear_algebra_wrapped.py +135 -0
  175. snappy/exterior_to_link/simplify_to_base_tri.py +114 -0
  176. snappy/exterior_to_link/stored_moves.py +475 -0
  177. snappy/exterior_to_link/test.py +31 -0
  178. snappy/geometric_structure/__init__.py +212 -0
  179. snappy/geometric_structure/cusp_neighborhood/__init__.py +3 -0
  180. snappy/geometric_structure/cusp_neighborhood/complex_cusp_cross_section.py +697 -0
  181. snappy/geometric_structure/cusp_neighborhood/cusp_cross_section_base.py +484 -0
  182. snappy/geometric_structure/cusp_neighborhood/exceptions.py +42 -0
  183. snappy/geometric_structure/cusp_neighborhood/real_cusp_cross_section.py +298 -0
  184. snappy/geometric_structure/cusp_neighborhood/tiles_for_cusp_neighborhood.py +159 -0
  185. snappy/geometric_structure/cusp_neighborhood/vertices.py +32 -0
  186. snappy/geometric_structure/geodesic/__init__.py +0 -0
  187. snappy/geometric_structure/geodesic/add_core_curves.py +152 -0
  188. snappy/geometric_structure/geodesic/avoid_core_curves.py +369 -0
  189. snappy/geometric_structure/geodesic/canonical_keys.py +52 -0
  190. snappy/geometric_structure/geodesic/check_away_from_core_curve.py +60 -0
  191. snappy/geometric_structure/geodesic/constants.py +6 -0
  192. snappy/geometric_structure/geodesic/exceptions.py +22 -0
  193. snappy/geometric_structure/geodesic/fixed_points.py +93 -0
  194. snappy/geometric_structure/geodesic/geodesic_start_point_info.py +435 -0
  195. snappy/geometric_structure/geodesic/graph_trace_helper.py +67 -0
  196. snappy/geometric_structure/geodesic/line.py +30 -0
  197. snappy/geometric_structure/geodesic/multiplicity.py +127 -0
  198. snappy/geometric_structure/geodesic/tiles_for_geodesic.py +101 -0
  199. snappy/geometric_structure/test.py +22 -0
  200. snappy/gui.py +36 -36
  201. snappy/horoviewer.py +50 -48
  202. snappy/hyperboloid/__init__.py +212 -0
  203. snappy/hyperboloid/distances.py +245 -0
  204. snappy/hyperboloid/horoball.py +19 -0
  205. snappy/hyperboloid/line.py +35 -0
  206. snappy/hyperboloid/point.py +9 -0
  207. snappy/hyperboloid/triangle.py +29 -0
  208. snappy/{infodialog.py → infowindow.py} +32 -33
  209. snappy/isometry_signature.py +382 -0
  210. snappy/len_spec/__init__.py +596 -0
  211. snappy/len_spec/geodesic_info.py +110 -0
  212. snappy/len_spec/geodesic_key_info_dict.py +117 -0
  213. snappy/len_spec/geodesic_piece.py +143 -0
  214. snappy/len_spec/geometric_structure.py +182 -0
  215. snappy/len_spec/geometry.py +80 -0
  216. snappy/len_spec/length_spectrum_geodesic_info.py +170 -0
  217. snappy/len_spec/spine.py +206 -0
  218. snappy/len_spec/test.py +24 -0
  219. snappy/len_spec/test_cases.py +69 -0
  220. snappy/len_spec/tile.py +275 -0
  221. snappy/len_spec/word.py +86 -0
  222. snappy/manifolds/__init__.py +1 -1
  223. snappy/math_basics.py +176 -0
  224. snappy/matrix.py +525 -0
  225. snappy/number.py +97 -21
  226. snappy/numeric_output_checker.py +37 -27
  227. snappy/pari.py +30 -69
  228. snappy/phone_home.py +25 -20
  229. snappy/polyviewer.py +39 -37
  230. snappy/ptolemy/__init__.py +4 -6
  231. snappy/ptolemy/component.py +14 -12
  232. snappy/ptolemy/coordinates.py +312 -295
  233. snappy/ptolemy/fieldExtensions.py +14 -12
  234. snappy/ptolemy/findLoops.py +43 -31
  235. snappy/ptolemy/geometricRep.py +24 -26
  236. snappy/ptolemy/homology.py +12 -7
  237. snappy/ptolemy/manifoldMethods.py +69 -70
  238. snappy/ptolemy/matrix.py +65 -26
  239. snappy/ptolemy/numericalSolutionsToGroebnerBasis.py +18 -14
  240. snappy/ptolemy/polynomial.py +125 -119
  241. snappy/ptolemy/processComponents.py +36 -30
  242. snappy/ptolemy/processFileBase.py +79 -18
  243. snappy/ptolemy/processFileDispatch.py +13 -14
  244. snappy/ptolemy/processMagmaFile.py +44 -39
  245. snappy/ptolemy/processRurFile.py +18 -11
  246. snappy/ptolemy/ptolemyGeneralizedObstructionClass.py +20 -17
  247. snappy/ptolemy/ptolemyObstructionClass.py +13 -17
  248. snappy/ptolemy/ptolemyVariety.py +190 -121
  249. snappy/ptolemy/ptolemyVarietyPrimeIdealGroebnerBasis.py +20 -19
  250. snappy/ptolemy/reginaWrapper.py +25 -29
  251. snappy/ptolemy/rur.py +6 -14
  252. snappy/ptolemy/solutionsToPrimeIdealGroebnerBasis.py +27 -22
  253. snappy/ptolemy/test.py +247 -188
  254. snappy/ptolemy/utilities.py +41 -43
  255. snappy/raytracing/__init__.py +64 -0
  256. snappy/raytracing/additional_horospheres.py +64 -0
  257. snappy/raytracing/additional_len_spec_choices.py +63 -0
  258. snappy/raytracing/cohomology_fractal.py +10 -6
  259. snappy/raytracing/eyeball.py +123 -0
  260. snappy/raytracing/finite_raytracing_data.py +48 -38
  261. snappy/raytracing/finite_viewer.py +218 -210
  262. snappy/raytracing/geodesic_tube_info.py +174 -0
  263. snappy/raytracing/geodesics.py +246 -0
  264. snappy/raytracing/geodesics_window.py +258 -0
  265. snappy/raytracing/gui_utilities.py +152 -40
  266. snappy/raytracing/hyperboloid_navigation.py +102 -52
  267. snappy/raytracing/hyperboloid_utilities.py +114 -261
  268. snappy/raytracing/ideal_raytracing_data.py +256 -179
  269. snappy/raytracing/inside_viewer.py +522 -253
  270. snappy/raytracing/pack.py +22 -0
  271. snappy/raytracing/raytracing_data.py +46 -34
  272. snappy/raytracing/raytracing_view.py +190 -109
  273. snappy/raytracing/shaders/Eye.png +0 -0
  274. snappy/raytracing/shaders/NonGeometric.png +0 -0
  275. snappy/raytracing/shaders/__init__.py +60 -4
  276. snappy/raytracing/shaders/fragment.glsl +575 -148
  277. snappy/raytracing/test.py +29 -0
  278. snappy/raytracing/tooltip.py +146 -0
  279. snappy/raytracing/upper_halfspace_utilities.py +98 -0
  280. snappy/raytracing/view_scale_controller.py +98 -0
  281. snappy/raytracing/zoom_slider/__init__.py +32 -29
  282. snappy/raytracing/zoom_slider/test.py +2 -0
  283. snappy/sage_helper.py +69 -123
  284. snappy/{preferences.py → settings.py} +167 -145
  285. snappy/shell.py +4 -0
  286. snappy/snap/__init__.py +12 -8
  287. snappy/snap/character_varieties.py +24 -18
  288. snappy/snap/find_field.py +35 -34
  289. snappy/snap/fundamental_polyhedron.py +99 -85
  290. snappy/snap/generators.py +6 -8
  291. snappy/snap/interval_reps.py +18 -6
  292. snappy/snap/kernel_structures.py +8 -3
  293. snappy/snap/mcomplex_base.py +1 -2
  294. snappy/snap/nsagetools.py +107 -53
  295. snappy/snap/peripheral/__init__.py +1 -1
  296. snappy/snap/peripheral/dual_cellulation.py +15 -7
  297. snappy/snap/peripheral/link.py +20 -16
  298. snappy/snap/peripheral/peripheral.py +22 -14
  299. snappy/snap/peripheral/surface.py +47 -50
  300. snappy/snap/peripheral/test.py +8 -8
  301. snappy/snap/polished_reps.py +65 -40
  302. snappy/snap/shapes.py +41 -22
  303. snappy/snap/slice_obs_HKL.py +64 -25
  304. snappy/snap/t3mlite/arrow.py +88 -51
  305. snappy/snap/t3mlite/corner.py +5 -6
  306. snappy/snap/t3mlite/edge.py +32 -21
  307. snappy/snap/t3mlite/face.py +7 -9
  308. snappy/snap/t3mlite/files.py +31 -23
  309. snappy/snap/t3mlite/homology.py +14 -10
  310. snappy/snap/t3mlite/linalg.py +158 -56
  311. snappy/snap/t3mlite/mcomplex.py +739 -291
  312. snappy/snap/t3mlite/perm4.py +236 -84
  313. snappy/snap/t3mlite/setup.py +9 -10
  314. snappy/snap/t3mlite/simplex.py +65 -48
  315. snappy/snap/t3mlite/spun.py +42 -30
  316. snappy/snap/t3mlite/surface.py +45 -45
  317. snappy/snap/t3mlite/test.py +3 -0
  318. snappy/snap/t3mlite/test_vs_regina.py +17 -13
  319. snappy/snap/t3mlite/tetrahedron.py +25 -24
  320. snappy/snap/t3mlite/vertex.py +8 -13
  321. snappy/snap/test.py +45 -52
  322. snappy/snap/utilities.py +66 -65
  323. snappy/test.py +155 -158
  324. snappy/test_cases.py +263 -0
  325. snappy/testing.py +131 -0
  326. snappy/tiling/__init__.py +2 -0
  327. snappy/tiling/canonical_key_dict.py +59 -0
  328. snappy/tiling/dict_based_set.py +79 -0
  329. snappy/tiling/floor.py +49 -0
  330. snappy/tiling/hyperboloid_dict.py +54 -0
  331. snappy/tiling/iter_utils.py +78 -0
  332. snappy/tiling/lifted_tetrahedron.py +22 -0
  333. snappy/tiling/lifted_tetrahedron_set.py +54 -0
  334. snappy/tiling/real_hash_dict.py +164 -0
  335. snappy/tiling/test.py +23 -0
  336. snappy/tiling/tile.py +215 -0
  337. snappy/tiling/triangle.py +33 -0
  338. snappy/tkterminal.py +313 -203
  339. snappy/twister/main.py +1 -8
  340. snappy/twister/twister_core.cpython-38-darwin.so +0 -0
  341. snappy/upper_halfspace/__init__.py +146 -0
  342. snappy/upper_halfspace/ideal_point.py +26 -0
  343. snappy/verify/__init__.py +4 -8
  344. snappy/verify/{verifyCanonical.py → canonical.py} +114 -97
  345. snappy/verify/complex_volume/__init__.py +3 -2
  346. snappy/verify/complex_volume/adjust_torsion.py +13 -11
  347. snappy/verify/complex_volume/closed.py +29 -24
  348. snappy/verify/complex_volume/compute_ptolemys.py +8 -6
  349. snappy/verify/complex_volume/cusped.py +10 -9
  350. snappy/verify/complex_volume/extended_bloch.py +14 -12
  351. snappy/verify/{cuspTranslations.py → cusp_translations.py} +15 -14
  352. snappy/verify/edge_equations.py +80 -0
  353. snappy/verify/exceptions.py +23 -56
  354. snappy/verify/{verifyHyperbolicity.py → hyperbolicity.py} +19 -15
  355. snappy/verify/interval_newton_shapes_engine.py +51 -211
  356. snappy/verify/interval_tree.py +27 -25
  357. snappy/verify/krawczyk_shapes_engine.py +47 -50
  358. snappy/verify/maximal_cusp_area_matrix/__init__.py +17 -86
  359. snappy/verify/maximal_cusp_area_matrix/cusp_tiling_engine.py +58 -48
  360. snappy/verify/maximal_cusp_area_matrix/cusp_translate_engine.py +53 -57
  361. snappy/verify/{realAlgebra.py → real_algebra.py} +26 -20
  362. snappy/verify/shapes.py +10 -7
  363. snappy/verify/short_slopes.py +41 -42
  364. snappy/verify/{squareExtensions.py → square_extensions.py} +96 -92
  365. snappy/verify/test.py +59 -57
  366. snappy/verify/upper_halfspace/extended_matrix.py +5 -5
  367. snappy/verify/upper_halfspace/finite_point.py +44 -31
  368. snappy/verify/upper_halfspace/ideal_point.py +69 -57
  369. snappy/verify/volume.py +15 -12
  370. snappy/version.py +2 -3
  371. {snappy-3.0.3.dist-info → snappy-3.2.dist-info}/METADATA +14 -12
  372. snappy-3.2.dist-info/RECORD +503 -0
  373. {snappy-3.0.3.dist-info → snappy-3.2.dist-info}/WHEEL +1 -1
  374. {snappy-3.0.3.dist-info → snappy-3.2.dist-info}/entry_points.txt +0 -1
  375. {snappy-3.0.3.dist-info → snappy-3.2.dist-info}/top_level.txt +10 -1
  376. snappy/doc/_sources/verify_canon.rst.txt +0 -90
  377. snappy/doc/_static/classic.css +0 -266
  378. snappy/doc/_static/jquery-3.5.1.js +0 -10872
  379. snappy/doc/_static/sidebar.js +0 -159
  380. snappy/doc/_static/underscore-1.13.1.js +0 -2042
  381. snappy/doc/_static/underscore.js +0 -6
  382. snappy/doc/verify_canon.html +0 -283
  383. snappy/ppm_to_png.py +0 -243
  384. snappy/togl/__init__.py +0 -3
  385. snappy/togl/darwin-tk8.6/Togl2.1/LICENSE +0 -28
  386. snappy/togl/darwin-tk8.6/Togl2.1/libTogl2.1.dylib +0 -0
  387. snappy/togl/darwin-tk8.6/Togl2.1/pkgIndex.tcl +0 -5
  388. snappy/togl/linux2-x86_64-tk8.6/Togl2.1/LICENSE +0 -28
  389. snappy/togl/linux2-x86_64-tk8.6/Togl2.1/libTogl2.1.so +0 -0
  390. snappy/togl/linux2-x86_64-tk8.6/Togl2.1/pkgIndex.tcl +0 -5
  391. snappy/togl/win32VC-tk8.6/Togl2.1/LICENSE +0 -28
  392. snappy/togl/win32VC-tk8.6/Togl2.1/Togl21.dll +0 -0
  393. snappy/togl/win32VC-tk8.6/Togl2.1/Togl21.lib +0 -0
  394. snappy/togl/win32VC-tk8.6/Togl2.1/pkgIndex.tcl +0 -6
  395. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/LICENSE +0 -28
  396. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/Togl21.dll +0 -0
  397. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/Togl21.lib +0 -0
  398. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/pkgIndex.tcl +0 -6
  399. snappy/verify/cuspCrossSection.py +0 -1413
  400. snappy/verify/mathHelpers.py +0 -64
  401. snappy-3.0.3.dist-info/RECORD +0 -360
@@ -1,4 +1,6 @@
1
- import tkinter, math, sys
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, master, manifold,
13
- fillings_changed_callback = None,
14
- weights = None,
15
- cohomology_basis = None,
16
- cohomology_class = None):
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, master)
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 = row, column = 0, sticky = tkinter.NSEW,
32
- padx = 0, pady = 0, ipady = 0)
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 = 'Cusp areas')
36
-
38
+ text='Cusp areas')
39
+
37
40
  self.notebook.add(self.create_fillings_frame(self),
38
- text = 'Fillings')
41
+ text='Fillings')
39
42
 
40
43
  self.notebook.add(self.create_skeleton_frame(self),
41
- text = 'Skeleton')
44
+ text='Skeleton')
42
45
 
43
46
  self.notebook.add(self.create_quality_frame(self),
44
- text = 'Quality')
47
+ text='Quality')
45
48
 
46
49
  self.notebook.add(self.create_light_frame(self),
47
- text = 'Light')
50
+ text='Light')
48
51
 
49
52
  self.notebook.add(self.create_navigation_frame(self),
50
- text = 'Navigation')
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 = row, column = 0, sticky = tkinter.NSEW)
56
- self.columnconfigure(0, weight = 1)
57
- self.rowconfigure(row, weight = 1)
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 = row, column = 0, sticky = tkinter.NSEW)
64
+ status_frame.grid(row=row, column=0, sticky=tkinter.NSEW)
62
65
 
63
66
  UniformDictController(
64
- self.widget.ui_uniform_dict, 'fov',
65
- update_function = self.widget.redraw_if_initialized,
66
- scale = self.fov_scale,
67
- label = self.fov_label,
68
- format_string = '%.1f')
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(master, tkinter.Toplevel) and self.menubar:
78
- master.config(menu=self.menubar)
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 = 0)
88
- frame.columnconfigure(1, weight = 1)
89
- frame.columnconfigure(2, weight = 0)
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 = self.widget.ui_parameter_dict,
99
- key = 'cuspAreas',
100
- title = 'Cusp %d' % i,
101
- left_end = 0.0,
102
- right_end = cusp_area_maximum,
103
- row = row,
104
- update_function = self.widget.recompute_raytracing_data_and_redraw,
105
- index = i)
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 = 1)
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 = self.checkbox_update,
115
- text = "Ideal view",
116
- row = row, column = 1)
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.redraw_if_initialized()
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 = 0)
128
- frame.columnconfigure(1, weight = 1)
129
- frame.columnconfigure(2, weight = 0)
130
- frame.columnconfigure(3, weight = 1)
131
- frame.columnconfigure(4, weight = 0)
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 = 'fillings',
143
- column = 0,
144
- index = i,
145
- component_index = 0,
146
- title = 'Cusp %d' % i,
147
- row = row,
148
- left_end = -15,
149
- right_end = 15,
150
- update_function = self.push_fillings_to_manifold,
151
- scale_class = ZoomSlider))
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 = 'fillings',
158
- column = 3,
159
- index = i,
160
- component_index = 1,
161
- title = None,
162
- row = row,
163
- left_end = -15,
164
- right_end = 15,
165
- update_function = self.push_fillings_to_manifold,
166
- scale_class = ZoomSlider))
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 = 1)
173
+ frame.rowconfigure(row, weight=1)
171
174
 
172
175
  subframe = ttk.Frame(frame)
173
- subframe.grid(row = row, column = 0, columnspan = 5)
174
- subframe.columnconfigure(0, weight = 1)
175
- subframe.columnconfigure(1, weight = 0)
176
- subframe.columnconfigure(2, weight = 0)
177
- subframe.columnconfigure(3, weight = 1)
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 = "Recompute hyp. structure",
181
- command = self.recompute_hyperbolic_structure)
182
- recompute_button.grid(row = 0, column = 1)
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 = "Round to integers",
186
- command = self.round_fillings)
187
- snap_button.grid(row = 0, column = 2)
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 = 0)
195
- frame.columnconfigure(1, weight = 1)
196
- frame.columnconfigure(2, weight = 0)
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 = 'edgeThickness',
203
- title = 'Face boundary thickness',
204
- row = row,
205
- left_end = 0.0,
206
- right_end = 0.35,
207
- update_function = self.widget.redraw_if_initialized,
208
- format_string = '%.3f')
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 = 'vertexRadius',
215
- title = 'Vertex Radius',
216
- row = row,
217
- left_end = 0.0,
218
- right_end = 1.35,
219
- update_function = self.widget.redraw_if_initialized,
220
- format_string = '%.3f')
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 = 'edgeTubeRadius',
227
- title = 'Edge thickness',
228
- row = row,
229
- left_end = 0.0,
230
- right_end = 0.5,
231
- update_function = self.widget.redraw_if_initialized)
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 = 0)
239
- frame.columnconfigure(1, weight = 1)
240
- frame.columnconfigure(2, weight = 0)
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 = 'maxSteps',
247
- title = 'Max Steps',
248
- row = row,
249
- left_end = 1,
250
- right_end = 100,
251
- update_function = self.widget.redraw_if_initialized)
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 = 'maxDist',
258
- title = 'Max Distance',
259
- row = row,
260
- left_end = 1.0,
261
- right_end = 28.0,
262
- update_function = self.widget.redraw_if_initialized)
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 = 'subpixelCount',
269
- title = 'Subpixel count',
270
- row = row,
271
- left_end = 1.0,
272
- right_end = 4.25,
273
- update_function = self.widget.redraw_if_initialized)
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 = 0)
281
- frame.columnconfigure(1, weight = 1)
282
- frame.columnconfigure(2, weight = 0)
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 = 'contrast',
291
- title = 'Contrast',
292
- row = row,
293
- left_end = 0.0,
294
- right_end = 0.25,
295
- update_function = self.widget.redraw_if_initialized,
296
- format_string = '%.3f')
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 = 'lightBias',
303
- title = 'Light bias',
304
- row = row,
305
- left_end = 0.3,
306
- right_end = 4.0,
307
- update_function = self.widget.redraw_if_initialized)
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 = 'lightFalloff',
314
- title = 'Light falloff',
315
- row = row,
316
- left_end = 0.1,
317
- right_end = 2.0,
318
- update_function = self.widget.redraw_if_initialized)
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 = 'brightness',
325
- title = 'Brightness',
326
- row = row,
327
- left_end = 0.3,
328
- right_end = 3.0,
329
- update_function = self.widget.redraw_if_initialized)
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 = 0)
337
- frame.columnconfigure(1, weight = 1)
338
- frame.columnconfigure(2, weight = 0)
339
- frame.columnconfigure(3, weight = 0)
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 = 'translationVelocity',
346
- title = 'Translation Speed',
347
- row = row,
348
- left_end = 0.1,
349
- right_end = 1.0)
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 = "Keys: wasdec")
352
- label.grid(row = row, column = 3, sticky = tkinter.NSEW)
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 = 'rotationVelocity',
359
- title = 'Rotation Speed',
360
- row = row,
361
- left_end = 0.1,
362
- right_end = 1.0)
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 = u"Keys: \u2190\u2191\u2192\u2193xz")
365
- label.grid(row = row, column = 3, sticky = tkinter.NSEW)
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 = _mouse_gestures_text())
369
- label.grid(row = row, column = 0, columnspan = 4)
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 = weights,
386
- cohomology_basis = cohomology_basis,
387
- cohomology_class = cohomology_class,
388
- master = frame,
389
- width = 600, height = 500, double = 1, depth = 1)
390
- self.widget.grid(row = 0, column = column, sticky = tkinter.NSEW)
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 = 1)
393
- frame.rowconfigure(0, weight = 1)
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 = 20, right_end = 120,
397
- orient = tkinter.VERTICAL)
398
- self.fov_scale.grid(row = 0, column = column, sticky = tkinter.NSEW)
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 = "FOV:")
407
- label.grid(row = 0, column = column)
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 = 0, column = column)
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 = 0, column = column)
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 = 0, column = column)
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 = True)
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 = 'Vol: %s (%s)' % (vol_text, sol_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 = True)
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 = True)
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 u"Move: Click & Drag Rotate: Shift-Click & Drag Orbit: \u2318-Click & Drag"
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 = 20):
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.redraw_if_initialized()
580
+
581
+ self.widget.draw()
575
582
  self.widget.after(250, self.redraw)
576
-
577
- def run_perf_test():
583
+
584
+
585
+ def run_perf_test():
578
586
  from snappy import Manifold
579
587
 
580
588
  gui = FiniteViewer(Manifold("m004(3,2)"))