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
snappy/doc/genindex.html CHANGED
@@ -1,41 +1,87 @@
1
1
 
2
- <!DOCTYPE html>
3
2
 
4
- <html>
5
- <head>
6
- <meta charset="utf-8" />
7
- <meta name="viewport" content="width=device-width, initial-scale=1.0" />
8
- <title>Index &#8212; SnapPy 3.0.3 documentation</title>
9
- <link rel="stylesheet" type="text/css" href="_static/pygments.css" />
10
- <link rel="stylesheet" type="text/css" href="_static/classic.css" />
11
-
12
- <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js"></script>
13
- <script src="_static/jquery.js"></script>
14
- <script src="_static/underscore.js"></script>
15
- <script src="_static/doctools.js"></script>
16
-
3
+ <!DOCTYPE html>
4
+ <html class="writer-html5" lang="en" data-content_root="./">
5
+ <head>
6
+ <meta charset="utf-8" />
7
+ <meta name="viewport" content="width=device-width, initial-scale=1.0" />
8
+ <title>Index &mdash; SnapPy 3.2 documentation</title>
9
+ <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=fa44fd50" />
10
+ <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=e59714d7" />
11
+ <link rel="stylesheet" type="text/css" href="_static/snappy_sphinx_rtd_theme.css?v=1b8ec2a8" />
12
+
13
+
14
+ <link rel="shortcut icon" href="_static/SnapPy.ico"/>
15
+ <script src="_static/jquery.js?v=5d32c60e"></script>
16
+ <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
17
+ <script src="_static/documentation_options.js?v=828ea960"></script>
18
+ <script src="_static/doctools.js?v=9a2dae69"></script>
19
+ <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
20
+ <script src="_static/js/theme.js"></script>
17
21
  <link rel="index" title="Index" href="#" />
18
22
  <link rel="search" title="Search" href="search.html" />
19
- </head><body>
20
- <div class="related" role="navigation" aria-label="related navigation">
21
- <h3>Navigation</h3>
22
- <ul>
23
- <li class="right" style="margin-right: 10px">
24
- <a href="#" title="General Index"
25
- accesskey="I">index</a></li>
26
- <li class="right" >
27
- <a href="py-modindex.html" title="Python Module Index"
28
- >modules</a> |</li>
29
- <li class="nav-item nav-item-0"><a href="index.html">SnapPy 3.0.3 documentation</a> &#187;</li>
30
- <li class="nav-item nav-item-this"><a href="">Index</a></li>
31
- </ul>
32
- </div>
33
-
34
- <div class="document">
35
- <div class="documentwrapper">
36
- <div class="bodywrapper">
37
- <div class="body" role="main">
38
-
23
+ </head>
24
+
25
+ <body class="wy-body-for-nav">
26
+ <div class="wy-grid-for-nav">
27
+ <nav data-toggle="wy-nav-shift" class="wy-nav-side">
28
+ <div class="wy-side-scroll">
29
+ <div class="wy-side-nav-search" >
30
+
31
+
32
+
33
+ <a href="index.html" class="icon icon-home">
34
+ SnapPy
35
+ <img src="_static/SnapPy-horizontal-128.png" class="logo" alt="Logo"/>
36
+ </a>
37
+ <div role="search">
38
+ <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
39
+ <input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
40
+ <input type="hidden" name="check_keywords" value="yes" />
41
+ <input type="hidden" name="area" value="default" />
42
+ </form>
43
+ </div>
44
+ </div><div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="Navigation menu">
45
+ <ul>
46
+ <li class="toctree-l1"><a class="reference internal" href="installing.html">Installing SnapPy</a></li>
47
+ <li class="toctree-l1"><a class="reference internal" href="screenshots.html">Screenshots: SnapPy in action</a></li>
48
+ <li class="toctree-l1"><a class="reference internal" href="tutorial.html">Tutorial</a></li>
49
+ <li class="toctree-l1"><a class="reference internal" href="snappy.html">The snappy module and its classes</a></li>
50
+ <li class="toctree-l1"><a class="reference internal" href="plink.html">Using SnapPy’s link editor</a></li>
51
+ <li class="toctree-l1"><a class="reference internal" href="spherogram.html">Links: planar diagrams and invariants</a></li>
52
+ <li class="toctree-l1"><a class="reference internal" href="snap.html">Number theory of hyperbolic 3-manifolds</a></li>
53
+ <li class="toctree-l1"><a class="reference internal" href="verify.html">Verified computations</a></li>
54
+ <li class="toctree-l1"><a class="reference internal" href="other.html">Other components</a></li>
55
+ <li class="toctree-l1"><a class="reference internal" href="news.html">News</a></li>
56
+ <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
57
+ <li class="toctree-l1"><a class="reference internal" href="bugs.html">Reporting bugs and other problems</a></li>
58
+ <li class="toctree-l1"><a class="reference internal" href="todo.html">To Do List</a></li>
59
+ <li class="toctree-l1"><a class="reference internal" href="development.html">Development Basics</a></li>
60
+ </ul>
61
+
62
+ </div>
63
+ </div>
64
+ </nav>
65
+
66
+ <section data-toggle="wy-nav-shift" class="wy-nav-content-wrap"><nav class="wy-nav-top" aria-label="Mobile navigation menu" >
67
+ <i data-toggle="wy-nav-top" class="fa fa-bars"></i>
68
+ <a href="index.html">SnapPy</a>
69
+ </nav>
70
+
71
+ <div class="wy-nav-content">
72
+ <div class="rst-content">
73
+ <div role="navigation" aria-label="Page navigation">
74
+ <ul class="wy-breadcrumbs">
75
+ <li><a href="index.html" class="icon icon-home" aria-label="Home"></a></li>
76
+ <li class="breadcrumb-item active">Index</li>
77
+ <li class="wy-breadcrumbs-aside">
78
+ </li>
79
+ </ul>
80
+ <hr/>
81
+ </div>
82
+ <div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
83
+ <div itemprop="articleBody">
84
+
39
85
 
40
86
  <h1 id="index">Index</h1>
41
87
 
@@ -73,8 +119,6 @@
73
119
  <li><a href="additional_classes.html#snappy.AbelianGroup">AbelianGroup (class in snappy)</a>
74
120
  </li>
75
121
  <li><a href="additional_classes.html#snappy.SymmetryGroup.abelianization">abelianization() (snappy.SymmetryGroup method)</a>
76
- </li>
77
- <li><a href="verify_internals.html#snappy.verify.ComplexCuspCrossSection.add_vertex_positions_to_horotriangles">add_vertex_positions_to_horotriangles() (snappy.verify.ComplexCuspCrossSection method)</a>
78
122
  </li>
79
123
  <li><a href="spherogram.html#spherogram.Link.alexander_matrix">alexander_matrix() (spherogram.Link method)</a>
80
124
  </li>
@@ -91,8 +135,6 @@
91
135
  </ul></td>
92
136
  <td style="width: 33%; vertical-align: top;"><ul>
93
137
  <li><a href="spherogram.html#spherogram.Link.all_crossings_oriented">all_crossings_oriented() (spherogram.Link method)</a>
94
- </li>
95
- <li><a href="verify_internals.html#snappy.verify.ComplexCuspCrossSection.all_normalized_translations">all_normalized_translations() (snappy.verify.ComplexCuspCrossSection method)</a>
96
138
  </li>
97
139
  <li><a href="additional_classes.html#snappy.CuspNeighborhood.all_translations">all_translations() (snappy.CuspNeighborhood method)</a>
98
140
  </li>
@@ -127,6 +169,8 @@
127
169
  <li><a href="manifold.html#snappy.Manifold.canonical_retriangulation">canonical_retriangulation() (snappy.Manifold method)</a>
128
170
  </li>
129
171
  <li><a href="manifold.html#snappy.Manifold.canonize">canonize() (snappy.Manifold method)</a>
172
+ </li>
173
+ <li><a href="additional_classes.html#snappy.HolonomyGroup.category">category() (snappy.HolonomyGroup method)</a>
130
174
  </li>
131
175
  <li><a href="censuses.html#snappy.CensusKnots">CensusKnots (in module snappy)</a>
132
176
  </li>
@@ -144,35 +188,15 @@
144
188
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.Flattenings.check_against_manifold">(snappy.ptolemy.coordinates.Flattenings method)</a>
145
189
  </li>
