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
@@ -2,322 +2,155 @@
2
2
  * doctools.js
3
3
  * ~~~~~~~~~~~
4
4
  *
5
- * Sphinx JavaScript utilities for all documentation.
5
+ * Base JavaScript utilities for all Sphinx HTML documentation.
6
6
  *
7
- * :copyright: Copyright 2007-2021 by the Sphinx team, see AUTHORS.
7
+ * :copyright: Copyright 2007-2024 by the Sphinx team, see AUTHORS.
8
8
  * :license: BSD, see LICENSE for details.
9
9
  *
10
10
  */
11
-
12
- /**
13
- * select a different prefix for underscore
14
- */
15
- $u = _.noConflict();
16
-
17
- /**
18
- * make the code below compatible with browsers without
19
- * an installed firebug like debugger
20
- if (!window.console || !console.firebug) {
21
- var names = ["log", "debug", "info", "warn", "error", "assert", "dir",
22
- "dirxml", "group", "groupEnd", "time", "timeEnd", "count", "trace",
23
- "profile", "profileEnd"];
24
- window.console = {};
25
- for (var i = 0; i < names.length; ++i)
26
- window.console[names[i]] = function() {};
27
- }
28
- */
29
-
30
- /**
31
- * small helper function to urldecode strings
32
- *
33
- * See https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/decodeURIComponent#Decoding_query_parameters_from_a_URL
34
- */
35
- jQuery.urldecode = function(x) {
36
- if (!x) {
37
- return x
38
- }
39
- return decodeURIComponent(x.replace(/\+/g, ' '));
40
- };
41
-
42
- /**
43
- * small helper function to urlencode strings
44
- */
45
- jQuery.urlencode = encodeURIComponent;
46
-
47
- /**
48
- * This function returns the parsed url parameters of the
49
- * current request. Multiple values per key are supported,
50
- * it will always return arrays of strings for the value parts.
51
- */
52
- jQuery.getQueryParameters = function(s) {
53
- if (typeof s === 'undefined')
54
- s = document.location.search;
55
- var parts = s.substr(s.indexOf('?') + 1).split('&');
56
- var result = {};
57
- for (var i = 0; i < parts.length; i++) {
58
- var tmp = parts[i].split('=', 2);
59
- var key = jQuery.urldecode(tmp[0]);
60
- var value = jQuery.urldecode(tmp[1]);
61
- if (key in result)
62
- result[key].push(value);
63
- else
64
- result[key] = [value];
11
+ "use strict";
12
+
13
+ const BLACKLISTED_KEY_CONTROL_ELEMENTS = new Set([
14
+ "TEXTAREA",
15
+ "INPUT",
16
+ "SELECT",
17
+ "BUTTON",
18
+ ]);
19
+
20
+ const _ready = (callback) => {
21
+ if (document.readyState !== "loading") {
22
+ callback();
23
+ } else {
24
+ document.addEventListener("DOMContentLoaded", callback);
65
25
  }
66
- return result;
67
26
  };
68
27
 
69
- /**
70
- * highlight a given string on a jquery object by wrapping it in
71
- * span elements with the given class name.
72
- */
73
- jQuery.fn.highlightText = function(text, className) {
74
- function highlight(node, addItems) {
75
- if (node.nodeType === 3) {
76
- var val = node.nodeValue;
77
- var pos = val.toLowerCase().indexOf(text);
78
- if (pos >= 0 &&
79
- !jQuery(node.parentNode).hasClass(className) &&
80
- !jQuery(node.parentNode).hasClass("nohighlight")) {
81
- var span;
82
- var isInSVG = jQuery(node).closest("body, svg, foreignObject").is("svg");
83
- if (isInSVG) {
84
- span = document.createElementNS("http://www.w3.org/2000/svg", "tspan");
85
- } else {
86
- span = document.createElement("span");
87
- span.className = className;
88
- }
89
- span.appendChild(document.createTextNode(val.substr(pos, text.length)));
90
- node.parentNode.insertBefore(span, node.parentNode.insertBefore(
91
- document.createTextNode(val.substr(pos + text.length)),
92
- node.nextSibling));
93
- node.nodeValue = val.substr(0, pos);
94
- if (isInSVG) {
95
- var rect = document.createElementNS("http://www.w3.org/2000/svg", "rect");
96
- var bbox = node.parentElement.getBBox();
97
- rect.x.baseVal.value = bbox.x;
98
- rect.y.baseVal.value = bbox.y;
99
- rect.width.baseVal.value = bbox.width;
100
- rect.height.baseVal.value = bbox.height;
101
- rect.setAttribute('class', className);
102
- addItems.push({
103
- "parent": node.parentNode,
104
- "target": rect});
105
- }
106
- }
107
- }
108
- else if (!jQuery(node).is("button, select, textarea")) {
109
- jQuery.each(node.childNodes, function() {
110
- highlight(this, addItems);
111
- });
112
- }
113
- }
114
- var addItems = [];
115
- var result = this.each(function() {
116
- highlight(this, addItems);
117
- });
118
- for (var i = 0; i < addItems.length; ++i) {
119
- jQuery(addItems[i].parent).before(addItems[i].target);
120
- }
121
- return result;
122
- };
123
-
124
- /*
125
- * backward compatibility for jQuery.browser
126
- * This will be supported until firefox bug is fixed.
127
- */
128
- if (!jQuery.browser) {
129
- jQuery.uaMatch = function(ua) {
130
- ua = ua.toLowerCase();
131
-
132
- var match = /(chrome)[ \/]([\w.]+)/.exec(ua) ||
133
- /(webkit)[ \/]([\w.]+)/.exec(ua) ||
134
- /(opera)(?:.*version|)[ \/]([\w.]+)/.exec(ua) ||
135
- /(msie) ([\w.]+)/.exec(ua) ||
136
- ua.indexOf("compatible") < 0 && /(mozilla)(?:.*? rv:([\w.]+)|)/.exec(ua) ||
137
- [];
138
-
139
- return {
140
- browser: match[ 1 ] || "",
141
- version: match[ 2 ] || "0"
142
- };
143
- };
144
- jQuery.browser = {};
145
- jQuery.browser[jQuery.uaMatch(navigator.userAgent).browser] = true;
146
- }
147
-
148
28
  /**
149
29
  * Small JavaScript module for the documentation.
150
30
  */
151
- var Documentation = {
152
-
153
- init : function() {
154
- this.fixFirefoxAnchorBug();
155
- this.highlightSearchWords();
156
- this.initIndexTable();
157
- if (DOCUMENTATION_OPTIONS.NAVIGATION_WITH_KEYS) {
158
- this.initOnKeyListeners();
159
- }
31
+ const Documentation = {
32
+ init: () => {
33
+ Documentation.initDomainIndexTable();
34
+ Documentation.initOnKeyListeners();
160
35
  },
161
36
 
162
37
  /**
163
38
  * i18n support
164
39
  */
165
- TRANSLATIONS : {},
166
- PLURAL_EXPR : function(n) { return n === 1 ? 0 : 1; },
167
- LOCALE : 'unknown',
40
+ TRANSLATIONS: {},
41
+ PLURAL_EXPR: (n) => (n === 1 ? 0 : 1),
42
+ LOCALE: "unknown",
168
43
 
169
44
  // gettext and ngettext don't access this so that the functions
170
45
  // can safely bound to a different name (_ = Documentation.gettext)
171
- gettext : function(string) {
172
- var translated = Documentation.TRANSLATIONS[string];
173
- if (typeof translated === 'undefined')
174
- return string;
175
- return (typeof translated === 'string') ? translated : translated[0];
46
+ gettext: (string) => {
47
+ const translated = Documentation.TRANSLATIONS[string];
48
+ switch (typeof translated) {
49
+ case "undefined":
50
+ return string; // no translation
51
+ case "string":
52
+ return translated; // translation exists
53
+ default:
54
+ return translated[0]; // (singular, plural) translation tuple exists
55
+ }
176
56
  },
177
57
 
178
- ngettext : function(singular, plural, n) {
179
- var translated = Documentation.TRANSLATIONS[singular];
180
- if (typeof translated === 'undefined')
181
- return (n == 1) ? singular : plural;
182
- return translated[Documentation.PLURALEXPR(n)];
58
+ ngettext: (singular, plural, n) => {
59
+ const translated = Documentation.TRANSLATIONS[singular];
60
+ if (typeof translated !== "undefined")
61
+ return translated[Documentation.PLURAL_EXPR(n)];
62
+ return n === 1 ? singular : plural;
183
63
  },
184
64
 
185
- addTranslations : function(catalog) {
186
- for (var key in catalog.messages)
187
- this.TRANSLATIONS[key] = catalog.messages[key];
188
- this.PLURAL_EXPR = new Function('n', 'return +(' + catalog.plural_expr + ')');
189
- this.LOCALE = catalog.locale;
65
+ addTranslations: (catalog) => {
66
+ Object.assign(Documentation.TRANSLATIONS, catalog.messages);
67
+ Documentation.PLURAL_EXPR = new Function(
68
+ "n",
69
+ `return (${catalog.plural_expr})`
70
+ );
71
+ Documentation.LOCALE = catalog.locale;
190
72
  },
191
73
 
192
74
  /**
193
- * add context elements like header anchor links
75
+ * helper function to focus on search bar
194
76
  */
195
- addContextElements : function() {
196
- $('div[id] > :header:first').each(function() {
197
- $('<a class="headerlink">\u00B6</a>').
198
- attr('href', '#' + this.id).
199
- attr('title', _('Permalink to this headline')).
200
- appendTo(this);
201
- });
202
- $('dt[id]').each(function() {
203
- $('<a class="headerlink">\u00B6</a>').
204
- attr('href', '#' + this.id).
205
- attr('title', _('Permalink to this definition')).
206
- appendTo(this);
207
- });
77
+ focusSearchBar: () => {
78
+ document.querySelectorAll("input[name=q]")[0]?.focus();
208
79
  },
209
80
 
210
81
  /**
211
- * workaround a firefox stupidity
212
- * see: https://bugzilla.mozilla.org/show_bug.cgi?id=645075
82
+ * Initialise the domain index toggle buttons
213
83
  */
214
- fixFirefoxAnchorBug : function() {
215
- if (document.location.hash && $.browser.mozilla)
216
- window.setTimeout(function() {
217
- document.location.href += '';
218
- }, 10);
219
- },
220
-
221
- /**
222
- * highlight the search words provided in the url in the text
223
- */
224
- highlightSearchWords : function() {
225
- var params = $.getQueryParameters();
226
- var terms = (params.highlight) ? params.highlight[0].split(/\s+/) : [];
227
- if (terms.length) {
228
- var body = $('div.body');
229
- if (!body.length) {
230
- body = $('body');
84
+ initDomainIndexTable: () => {
85
+ const toggler = (el) => {
86
+ const idNumber = el.id.substr(7);
87
+ const toggledRows = document.querySelectorAll(`tr.cg-${idNumber}`);
88
+ if (el.src.substr(-9) === "minus.png") {
89
+ el.src = `${el.src.substr(0, el.src.length - 9)}plus.png`;
90
+ toggledRows.forEach((el) => (el.style.display = "none"));
91
+ } else {
92
+ el.src = `${el.src.substr(0, el.src.length - 8)}minus.png`;
93
+ toggledRows.forEach((el) => (el.style.display = ""));
231
94
  }
232
- window.setTimeout(function() {
233
- $.each(terms, function() {
234
- body.highlightText(this.toLowerCase(), 'highlighted');
235
- });
236
- }, 10);
237
- $('<p class="highlight-link"><a href="javascript:Documentation.' +
238
- 'hideSearchWords()">' + _('Hide Search Matches') + '</a></p>')
239
- .appendTo($('#searchbox'));
240
- }
241
- },
242
-
243
- /**
244
- * init the domain index toggle buttons
245
- */
246
- initIndexTable : function() {
247
- var togglers = $('img.toggler').click(function() {
248
- var src = $(this).attr('src');
249
- var idnum = $(this).attr('id').substr(7);
250
- $('tr.cg-' + idnum).toggle();
251
- if (src.substr(-9) === 'minus.png')
252
- $(this).attr('src', src.substr(0, src.length-9) + 'plus.png');
253
- else
254
- $(this).attr('src', src.substr(0, src.length-8) + 'minus.png');
255
- }).css('display', '');
256
- if (DOCUMENTATION_OPTIONS.COLLAPSE_INDEX) {
257
- togglers.click();
258
- }
259
- },
95
+ };
260
96
 
261
- /**
262
- * helper function to hide the search marks again
263
- */
264
- hideSearchWords : function() {
265
- $('#searchbox .highlight-link').fadeOut(300);
266
- $('span.highlighted').removeClass('highlighted');
97
+ const togglerElements = document.querySelectorAll("img.toggler");
98
+ togglerElements.forEach((el) =>
99
+ el.addEventListener("click", (event) => toggler(event.currentTarget))
100
+ );
101
+ togglerElements.forEach((el) => (el.style.display = ""));
102
+ if (DOCUMENTATION_OPTIONS.COLLAPSE_INDEX) togglerElements.forEach(toggler);
267
103
  },
268
104
 
269
- /**
270
- * make the url absolute
271
- */
272
- makeURL : function(relativeURL) {
273
- return DOCUMENTATION_OPTIONS.URL_ROOT + '/' + relativeURL;
274
- },
275
-
276
- /**
277
- * get the current relative url
278
- */
279
- getCurrentURL : function() {
280
- var path = document.location.pathname;
281
- var parts = path.split(/\//);
282
- $.each(DOCUMENTATION_OPTIONS.URL_ROOT.split(/\//), function() {
283
- if (this === '..')
284
- parts.pop();
285
- });
286
- var url = parts.join('/');
287
- return path.substring(url.lastIndexOf('/') + 1, path.length - 1);
288
- },
289
-
290
- initOnKeyListeners: function() {
291
- $(document).keydown(function(event) {
292
- var activeElementType = document.activeElement.tagName;
293
- // don't navigate when in search box, textarea, dropdown or button
294
- if (activeElementType !== 'TEXTAREA' && activeElementType !== 'INPUT' && activeElementType !== 'SELECT'
295
- && activeElementType !== 'BUTTON' && !event.altKey && !event.ctrlKey && !event.metaKey
296
- && !event.shiftKey) {
297
- switch (event.keyCode) {
298
- case 37: // left
299
- var prevHref = $('link[rel="prev"]').prop('href');
300
- if (prevHref) {
301
- window.location.href = prevHref;
302
- return false;
105
+ initOnKeyListeners: () => {
106
+ // only install a listener if it is really needed
107
+ if (
108
+ !DOCUMENTATION_OPTIONS.NAVIGATION_WITH_KEYS &&
109
+ !DOCUMENTATION_OPTIONS.ENABLE_SEARCH_SHORTCUTS
110
+ )
111
+ return;
112
+
113
+ document.addEventListener("keydown", (event) => {
114
+ // bail for input elements
115
+ if (BLACKLISTED_KEY_CONTROL_ELEMENTS.has(document.activeElement.tagName)) return;
116
+ // bail with special keys
117
+ if (event.altKey || event.ctrlKey || event.metaKey) return;
118
+
119
+ if (!event.shiftKey) {
120
+ switch (event.key) {
121
+ case "ArrowLeft":
122
+ if (!DOCUMENTATION_OPTIONS.NAVIGATION_WITH_KEYS) break;
123
+
124
+ const prevLink = document.querySelector('link[rel="prev"]');
125
+ if (prevLink && prevLink.href) {
126
+ window.location.href = prevLink.href;
127
+ event.preventDefault();
303
128
  }
304
129
  break;
305
- case 39: // right
306
- var nextHref = $('link[rel="next"]').prop('href');
307
- if (nextHref) {
308
- window.location.href = nextHref;
309
- return false;
130
+ case "ArrowRight":
131
+ if (!DOCUMENTATION_OPTIONS.NAVIGATION_WITH_KEYS) break;
132
+
133
+ const nextLink = document.querySelector('link[rel="next"]');
134
+ if (nextLink && nextLink.href) {
135
+ window.location.href = nextLink.href;
136
+ event.preventDefault();
310
137
  }
311
138
  break;
312
139
  }
313
140
  }
141
+
142
+ // some keyboard layouts may need Shift to get /
143
+ switch (event.key) {
144
+ case "/":
145
+ if (!DOCUMENTATION_OPTIONS.ENABLE_SEARCH_SHORTCUTS) break;
146
+ Documentation.focusSearchBar();
147
+ event.preventDefault();
148
+ }
314
149
  });
315
- }
150
+ },
316
151
  };
317
152
 
318
153
  // quick alias for translations
319
- _ = Documentation.gettext;
154
+ const _ = Documentation.gettext;
320
155
 
321
- $(document).ready(function() {
322
- Documentation.init();
323
- });
156
+ _ready(Documentation.init);
@@ -1,12 +1,13 @@
1
- var DOCUMENTATION_OPTIONS = {
2
- URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
3
- VERSION: '3.0.3',
4
- LANGUAGE: 'None',
1
+ const DOCUMENTATION_OPTIONS = {
2
+ VERSION: '3.2',
3
+ LANGUAGE: 'en',
5
4
  COLLAPSE_INDEX: false,
6
5
  BUILDER: 'html',
7
6
  FILE_SUFFIX: '.html',
8
7
  LINK_SUFFIX: '.html',
9
8
  HAS_SOURCE: true,
10
9
  SOURCELINK_SUFFIX: '.txt',
11
- NAVIGATION_WITH_KEYS: false
10
+ NAVIGATION_WITH_KEYS: false,
11
+ SHOW_SEARCH_SUMMARY: true,
12
+ ENABLE_SEARCH_SHORTCUTS: true,
12
13
  };