146
190
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.PtolemyCoordinates.check_against_manifold">(snappy.ptolemy.coordinates.PtolemyCoordinates method)</a>
147
- </li>
148
- </ul></li>
149
- <li><a href="verify_internals.html#snappy.verify.ComplexCuspCrossSection.check_cusp_development_exactly">check_cusp_development_exactly() (snappy.verify.ComplexCuspCrossSection method)</a>
150
-
151
- <ul>
152
- <li><a href="verify_internals.html#snappy.verify.RealCuspCrossSection.check_cusp_development_exactly">(snappy.verify.RealCuspCrossSection method)</a>
153
191
  </li>
154
192
  </ul></li>
155
193
  <li><a href="additional_classes.html#snappy.CuspNeighborhood.check_index">check_index() (snappy.CuspNeighborhood method)</a>
156
194
  </li>
157
- <li><a href="verify_internals.html#snappy.verify.ComplexCuspCrossSection.check_logarithmic_edge_equations_and_positivity">check_logarithmic_edge_equations_and_positivity() (snappy.verify.ComplexCuspCrossSection method)</a>
158
-
159
- <ul>
160
- <li><a href="verify_internals.html#snappy.verify.RealCuspCrossSection.check_logarithmic_edge_equations_and_positivity">(snappy.verify.RealCuspCrossSection method)</a>
161
- </li>
162
- </ul></li>
163
- <li><a href="verify_internals.html#snappy.verify.verifyHyperbolicity.check_logarithmic_gluing_equations_and_positively_oriented_tets">check_logarithmic_gluing_equations_and_positively_oriented_tets() (in module snappy.verify.verifyHyperbolicity)</a>
164
- </li>
165
- <li><a href="verify_internals.html#snappy.verify.ComplexCuspCrossSection.check_polynomial_edge_equations_exactly">check_polynomial_edge_equations_exactly() (snappy.verify.ComplexCuspCrossSection method)</a>
166
-
167
- <ul>
168
- <li><a href="verify_internals.html#snappy.verify.RealCuspCrossSection.check_polynomial_edge_equations_exactly">(snappy.verify.RealCuspCrossSection method)</a>
195
+ <li><a href="verify_internals.html#snappy.verify.hyperbolicity.check_logarithmic_gluing_equations_and_positively_oriented_tets">check_logarithmic_gluing_equations_and_positively_oriented_tets() (in module snappy.verify.hyperbolicity)</a>
169
196
  </li>
170
- </ul></li>
171
197
  <li><a href="manifold.html#snappy.Manifold.chern_simons">chern_simons() (snappy.Manifold method)</a>
172
198
  </li>
173
199
  <li><a href="spherogram.html#spherogram.ClosedBraid">ClosedBraid (class in spherogram)</a>
174
- </li>
175
- <li><a href="additional_classes.html#snappy.AbelianGroup.coefficients">coefficients (snappy.AbelianGroup attribute)</a>
176
200
  </li>
177
201
  <li><a href="additional_classes.html#snappy.SymmetryGroup.commutator_subgroup">commutator_subgroup() (snappy.SymmetryGroup method)</a>
178
202
  </li>
@@ -186,36 +210,42 @@
186
210
  </ul></li>
187
211
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.PtolemyCoordinates.complex_volume_numerical">complex_volume_numerical() (snappy.ptolemy.coordinates.PtolemyCoordinates method)</a>
188
212
  </li>
189
- <li><a href="verify_internals.html#snappy.verify.ComplexCuspCrossSection">ComplexCuspCrossSection (class in snappy.verify)</a>
190
- </li>
191
- <li><a href="verify_internals.html#snappy.verify.squareExtensions.ComplexSqrtLinCombination">ComplexSqrtLinCombination (class in snappy.verify.squareExtensions)</a>
213
+ <li><a href="verify_internals.html#snappy.verify.square_extensions.ComplexSqrtLinCombination">ComplexSqrtLinCombination (class in snappy.verify.square_extensions)</a>
192
214
  </li>
193
215
  <li><a href="ptolemy_classes.html#snappy.ptolemy.ptolemyVariety.PtolemyVariety.compute_decomposition">compute_decomposition() (snappy.ptolemy.ptolemyVariety.PtolemyVariety method)</a>
194
216
  </li>
195
217
  <li><a href="ptolemy_classes.html#snappy.ptolemy.ptolemyVariety.PtolemyVariety.compute_solutions">compute_solutions() (snappy.ptolemy.ptolemyVariety.PtolemyVariety method)</a>
196
218
  </li>
197
- <li><a href="verify_internals.html#snappy.verify.RealCuspCrossSection.compute_tilts">compute_tilts() (snappy.verify.RealCuspCrossSection method)</a>
198
- </li>
199
- </ul></td>
200
- <td style="width: 33%; vertical-align: top;"><ul>
201
219
  <li><a href="spherogram.html#spherogram.Link.connected_sum">connected_sum() (spherogram.Link method)</a>
202
- </li>
203
- <li><a href="verify_internals.html#snappy.verify.exceptions.ConsistencyWithSnapPeaNumericalVerifyError">ConsistencyWithSnapPeaNumericalVerifyError</a>
204
- </li>
205
- <li><a href="verify_internals.html#snappy.verify.exceptions.ConsistencyWithSnapPeaType">ConsistencyWithSnapPeaType (class in snappy.verify.exceptions)</a>
206
220
  </li>
207
221
  <li><a href="manifold.html#snappy.Manifold.copy">copy() (snappy.Manifold method)</a>
208
222
 
209
223
  <ul>
224
+ <li><a href="triangulation.html#snappy.Triangulation.copy">(snappy.Triangulation method)</a>
225
+ </li>
210
226
  <li><a href="spherogram.html#spherogram.Link.copy">(spherogram.Link method)</a>
211
227
  </li>
212
228
  </ul></li>
229
+ </ul></td>
230
+ <td style="width: 33%; vertical-align: top;"><ul>
213
231
  <li><a href="manifold.html#snappy.Manifold.cover">cover() (snappy.Manifold method)</a>
232
+
233
+ <ul>
234
+ <li><a href="triangulation.html#snappy.Triangulation.cover">(snappy.Triangulation method)</a>
214
235
  </li>
236
+ </ul></li>
215
237
  <li><a href="manifold.html#snappy.Manifold.cover_info">cover_info() (snappy.Manifold method)</a>
238
+
239
+ <ul>
240
+ <li><a href="triangulation.html#snappy.Triangulation.cover_info">(snappy.Triangulation method)</a>
216
241
  </li>
242
+ </ul></li>
217
243
  <li><a href="manifold.html#snappy.Manifold.covers">covers() (snappy.Manifold method)</a>
244
+
245
+ <ul>
246
+ <li><a href="triangulation.html#snappy.Triangulation.covers">(snappy.Triangulation method)</a>
218
247
  </li>
248
+ </ul></li>
219
249
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.PtolemyCoordinates.cross_ratios">cross_ratios() (snappy.ptolemy.coordinates.PtolemyCoordinates method)</a>
220
250
  </li>
221
251
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.PtolemyCoordinates.cross_ratios_numerical">cross_ratios_numerical() (snappy.ptolemy.coordinates.PtolemyCoordinates method)</a>
@@ -237,26 +267,18 @@
237
267
  <li><a href="manifold.html#snappy.Manifold.cusp_area_matrix">cusp_area_matrix() (snappy.Manifold method)</a>
238
268
  </li>
239
269
  <li><a href="manifold.html#snappy.Manifold.cusp_areas">cusp_areas() (snappy.Manifold method)</a>
270
+ </li>
271
+ <li><a href="manifold.html#snappy.Manifold.cusp_info">cusp_info() (snappy.Manifold method)</a>
240
272
 
241
273
  <ul>
242
- <li><a href="verify_internals.html#snappy.verify.ComplexCuspCrossSection.cusp_areas">(snappy.verify.ComplexCuspCrossSection method)</a>
243
- </li>
244
- <li><a href="verify_internals.html#snappy.verify.RealCuspCrossSection.cusp_areas">(snappy.verify.RealCuspCrossSection method)</a>
274
+ <li><a href="triangulation.html#snappy.Triangulation.cusp_info">(snappy.Triangulation method)</a>
245
275
  </li>
246
276
  </ul></li>
247
- <li><a href="manifold.html#snappy.Manifold.cusp_info">cusp_info() (snappy.Manifold method)</a>
248
- </li>
249
277
  <li><a href="manifold.html#snappy.Manifold.cusp_neighborhood">cusp_neighborhood() (snappy.Manifold method)</a>
250
- </li>
251
- <li><a href="verify_internals.html#snappy.verify.ComplexCuspCrossSection.cusp_shapes">cusp_shapes() (snappy.verify.ComplexCuspCrossSection method)</a>
252
278
  </li>
253
279
  <li><a href="manifold.html#snappy.Manifold.cusp_translations">cusp_translations() (snappy.Manifold method)</a>
254
280
  </li>
255
281
  <li><a href="verify_internals.html#snappy.verify.exceptions.CuspConsistencyType">CuspConsistencyType (class in snappy.verify.exceptions)</a>
256
- </li>
257
- <li><a href="verify_internals.html#snappy.verify.exceptions.CuspDevelopmentExactVerifyError">CuspDevelopmentExactVerifyError</a>
258
- </li>
259
- <li><a href="verify_internals.html#snappy.verify.exceptions.CuspDevelopmentType">CuspDevelopmentType (class in snappy.verify.exceptions)</a>
260
282
  </li>
261
283
  <li><a href="verify_internals.html#snappy.verify.exceptions.CuspEquationExactVerifyError">CuspEquationExactVerifyError</a>
262
284
  </li>
@@ -277,7 +299,11 @@
277
299
  <li><a href="ptolemy_classes.html#snappy.ptolemy.ptolemyVariety.PtolemyVariety.degree_to_shapes">degree_to_shapes() (snappy.ptolemy.ptolemyVariety.PtolemyVariety method)</a>
278
300
  </li>
279
301
  <li><a href="manifold.html#snappy.Manifold.dehn_fill">dehn_fill() (snappy.Manifold method)</a>
302
+
303
+ <ul>
304
+ <li><a href="triangulation.html#snappy.Triangulation.dehn_fill">(snappy.Triangulation method)</a>
280
305
  </li>
306
+ </ul></li>
281
307
  <li><a href="spherogram.html#spherogram.Link.determinant">determinant() (spherogram.Link method)</a>
282
308
  </li>
283
309
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.PtolemyCoordinates.diamond_coordinate">diamond_coordinate() (snappy.ptolemy.coordinates.PtolemyCoordinates method)</a>
@@ -290,27 +316,37 @@
290
316
  </li>
291
317
  <li><a href="additional_classes.html#snappy.DirichletDomain">DirichletDomain (class in snappy)</a>
292
318
  </li>
293
- </ul></td>
294
- <td style="width: 33%; vertical-align: top;"><ul>
295
319
  <li><a href="platonic_census.html#snappy.DodecahedralNonorientableClosedCensus">DodecahedralNonorientableClosedCensus (in module snappy)</a>
296
320
  </li>
297
321
  <li><a href="platonic_census.html#snappy.DodecahedralNonorientableCuspedCensus">DodecahedralNonorientableCuspedCensus (in module snappy)</a>
298
322
  </li>
323
+ </ul></td>
324
+ <td style="width: 33%; vertical-align: top;"><ul>
299
325
  <li><a href="platonic_census.html#snappy.DodecahedralOrientableClosedCensus">DodecahedralOrientableClosedCensus (in module snappy)</a>
300
326
  </li>
301
327
  <li><a href="platonic_census.html#snappy.DodecahedralOrientableCuspedCensus">DodecahedralOrientableCuspedCensus (in module snappy)</a>
302
328
  </li>
303
329
  <li><a href="manifold.html#snappy.Manifold.drill">drill() (snappy.Manifold method)</a>
330
+ </li>
331
+ <li><a href="manifold.html#snappy.Manifold.drill_word">drill_word() (snappy.Manifold method)</a>
332
+ </li>
333
+ <li><a href="manifold.html#snappy.Manifold.drill_words">drill_words() (snappy.Manifold method)</a>
304
334
  </li>
305
335
  <li><a href="manifold.html#snappy.Manifold.DT_code">DT_code() (snappy.Manifold method)</a>
306
336
 
307
337
  <ul>
338
+ <li><a href="triangulation.html#snappy.Triangulation.DT_code">(snappy.Triangulation method)</a>
339
+ </li>
308
340
  <li><a href="spherogram.html#spherogram.Link.DT_code">(spherogram.Link method)</a>
309
341
  </li>
310
342
  </ul></li>
311
343
  <li><a href="manifold.html#snappy.Manifold.dual_curves">dual_curves() (snappy.Manifold method)</a>
312
344
  </li>
313
345
  <li><a href="spherogram.html#spherogram.Link.dual_graph">dual_graph() (spherogram.Link method)</a>
346
+ </li>
347
+ <li><a href="additional_classes.html#snappy.HolonomyGroup.dump">dump() (snappy.HolonomyGroup method)</a>
348
+ </li>
349
+ <li><a href="additional_classes.html#snappy.HolonomyGroup.dumps">dumps() (snappy.HolonomyGroup method)</a>
314
350
  </li>
315
351
  </ul></td>
316
352
  </tr></table>
@@ -321,7 +357,11 @@
321
357
  <li><a href="additional_classes.html#snappy.DirichletDomain.edge_list">edge_list() (snappy.DirichletDomain method)</a>
322
358
  </li>
323
359
  <li><a href="manifold.html#snappy.Manifold.edge_valences">edge_valences() (snappy.Manifold method)</a>
360
+
361
+ <ul>
362
+ <li><a href="triangulation.html#snappy.Triangulation.edge_valences">(snappy.Triangulation method)</a>
324
363
  </li>
364
+ </ul></li>
325
365
  <li><a href="verify_internals.html#snappy.verify.exceptions.EdgeEquationExactVerifyError">EdgeEquationExactVerifyError</a>
326
366
  </li>
327
367
  <li><a href="verify_internals.html#snappy.verify.exceptions.EdgeEquationLogLiftNumericalVerifyError">EdgeEquationLogLiftNumericalVerifyError</a>
@@ -330,20 +370,6 @@
330
370
  </li>
331
371
  <li><a href="additional_classes.html#snappy.AbelianGroup.elementary_divisors">elementary_divisors() (snappy.AbelianGroup method)</a>
332
372
  </li>
333
- <li><a href="verify_internals.html#snappy.verify.ComplexCuspCrossSection.ensure_disjoint_on_edges">ensure_disjoint_on_edges() (snappy.verify.ComplexCuspCrossSection method)</a>
334
-
335
- <ul>
336
- <li><a href="verify_internals.html#snappy.verify.RealCuspCrossSection.ensure_disjoint_on_edges">(snappy.verify.RealCuspCrossSection method)</a>
337
- </li>
338
- </ul></li>
339
- <li><a href="verify_internals.html#snappy.verify.ComplexCuspCrossSection.ensure_std_form">ensure_std_form() (snappy.verify.ComplexCuspCrossSection method)</a>
340
-
341
- <ul>
342
- <li><a href="verify_internals.html#snappy.verify.RealCuspCrossSection.ensure_std_form">(snappy.verify.RealCuspCrossSection method)</a>
343
- </li>
344
- </ul></li>
345
- </ul></td>
346
- <td style="width: 33%; vertical-align: top;"><ul>
347
373
  <li><a href="verify_internals.html#snappy.verify.exceptions.EquationType">EquationType (class in snappy.verify.exceptions)</a>
348
374
  </li>
349
375
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.CrossRatios.evaluate_word">evaluate_word() (snappy.ptolemy.coordinates.CrossRatios method)</a>
@@ -352,7 +378,9 @@
352
378
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.PtolemyCoordinates.evaluate_word">(snappy.ptolemy.coordinates.PtolemyCoordinates method)</a>
353
379
  </li>
354
380
  </ul></li>
355
- <li><a href="verify_internals.html#snappy.verify.verifyCanonical.exactly_checked_canonical_retriangulation">exactly_checked_canonical_retriangulation() (in module snappy.verify.verifyCanonical)</a>
381
+ </ul></td>
382
+ <td style="width: 33%; vertical-align: top;"><ul>
383
+ <li><a href="verify_internals.html#snappy.verify.canonical.exactly_checked_canonical_retriangulation">exactly_checked_canonical_retriangulation() (in module snappy.verify.canonical)</a>
356
384
  </li>
357
385
  <li><a href="verify_internals.html#snappy.verify.exceptions.ExactVerifyError">ExactVerifyError</a>
358
386
  </li>
@@ -366,6 +394,12 @@
366
394
  </li>
367
395
  <li><a href="spherogram.html#spherogram.Link.exterior">exterior() (spherogram.Link method)</a>
368
396
  </li>
397
+ <li><a href="manifold.html#snappy.Manifold.exterior_to_link">exterior_to_link() (snappy.Manifold method)</a>
398
+
399
+ <ul>
400
+ <li><a href="triangulation.html#snappy.Triangulation.exterior_to_link">(snappy.Triangulation method)</a>
401
+ </li>
402
+ </ul></li>
369
403
  </ul></td>
370
404
  </tr></table>
371
405
 
@@ -379,10 +413,14 @@
379
413
  <li><a href="ptolemy_classes.html#snappy.ptolemy.ptolemyVariety.PtolemyVariety.filename_base">filename_base() (snappy.ptolemy.ptolemyVariety.PtolemyVariety method)</a>
380
414
  </li>
381
415
  <li><a href="manifold.html#snappy.Manifold.filled_triangulation">filled_triangulation() (snappy.Manifold method)</a>
416
+
417
+ <ul>
418
+ <li><a href="triangulation.html#snappy.Triangulation.filled_triangulation">(snappy.Triangulation method)</a>
382
419
  </li>
420
+ </ul></li>
383
421
  <li><a href="censuses.html#snappy.database.ManifoldTable.find">find() (snappy.database.ManifoldTable method)</a>
384
422
  </li>
385
- <li><a href="verify_internals.html#snappy.verify.squareExtensions.find_shapes_as_complex_sqrt_lin_combinations">find_shapes_as_complex_sqrt_lin_combinations() (in module snappy.verify.squareExtensions)</a>
423
+ <li><a href="verify_internals.html#snappy.verify.square_extensions.find_shapes_as_complex_sqrt_lin_combinations">find_shapes_as_complex_sqrt_lin_combinations() (in module snappy.verify.square_extensions)</a>
386
424
  </li>
387
425
  </ul></td>
388
426
  <td style="width: 33%; vertical-align: top;"><ul>
@@ -395,11 +433,13 @@
395
433
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.CrossRatios.from_snappy_manifold">from_snappy_manifold() (snappy.ptolemy.coordinates.CrossRatios static method)</a>
396
434
  </li>
397
435
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.Flattenings.from_tetrahedra_shapes_of_manifold">from_tetrahedra_shapes_of_manifold() (snappy.ptolemy.coordinates.Flattenings class method)</a>
398
- </li>
399
- <li><a href="verify_internals.html#snappy.verify.RealCuspCrossSection.fromManifoldAndShapes">fromManifoldAndShapes() (snappy.verify.RealCuspCrossSection static method)</a>
400
436
  </li>
401
437
  <li><a href="manifold.html#snappy.Manifold.fundamental_group">fundamental_group() (snappy.Manifold method)</a>
438
+
439
+ <ul>
440
+ <li><a href="triangulation.html#snappy.Triangulation.fundamental_group">(snappy.Triangulation method)</a>
402
441
  </li>
442
+ </ul></li>
403
443
  </ul></td>
404
444
  </tr></table>
405
445
 
@@ -411,6 +451,8 @@
411
451
  <li><a href="additional_classes.html#snappy.HolonomyGroup.generators">generators() (snappy.HolonomyGroup method)</a>
412
452
  </li>
413
453
  <li><a href="additional_classes.html#snappy.HolonomyGroup.generators_in_originals">generators_in_originals() (snappy.HolonomyGroup method)</a>
454
+ </li>
455
+ <li><a href="additional_classes.html#snappy.HolonomyGroup.get_custom_name">get_custom_name() (snappy.HolonomyGroup method)</a>
414
456
  </li>
415
457
  <li><a href="additional_classes.html#snappy.CuspNeighborhood.get_displacement">get_displacement() (snappy.CuspNeighborhood method)</a>
416
458
  </li>
@@ -431,9 +473,17 @@
431
473
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.Flattenings.get_zpq_triple">get_zpq_triple() (snappy.ptolemy.coordinates.Flattenings method)</a>
432
474
  </li>
433
475
  <li><a href="manifold.html#snappy.Manifold.gluing_equations">gluing_equations() (snappy.Manifold method)</a>
476
+
477
+ <ul>
478
+ <li><a href="triangulation.html#snappy.Triangulation.gluing_equations">(snappy.Triangulation method)</a>
434
479
  </li>
480
+ </ul></li>
435
481
  <li><a href="manifold.html#snappy.Manifold.gluing_equations_pgl">gluing_equations_pgl() (snappy.Manifold method)</a>
482
+
483
+ <ul>
484
+ <li><a href="triangulation.html#snappy.Triangulation.gluing_equations_pgl">(snappy.Triangulation method)</a>
436
485
  </li>
486
+ </ul></li>
437
487
  <li><a href="spherogram.html#spherogram.Link.goeritz_matrix">goeritz_matrix() (spherogram.Link method)</a>
438
488
  </li>
439
489
  </ul></td>
@@ -443,7 +493,11 @@
443
493
  <table style="width: 100%" class="indextable genindextable"><tr>
444
494
  <td style="width: 33%; vertical-align: top;"><ul>
445
495
  <li><a href="manifold.html#snappy.Manifold.has_finite_vertices">has_finite_vertices() (snappy.Manifold method)</a>
496
+
497
+ <ul>
498
+ <li><a href="triangulation.html#snappy.Triangulation.has_finite_vertices">(snappy.Triangulation method)</a>
446
499
  </li>
500
+ </ul></li>
447
501
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.PtolemyCoordinates.has_obstruction">has_obstruction() (snappy.ptolemy.coordinates.PtolemyCoordinates method)</a>
448
502
  </li>
449
503
  <li><a href="manifold.html#snappy.Manifold.high_precision">high_precision() (snappy.Manifold method)</a>
@@ -461,15 +515,13 @@
461
515
  </ul></td>
462
516
  <td style="width: 33%; vertical-align: top;"><ul>
463
517
  <li><a href="manifold.html#snappy.Manifold.homology">homology() (snappy.Manifold method)</a>
464
- </li>
465
- <li><a href="additional_classes.html#snappy.CuspNeighborhood.horoballs">horoballs() (snappy.CuspNeighborhood method)</a>
466
- </li>
467
- <li><a href="verify_internals.html#snappy.verify.ComplexCuspCrossSection.HoroTriangle">HoroTriangle (snappy.verify.ComplexCuspCrossSection attribute)</a>
468
518
 
469
519
  <ul>
470
- <li><a href="verify_internals.html#snappy.verify.RealCuspCrossSection.HoroTriangle">(snappy.verify.RealCuspCrossSection attribute)</a>
520
+ <li><a href="triangulation.html#snappy.Triangulation.homology">(snappy.Triangulation method)</a>
471
521
  </li>
472
522
  </ul></li>
523
+ <li><a href="additional_classes.html#snappy.CuspNeighborhood.horoballs">horoballs() (snappy.CuspNeighborhood method)</a>
524
+ </li>
473
525
  <li><a href="censuses.html#snappy.HTLinkExteriors">HTLinkExteriors (in module snappy)</a>
474
526
  </li>
475
527
  <li><a href="manifold.html#snappy.Manifold.hyperbolic_adjoint_torsion">hyperbolic_adjoint_torsion() (snappy.Manifold method)</a>
@@ -494,19 +546,17 @@
494
546
  <li><a href="manifold.html#snappy.Manifold.identify">(snappy.Manifold method)</a>
495
547
  </li>
496
548
  </ul></li>
497
- <li><a href="verify_internals.html#snappy.verify.squareExtensions.ComplexSqrtLinCombination.imag">imag() (snappy.verify.squareExtensions.ComplexSqrtLinCombination method)</a>
549
+ <li><a href="verify_internals.html#snappy.verify.square_extensions.ComplexSqrtLinCombination.imag">imag() (snappy.verify.square_extensions.ComplexSqrtLinCombination method)</a>
498
550
  </li>
499
551
  <li><a href="additional_classes.html#snappy.DirichletDomain.in_radius">in_radius() (snappy.DirichletDomain method)</a>
500
552
  </li>
501
553
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.CrossRatios.induced_representation">induced_representation() (snappy.ptolemy.coordinates.CrossRatios method)</a>
502
554
  </li>
503
555
  <li><a href="verify_internals.html#snappy.verify.exceptions.InequalityNumericalVerifyError">InequalityNumericalVerifyError</a>
504
- </li>
505
- <li><a href="manifold.html#snappy.Manifold.init_hyperbolic_structure">init_hyperbolic_structure() (snappy.Manifold method)</a>
506
556
  </li>
507
557
  <li><a href="manifold.html#snappy.Manifold.inside_view">inside_view() (snappy.Manifold method)</a>
508
558
  </li>
509
- <li><a href="verify_internals.html#snappy.verify.verifyCanonical.interval_checked_canonical_triangulation">interval_checked_canonical_triangulation() (in module snappy.verify.verifyCanonical)</a>
559
+ <li><a href="verify_internals.html#snappy.verify.canonical.interval_checked_canonical_triangulation">interval_checked_canonical_triangulation() (in module snappy.verify.canonical)</a>
510
560
  </li>
511
561
  <li><a href="verify_internals.html#snappy.verify.IntervalNewtonShapesEngine.interval_vector_is_contained_in">interval_vector_is_contained_in() (snappy.verify.IntervalNewtonShapesEngine static method)</a>
512
562
 
@@ -532,12 +582,12 @@
532
582
  </li>
533
583
  <li><a href="additional_classes.html#snappy.SymmetryGroup.is_abelian">is_abelian() (snappy.SymmetryGroup method)</a>
534
584
  </li>
535
- </ul></td>
536
- <td style="width: 33%; vertical-align: top;"><ul>
537
585
  <li><a href="spherogram.html#spherogram.Link.is_alternating">is_alternating() (spherogram.Link method)</a>
538
586
  </li>
539
587
  <li><a href="additional_classes.html#snappy.SymmetryGroup.is_amphicheiral">is_amphicheiral() (snappy.SymmetryGroup method)</a>
540
588
  </li>
589
+ </ul></td>
590
+ <td style="width: 33%; vertical-align: top;"><ul>
541
591
  <li><a href="additional_classes.html#snappy.SymmetryGroup.is_dihedral">is_dihedral() (snappy.SymmetryGroup method)</a>
542
592
  </li>
543
593
  <li><a href="additional_classes.html#snappy.SymmetryGroup.is_direct_product">is_direct_product() (snappy.SymmetryGroup method)</a>
@@ -557,7 +607,11 @@
557
607
  <li><a href="manifold.html#snappy.Manifold.is_isometric_to">is_isometric_to() (snappy.Manifold method)</a>
558
608
  </li>
559
609
  <li><a href="manifold.html#snappy.Manifold.is_orientable">is_orientable() (snappy.Manifold method)</a>
610
+
611
+ <ul>
612
+ <li><a href="triangulation.html#snappy.Triangulation.is_orientable">(snappy.Triangulation method)</a>
560
613
  </li>
614
+ </ul></li>
561
615
  <li><a href="spherogram.html#spherogram.Link.is_planar">is_planar() (spherogram.Link method)</a>
562
616
  </li>
563
617
  <li><a href="additional_classes.html#snappy.SymmetryGroup.is_polyhedral">is_polyhedral() (snappy.SymmetryGroup method)</a>
@@ -575,7 +629,11 @@
575
629
  <li><a href="manifold.html#snappy.Manifold.isometry_signature">isometry_signature() (snappy.Manifold method)</a>
576
630
  </li>
577
631
  <li><a href="manifold.html#snappy.Manifold.isomorphisms_to">isomorphisms_to() (snappy.Manifold method)</a>
632
+
633
+ <ul>
634
+ <li><a href="triangulation.html#snappy.Triangulation.isomorphisms_to">(snappy.Triangulation method)</a>
578
635
  </li>
636
+ </ul></li>
579
637
  <li><a href="verify_internals.html#snappy.verify.exceptions.IsZeroExactVerifyError">IsZeroExactVerifyError</a>
580
638
  </li>
581
639
  </ul></td>
@@ -614,22 +672,28 @@
614
672
  <td style="width: 33%; vertical-align: top;"><ul>
615
673
  <li><a href="manifold.html#snappy.Manifold.length_spectrum">length_spectrum() (snappy.Manifold method)</a>
616
674
  </li>
617
- <li><a href="additional_classes.html#snappy.DirichletDomain.length_spectrum_dicts">length_spectrum_dicts() (snappy.DirichletDomain method)</a>
675
+ <li><a href="manifold.html#snappy.Manifold.length_spectrum_alt">length_spectrum_alt() (snappy.Manifold method)</a>
618
676
  </li>
619
- <li><a href="verify_internals.html#snappy.verify.ComplexCuspCrossSection.lift_vertex_positions_of_horotriangles">lift_vertex_positions_of_horotriangles() (snappy.verify.ComplexCuspCrossSection method)</a>
677
+ <li><a href="manifold.html#snappy.Manifold.length_spectrum_alt_gen">length_spectrum_alt_gen() (snappy.Manifold method)</a>
678
+ </li>
679
+ <li><a href="additional_classes.html#snappy.DirichletDomain.length_spectrum_dicts">length_spectrum_dicts() (snappy.DirichletDomain method)</a>
620
680
  </li>
621
681
  <li><a href="spherogram.html#spherogram.Link">Link (class in spherogram)</a>
622
682
  </li>
623
683
  <li><a href="manifold.html#snappy.Manifold.link">link() (snappy.Manifold method)</a>
684
+
685
+ <ul>
686
+ <li><a href="triangulation.html#snappy.Triangulation.link">(snappy.Triangulation method)</a>
624
687
  </li>
688
+ </ul></li>
625
689
  <li><a href="censuses.html#snappy.LinkExteriors">LinkExteriors (in module snappy)</a>
626
690
  </li>
627
691
  <li><a href="spherogram.html#spherogram.Link.linking_matrix">linking_matrix() (spherogram.Link method)</a>
628
- </li>
629
- <li><a href="spherogram.html#spherogram.Link.linking_number">linking_number() (spherogram.Link method)</a>
630
692
  </li>
631
693
  </ul></td>
632
694
  <td style="width: 33%; vertical-align: top;"><ul>
695
+ <li><a href="spherogram.html#spherogram.Link.linking_number">linking_number() (spherogram.Link method)</a>
696
+ </li>
633
697
  <li><a href="verify_internals.html#snappy.verify.IntervalNewtonShapesEngine.log_gluing_LHS_derivatives">log_gluing_LHS_derivatives() (snappy.verify.IntervalNewtonShapesEngine static method)</a>
634
698
 
635
699
  <ul>
@@ -671,8 +735,6 @@
671
735
  </li>
672
736
  </ul></li>
673
737
  <li><a href="censuses.html#snappy.database.ManifoldTable">ManifoldTable (class in snappy.database)</a>
674
- </li>
675
- <li><a href="verify_internals.html#snappy.verify.IntervalNewtonShapesEngine.mat_solve">mat_solve() (snappy.verify.IntervalNewtonShapesEngine static method)</a>
676
738
  </li>
677
739
  <li><a href="verify_internals.html#snappy.verify.KrawczykShapesEngine.matrix_times_sparse">matrix_times_sparse() (snappy.verify.KrawczykShapesEngine static method)</a>
678
740
  </li>
@@ -702,7 +764,7 @@
702
764
  </li>
703
765
  <li><a href="verify_internals.html#module-snappy.verify.exceptions">snappy.verify.exceptions</a>
704
766
  </li>
705
- <li><a href="verify_internals.html#module-snappy.verify.squareExtensions">snappy.verify.squareExtensions</a>
767
+ <li><a href="verify_internals.html#module-snappy.verify.square_extensions">snappy.verify.square_extensions</a>
706
768
  </li>
707
769
  <li><a href="spherogram.html#module-spherogram">spherogram</a>
708
770
  </li>
@@ -712,10 +774,6 @@
712
774
  <li><a href="spherogram.html#spherogram.Link.morse_diagram">morse_diagram() (spherogram.Link method)</a>
713
775
  </li>
714
776
  <li><a href="spherogram.html#spherogram.Link.morse_number">morse_number() (spherogram.Link method)</a>
715
- </li>
716
- <li><a href="verify_internals.html#snappy.verify.ComplexCuspCrossSection.move_fixed_point_to_zero">move_fixed_point_to_zero() (snappy.verify.ComplexCuspCrossSection method)</a>
717
- </li>
718
- <li><a href="verify_internals.html#snappy.verify.ComplexCuspCrossSection.move_lifted_vertex_positions_to_zero_first">move_lifted_vertex_positions_to_zero_first() (snappy.verify.ComplexCuspCrossSection method)</a>
719
777
  </li>
720
778
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.CrossRatios.multiply_and_simplify_terms_in_RUR">multiply_and_simplify_terms_in_RUR() (snappy.ptolemy.coordinates.CrossRatios method)</a>
721
779
 
@@ -746,15 +804,13 @@
746
804
  </li>
747
805
  </ul></li>
748
806
  <li><a href="manifold.html#snappy.Manifold.name">name() (snappy.Manifold method)</a>
749
- </li>
750
- <li><a href="verify_internals.html#snappy.verify.IntervalNewtonShapesEngine.newton_iteration">newton_iteration() (snappy.verify.IntervalNewtonShapesEngine static method)</a>
751
- </li>
752
- <li><a href="censuses.html#snappy.AlternatingKnotExteriors.next">next() (snappy.AlternatingKnotExteriors method)</a>
753
807
 
754
808
  <ul>
755
- <li><a href="censuses.html#snappy.NonalternatingKnotExteriors.next">(snappy.NonalternatingKnotExteriors method)</a>
809
+ <li><a href="triangulation.html#snappy.Triangulation.name">(snappy.Triangulation method)</a>
756
810
  </li>
757
811
  </ul></li>
812
+ <li><a href="verify_internals.html#snappy.verify.IntervalNewtonShapesEngine.newton_iteration">newton_iteration() (snappy.verify.IntervalNewtonShapesEngine static method)</a>
813
+ </li>
758
814
  <li><a href="censuses.html#snappy.NonalternatingKnotExteriors">NonalternatingKnotExteriors (class in snappy)</a>
759
815
  </li>
760
816
  <li><a href="censuses.html#snappy.NonorientableClosedCensus">NonorientableClosedCensus (in module snappy)</a>
@@ -775,20 +831,16 @@
775
831
  <li><a href="triangulation.html#snappy.Triangulation.normal_surfaces">(snappy.Triangulation method)</a>
776
832
  </li>
777
833
  </ul></li>
778
- <li><a href="verify_internals.html#snappy.verify.ComplexCuspCrossSection.normalize_cusps">normalize_cusps() (snappy.verify.ComplexCuspCrossSection method)</a>
779
-
780
- <ul>
781
- <li><a href="verify_internals.html#snappy.verify.RealCuspCrossSection.normalize_cusps">(snappy.verify.RealCuspCrossSection method)</a>
782
- </li>
783
- </ul></li>
784
- </ul></td>
785
- <td style="width: 33%; vertical-align: top;"><ul>
786
834
  <li><a href="additional_classes.html#snappy.CuspNeighborhood.num_cusps">num_cusps() (snappy.CuspNeighborhood method)</a>
787
835
 
788
836
  <ul>
789
837
  <li><a href="manifold.html#snappy.Manifold.num_cusps">(snappy.Manifold method)</a>
838
+ </li>
839
+ <li><a href="triangulation.html#snappy.Triangulation.num_cusps">(snappy.Triangulation method)</a>
790
840
  </li>
791
841
  </ul></li>
842
+ </ul></td>
843
+ <td style="width: 33%; vertical-align: top;"><ul>
792
844
  <li><a href="additional_classes.html#snappy.DirichletDomain.num_edges">num_edges() (snappy.DirichletDomain method)</a>
793
845
  </li>
794
846
  <li><a href="additional_classes.html#snappy.DirichletDomain.num_faces">num_faces() (snappy.DirichletDomain method)</a>
@@ -811,6 +863,8 @@
811
863
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.Flattenings.num_tetrahedra">(snappy.ptolemy.coordinates.Flattenings method)</a>
812
864
  </li>
813
865
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.PtolemyCoordinates.num_tetrahedra">(snappy.ptolemy.coordinates.PtolemyCoordinates method)</a>
866
+ </li>
867
+ <li><a href="triangulation.html#snappy.Triangulation.num_tetrahedra">(snappy.Triangulation method)</a>
814
868
  </li>
815
869
  </ul></li>
816
870
  <li><a href="additional_classes.html#snappy.DirichletDomain.num_vertices">num_vertices() (snappy.DirichletDomain method)</a>
@@ -845,14 +899,18 @@
845
899
  <li><a href="additional_classes.html#snappy.SymmetryGroup.order">(snappy.SymmetryGroup method)</a>
846
900
  </li>
847
901
  </ul></li>
848
- </ul></td>
849
- <td style="width: 33%; vertical-align: top;"><ul>
850
902
  <li><a href="censuses.html#snappy.OrientableClosedCensus">OrientableClosedCensus (in module snappy)</a>
851
903
  </li>
904
+ </ul></td>
905
+ <td style="width: 33%; vertical-align: top;"><ul>
852
906
  <li><a href="censuses.html#snappy.OrientableCuspedCensus">OrientableCuspedCensus (in module snappy)</a>
853
907
  </li>
854
908
  <li><a href="manifold.html#snappy.Manifold.orientation_cover">orientation_cover() (snappy.Manifold method)</a>
909
+
910
+ <ul>
911
+ <li><a href="triangulation.html#snappy.Triangulation.orientation_cover">(snappy.Triangulation method)</a>
855
912
  </li>
913
+ </ul></li>
856
914
  <li><a href="additional_classes.html#snappy.HolonomyGroup.original_generators">original_generators() (snappy.HolonomyGroup method)</a>
857
915
  </li>
858
916
  <li><a href="additional_classes.html#snappy.CuspNeighborhood.original_index">original_index() (snappy.CuspNeighborhood method)</a>
@@ -868,17 +926,23 @@
868
926
  <table style="width: 100%" class="indextable genindextable"><tr>
869
927
  <td style="width: 33%; vertical-align: top;"><ul>
870
928
  <li><a href="additional_classes.html#snappy.DirichletDomain.pairing_matrices">pairing_matrices() (snappy.DirichletDomain method)</a>
929
+ </li>
930
+ <li><a href="additional_classes.html#snappy.DirichletDomain.pairing_words">pairing_words() (snappy.DirichletDomain method)</a>
931
+ </li>
932
+ <li><a href="additional_classes.html#snappy.HolonomyGroup.parent">parent() (snappy.HolonomyGroup method)</a>
871
933
  </li>
872
934
  <li><a href="spherogram.html#spherogram.Link.PD_code">PD_code() (spherogram.Link method)</a>
873
935
  </li>
874
936
  <li><a href="spherogram.html#spherogram.Link.peer_code">peer_code() (spherogram.Link method)</a>
875
937
  </li>
876
938
  <li><a href="additional_classes.html#snappy.HolonomyGroup.peripheral_curves">peripheral_curves() (snappy.HolonomyGroup method)</a>
877
- </li>
878
- <li><a href="manifold.html#snappy.Manifold.pickle">pickle() (snappy.Manifold method)</a>
879
939
  </li>
880
940
  <li><a href="manifold.html#snappy.Manifold.plink">plink() (snappy.Manifold method)</a>
941
+
942
+ <ul>
943
+ <li><a href="triangulation.html#snappy.Triangulation.plink">(snappy.Triangulation method)</a>
881
944
  </li>
945
+ </ul></li>
882
946
  <li><a href="manifold.html#snappy.Manifold.polished_holonomy">polished_holonomy() (snappy.Manifold method)</a>
883
947
  </li>
884
948
  </ul></td>
@@ -886,11 +950,23 @@
886
950
  <li><a href="additional_classes.html#snappy.SymmetryGroup.polyhedral_description">polyhedral_description() (snappy.SymmetryGroup method)</a>
887
951
  </li>
888
952
  <li><a href="manifold.html#snappy.Manifold.ptolemy_generalized_obstruction_classes">ptolemy_generalized_obstruction_classes() (snappy.Manifold method)</a>
953
+
954
+ <ul>
955
+ <li><a href="triangulation.html#snappy.Triangulation.ptolemy_generalized_obstruction_classes">(snappy.Triangulation method)</a>
889
956
  </li>
957
+ </ul></li>
890
958
  <li><a href="manifold.html#snappy.Manifold.ptolemy_obstruction_classes">ptolemy_obstruction_classes() (snappy.Manifold method)</a>
959
+
960
+ <ul>
961
+ <li><a href="triangulation.html#snappy.Triangulation.ptolemy_obstruction_classes">(snappy.Triangulation method)</a>
891
962
  </li>
963
+ </ul></li>
892
964
  <li><a href="manifold.html#snappy.Manifold.ptolemy_variety">ptolemy_variety() (snappy.Manifold method)</a>
965
+
966
+ <ul>
967
+ <li><a href="triangulation.html#snappy.Triangulation.ptolemy_variety">(snappy.Triangulation method)</a>
893
968
  </li>
969
+ </ul></li>
894
970
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.PtolemyCoordinates">PtolemyCoordinates (class in snappy.ptolemy.coordinates)</a>
895
971
  </li>
896
972
  <li><a href="ptolemy_classes.html#snappy.ptolemy.ptolemyVariety.PtolemyVariety">PtolemyVariety (class in snappy.ptolemy.ptolemyVariety)</a>
@@ -906,7 +982,11 @@
906
982
  <li><a href="spherogram.html#spherogram.random_link">random_link() (in module spherogram)</a>
907
983
  </li>
908
984
  <li><a href="manifold.html#snappy.Manifold.randomize">randomize() (snappy.Manifold method)</a>
985
+
986
+ <ul>
987
+ <li><a href="triangulation.html#snappy.Triangulation.randomize">(snappy.Triangulation method)</a>
909
988
  </li>
989
+ </ul></li>
910
990
  <li><a href="additional_classes.html#snappy.AbelianGroup.rank">rank() (snappy.AbelianGroup method)</a>
911
991
  </li>
912
992
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.PtolemyCoordinates.ratio_coordinate">ratio_coordinate() (snappy.ptolemy.coordinates.PtolemyCoordinates method)</a>
@@ -915,16 +995,20 @@
915
995
  </li>
916
996
  </ul></td>
917
997
  <td style="width: 33%; vertical-align: top;"><ul>
918
- <li><a href="verify_internals.html#snappy.verify.RealCuspCrossSection.read_tilts">read_tilts() (snappy.verify.RealCuspCrossSection method)</a>
998
+ <li><a href="verify_internals.html#snappy.verify.square_extensions.ComplexSqrtLinCombination.real">real() (snappy.verify.square_extensions.ComplexSqrtLinCombination method)</a>
919
999
  </li>
920
- <li><a href="verify_internals.html#snappy.verify.squareExtensions.ComplexSqrtLinCombination.real">real() (snappy.verify.squareExtensions.ComplexSqrtLinCombination method)</a>
1000
+ <li><a href="additional_classes.html#snappy.HolonomyGroup.relators">relators() (snappy.HolonomyGroup method)</a>
921
1001
  </li>
922
- <li><a href="verify_internals.html#snappy.verify.RealCuspCrossSection">RealCuspCrossSection (class in snappy.verify)</a>
1002
+ <li><a href="additional_classes.html#snappy.HolonomyGroup.rename">rename() (snappy.HolonomyGroup method)</a>
923
1003
  </li>
924
- <li><a href="additional_classes.html#snappy.HolonomyGroup.relators">relators() (snappy.HolonomyGroup method)</a>
1004
+ <li><a href="additional_classes.html#snappy.HolonomyGroup.reset_name">reset_name() (snappy.HolonomyGroup method)</a>
925
1005
  </li>
926
1006
  <li><a href="manifold.html#snappy.Manifold.reverse_orientation">reverse_orientation() (snappy.Manifold method)</a>
1007
+
1008
+ <ul>
1009
+ <li><a href="triangulation.html#snappy.Triangulation.reverse_orientation">(snappy.Triangulation method)</a>
927
1010
  </li>
1011
+ </ul></li>
928
1012
  </ul></td>
929
1013
  </tr></table>
930
1014
 
@@ -938,13 +1022,11 @@
938
1022
  <li><a href="additional_classes.html#snappy.DirichletDomain.save">save() (snappy.DirichletDomain method)</a>
939
1023
 
940
1024
  <ul>
1025
+ <li><a href="additional_classes.html#snappy.HolonomyGroup.save">(snappy.HolonomyGroup method)</a>
1026
+ </li>
941
1027
  <li><a href="manifold.html#snappy.Manifold.save">(snappy.Manifold method)</a>
942
1028
  </li>
943
- </ul></li>
944
- <li><a href="verify_internals.html#snappy.verify.ComplexCuspCrossSection.scale_cusps">scale_cusps() (snappy.verify.ComplexCuspCrossSection method)</a>
945
-
946
- <ul>
947
- <li><a href="verify_internals.html#snappy.verify.RealCuspCrossSection.scale_cusps">(snappy.verify.RealCuspCrossSection method)</a>
1029
+ <li><a href="triangulation.html#snappy.Triangulation.save">(snappy.Triangulation method)</a>
948
1030
  </li>
949
1031
  </ul></li>
950
1032
  <li><a href="spherogram.html#spherogram.Link.seifert_matrix">seifert_matrix() (spherogram.Link method)</a>
@@ -952,9 +1034,17 @@
952
1034
  <li><a href="additional_classes.html#snappy.CuspNeighborhood.set_displacement">set_displacement() (snappy.CuspNeighborhood method)</a>
953
1035
  </li>
954
1036
  <li><a href="manifold.html#snappy.Manifold.set_name">set_name() (snappy.Manifold method)</a>
1037
+
1038
+ <ul>
1039
+ <li><a href="triangulation.html#snappy.Triangulation.set_name">(snappy.Triangulation method)</a>
955
1040
  </li>
1041
+ </ul></li>
956
1042
  <li><a href="manifold.html#snappy.Manifold.set_peripheral_curves">set_peripheral_curves() (snappy.Manifold method)</a>
1043
+
1044
+ <ul>
1045
+ <li><a href="triangulation.html#snappy.Triangulation.set_peripheral_curves">(snappy.Triangulation method)</a>
957
1046
  </li>
1047
+ </ul></li>
958
1048
  <li><a href="manifold.html#snappy.Manifold.set_target_holonomy">set_target_holonomy() (snappy.Manifold method)</a>
959
1049
  </li>
960
1050
  <li><a href="manifold.html#snappy.Manifold.set_tetrahedra_shapes">set_tetrahedra_shapes() (snappy.Manifold method)</a>
@@ -975,15 +1065,17 @@
975
1065
  </li>
976
1066
  <li><a href="censuses.html#snappy.database.ManifoldTable.siblings">siblings() (snappy.database.ManifoldTable method)</a>
977
1067
  </li>
978
- <li><a href="verify_internals.html#snappy.verify.squareExtensions.SqrtLinCombination.sign">sign() (snappy.verify.squareExtensions.SqrtLinCombination method)</a>
1068
+ <li><a href="verify_internals.html#snappy.verify.square_extensions.SqrtLinCombination.sign">sign() (snappy.verify.square_extensions.SqrtLinCombination method)</a>
979
1069
  </li>
980
- <li><a href="verify_internals.html#snappy.verify.squareExtensions.SqrtLinCombination.sign_with_interval">sign_with_interval() (snappy.verify.squareExtensions.SqrtLinCombination method)</a>
1070
+ <li><a href="verify_internals.html#snappy.verify.square_extensions.SqrtLinCombination.sign_with_interval">sign_with_interval() (snappy.verify.square_extensions.SqrtLinCombination method)</a>
981
1071
  </li>
982
1072
  <li><a href="spherogram.html#spherogram.Link.signature">signature() (spherogram.Link method)</a>
983
1073
  </li>
984
1074
  <li><a href="manifold.html#snappy.Manifold.simplify">simplify() (snappy.Manifold method)</a>
985
1075
 
986
1076
  <ul>
1077
+ <li><a href="triangulation.html#snappy.Triangulation.simplify">(snappy.Triangulation method)</a>
1078
+ </li>
987
1079
  <li><a href="spherogram.html#spherogram.Link.simplify">(spherogram.Link method)</a>
988
1080
  </li>
989
1081
  </ul></li>
@@ -1033,10 +1125,10 @@
1033
1125
  </li>
1034
1126
  </ul></li>
1035
1127
  <li>
1036
- snappy.verify.squareExtensions
1128
+ snappy.verify.square_extensions
1037
1129
 
1038
1130
  <ul>
1039
- <li><a href="verify_internals.html#module-snappy.verify.squareExtensions">module</a>
1131
+ <li><a href="verify_internals.html#module-snappy.verify.square_extensions">module</a>
1040
1132
  </li>
1041
1133
  </ul></li>
1042
1134
  <li><a href="manifold.html#snappy.Manifold.solution_type">solution_type() (snappy.Manifold method)</a>
@@ -1060,7 +1152,7 @@
1060
1152
  </li>
1061
1153
  <li><a href="manifold.html#snappy.Manifold.splitting_surfaces">splitting_surfaces() (snappy.Manifold method)</a>
1062
1154
  </li>
1063
- <li><a href="verify_internals.html#snappy.verify.squareExtensions.SqrtLinCombination">SqrtLinCombination (class in snappy.verify.squareExtensions)</a>
1155
+ <li><a href="verify_internals.html#snappy.verify.square_extensions.SqrtLinCombination">SqrtLinCombination (class in snappy.verify.square_extensions)</a>
1064
1156
  </li>
1065
1157
  <li><a href="additional_classes.html#snappy.CuspNeighborhood.stopper">stopper() (snappy.CuspNeighborhood method)</a>
1066
1158
  </li>
@@ -1074,6 +1166,12 @@
1074
1166
  </li>
1075
1167
  <li><a href="additional_classes.html#snappy.SymmetryGroup">SymmetryGroup (class in snappy)</a>
1076
1168
  </li>
1169
+ <li><a href="manifold.html#snappy.Manifold.symplectic_basis">symplectic_basis() (snappy.Manifold method)</a>
1170
+
1171
+ <ul>
1172
+ <li><a href="triangulation.html#snappy.Triangulation.symplectic_basis">(snappy.Triangulation method)</a>
1173
+ </li>
1174
+ </ul></li>
1077
1175
  </ul></td>
1078
1176
  </tr></table>
1079
1177
 
@@ -1098,10 +1196,10 @@
1098
1196
  </li>
1099
1197
  <li><a href="ptolemy_classes.html#snappy.ptolemy.ptolemyVariety.PtolemyVariety.to_magma">to_magma() (snappy.ptolemy.ptolemyVariety.PtolemyVariety method)</a>
1100
1198
  </li>
1101
- </ul></td>
1102
- <td style="width: 33%; vertical-align: top;"><ul>
1103
1199
  <li><a href="ptolemy_classes.html#snappy.ptolemy.ptolemyVariety.PtolemyVariety.to_magma_file">to_magma_file() (snappy.ptolemy.ptolemyVariety.PtolemyVariety method)</a>
1104
1200
  </li>
1201
+ </ul></td>
1202
+ <td style="width: 33%; vertical-align: top;"><ul>
1105
1203
  <li><a href="ptolemy_classes.html#snappy.ptolemy.coordinates.CrossRatios.to_PUR">to_PUR() (snappy.ptolemy.coordinates.CrossRatios method)</a>
1106
1204
 
1107
1205
  <ul>
@@ -1123,31 +1221,25 @@
1123
1221
  </li>
1124
1222
  </ul></li>
1125
1223
  <li><a href="manifold.html#snappy.Manifold.triangulation_isosig">triangulation_isosig() (snappy.Manifold method)</a>
1224
+
1225
+ <ul>
1226
+ <li><a href="triangulation.html#snappy.Triangulation.triangulation_isosig">(snappy.Triangulation method)</a>
1126
1227
  </li>
1228
+ </ul></li>
1127
1229
  </ul></td>
1128
1230
  </tr></table>
1129
1231
 
1130
1232
  <h2 id="U">U</h2>
1131
1233
  <table style="width: 100%" class="indextable genindextable"><tr>
1132
1234
  <td style="width: 33%; vertical-align: top;"><ul>
1133
- <li><a href="additional_classes.html#snappy.CuspNeighborhood.use_field_conversion">use_field_conversion() (snappy.CuspNeighborhood method)</a>
1134
-
1135
- <ul>
1136
- <li><a href="additional_classes.html#snappy.DirichletDomain.use_field_conversion">(snappy.DirichletDomain method)</a>
1137
- </li>
1138
- <li><a href="additional_classes.html#snappy.HolonomyGroup.use_field_conversion">(snappy.HolonomyGroup class method)</a>
1139
- </li>
1140
- <li><a href="manifold.html#snappy.Manifold.use_field_conversion">(snappy.Manifold method)</a>
1235
+ <li><a href="manifold.html#snappy.Manifold.use_field_conversion">use_field_conversion() (snappy.Manifold class method)</a>
1141
1236
  </li>
1142
- </ul></li>
1143
1237
  </ul></td>
1144
1238
  </tr></table>
1145
1239
 
1146
1240
  <h2 id="V">V</h2>
1147
1241
  <table style="width: 100%" class="indextable genindextable"><tr>
1148
1242
  <td style="width: 33%; vertical-align: top;"><ul>
1149
- <li><a href="verify_canon.html#snappy.verify.verified_canonical_retriangulation">verified_canonical_retriangulation() (in module snappy.verify)</a>
1150
- </li>
1151
1243
  <li><a href="manifold.html#snappy.Manifold.verify_hyperbolicity">verify_hyperbolicity() (snappy.Manifold method)</a>
1152
1244
  </li>
1153
1245
  <li><a href="verify_internals.html#snappy.verify.exceptions.VerifyErrorBase">VerifyErrorBase</a>
@@ -1157,8 +1249,6 @@
1157
1249
  <li><a href="additional_classes.html#snappy.CuspNeighborhood.view">view() (snappy.CuspNeighborhood method)</a>
1158
1250
 
1159
1251
  <ul>
1160
- <li><a href="additional_classes.html#snappy.DirichletDomain.view">(snappy.DirichletDomain method)</a>
1161
- </li>
1162
1252
  <li><a href="spherogram.html#spherogram.Link.view">(spherogram.Link method)</a>
1163
1253
  </li>
1164
1254
  </ul></li>
@@ -1187,7 +1277,11 @@
1187
1277
  <li><a href="spherogram.html#spherogram.Link.white_graph">white_graph() (spherogram.Link method)</a>
1188
1278
  </li>
1189
1279
  <li><a href="manifold.html#snappy.Manifold.with_hyperbolic_structure">with_hyperbolic_structure() (snappy.Manifold method)</a>
1280
+
1281
+ <ul>
1282
+ <li><a href="triangulation.html#snappy.Triangulation.with_hyperbolic_structure">(snappy.Triangulation method)</a>
1190
1283
  </li>
1284
+ </ul></li>
1191
1285
  </ul></td>
1192
1286
  <td style="width: 33%; vertical-align: top;"><ul>
1193
1287
  <li><a href="manifold.html#snappy.Manifold.without_hyperbolic_structure">without_hyperbolic_structure() (snappy.Manifold method)</a>
@@ -1207,42 +1301,31 @@
1207
1301
 
1208
1302
 
1209
1303
 
1210
- <div class="clearer"></div>
1304
+ </div>
1211
1305
  </div>
1306
+ <footer>
1307
+
1308
+ <hr/>
1309
+
1310
+ <div role="contentinfo">
1311
+ <p>&#169; Copyright 2009-2025, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
1312
+ </div>
1313
+
1314
+ Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
1315
+ <a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
1316
+ provided by <a href="https://readthedocs.org">Read the Docs</a>.
1317
+
1318
+
1319
+ </footer>
1212
1320
  </div>
1213
1321
  </div>
1214
- <div class="sphinxsidebar" role="navigation" aria-label="main navigation">
1215
- <div class="sphinxsidebarwrapper">
1216
- <div id="searchbox" style="display: none" role="search">
1217
- <h3 id="searchlabel">Quick search</h3>
1218
- <div class="searchformwrapper">
1219
- <form class="search" action="search.html" method="get">
1220
- <input type="text" name="q" aria-labelledby="searchlabel" autocomplete="off" autocorrect="off" autocapitalize="off" spellcheck="false"/>
1221
- <input type="submit" value="Go" />
1222
- </form>
1223
- </div>
1224
- </div>
1225
- <script>$('#searchbox').show(0);</script>
1226
- </div>
1227
- </div>
1228
- <div class="clearer"></div>
1229
- </div>
1230
- <div class="related" role="navigation" aria-label="related navigation">
1231
- <h3>Navigation</h3>
1232
- <ul>
1233
- <li class="right" style="margin-right: 10px">
1234
- <a href="#" title="General Index"
1235
- >index</a></li>
1236
- <li class="right" >
1237
- <a href="py-modindex.html" title="Python Module Index"
1238
- >modules</a> |</li>
1239
- <li class="nav-item nav-item-0"><a href="index.html">SnapPy 3.0.3 documentation</a> &#187;</li>
1240
- <li class="nav-item nav-item-this"><a href="">Index</a></li>
1241
- </ul>
1242
- </div>
1243
- <div class="footer" role="contentinfo">
1244
- &#169; Copyright 2009-2021, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.
1245
- Created using <a href="https://www.sphinx-doc.org/">Sphinx</a> 4.3.1.
1246
- </div>
1247
- </body>
1322
+ </section>
1323
+ </div>
1324
+ <script>
1325
+ jQuery(function () {
1326
+ SphinxRtdTheme.Navigation.enable(true);
1327
+ });
1328
+ </script>
1329
+
1330
+ </body>
1248
1331
  </html>