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/censuses.html CHANGED
@@ -1,53 +1,119 @@
1
1
 
2
+
2
3
  <!DOCTYPE html>
4
+ <html class="writer-html5" lang="en" data-content_root="./">
5
+ <head>
6
+ <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
3
7
 
4
- <html>
5
- <head>
6
- <meta charset="utf-8" />
7
- <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.17.1: http://docutils.sourceforge.net/" />
8
+ <meta name="viewport" content="width=device-width, initial-scale=1.0" />
9
+ <title>Census manifolds &mdash; SnapPy 3.2 documentation</title>
10
+ <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=fa44fd50" />
11
+ <link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=e59714d7" />
12
+ <link rel="stylesheet" type="text/css" href="_static/snappy_sphinx_rtd_theme.css?v=1b8ec2a8" />
8
13
 
9
- <title>Census manifolds &#8212; SnapPy 3.0.3 documentation</title>
10
- <link rel="stylesheet" type="text/css" href="_static/pygments.css" />
11
- <link rel="stylesheet" type="text/css" href="_static/classic.css" />
12
-
13
- <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js"></script>
14
- <script src="_static/jquery.js"></script>
15
- <script src="_static/underscore.js"></script>
16
- <script src="_static/doctools.js"></script>
17
-
14
+
15
+ <link rel="shortcut icon" href="_static/SnapPy.ico"/>
16
+ <script src="_static/jquery.js?v=5d32c60e"></script>
17
+ <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
18
+ <script src="_static/documentation_options.js?v=828ea960"></script>
19
+ <script src="_static/doctools.js?v=9a2dae69"></script>
20
+ <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
21
+ <script src="_static/js/theme.js"></script>
18
22
  <link rel="index" title="Index" href="genindex.html" />
19
23
  <link rel="search" title="Search" href="search.html" />
20
24
  <link rel="next" title="Censuses of Platonic manifolds" href="platonic_census.html" />
21
25
  <link rel="prev" title="Additional Classes" href="additional_classes.html" />
22
- </head><body>
23
- <div class="related" role="navigation" aria-label="related navigation">
24
- <h3>Navigation</h3>
25
- <ul>
26
- <li class="right" style="margin-right: 10px">
27
- <a href="genindex.html" title="General Index"
28
- accesskey="I">index</a></li>
29
- <li class="right" >
30
- <a href="py-modindex.html" title="Python Module Index"
31
- >modules</a> |</li>
32
- <li class="right" >
33
- <a href="platonic_census.html" title="Censuses of Platonic manifolds"
34
- accesskey="N">next</a> |</li>
35
- <li class="right" >
36
- <a href="additional_classes.html" title="Additional Classes"
37
- accesskey="P">previous</a> |</li>
38
- <li class="nav-item nav-item-0"><a href="index.html">SnapPy 3.0.3 documentation</a> &#187;</li>
39
- <li class="nav-item nav-item-1"><a href="snappy.html" accesskey="U">The snappy module and its classes</a> &#187;</li>
40
- <li class="nav-item nav-item-this"><a href="">Census manifolds</a></li>
41
- </ul>
42
- </div>
26
+ </head>
27
+
28
+ <body class="wy-body-for-nav">
29
+ <div class="wy-grid-for-nav">
30
+ <nav data-toggle="wy-nav-shift" class="wy-nav-side">
31
+ <div class="wy-side-scroll">
32
+ <div class="wy-side-nav-search" >
33
+
34
+
35
+
36
+ <a href="index.html" class="icon icon-home">
37
+ SnapPy
38
+ <img src="_static/SnapPy-horizontal-128.png" class="logo" alt="Logo"/>
39
+ </a>
40
+ <div role="search">
41
+ <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
42
+ <input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
43
+ <input type="hidden" name="check_keywords" value="yes" />
44
+ <input type="hidden" name="area" value="default" />
45
+ </form>
46
+ </div>
47
+ </div><div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="Navigation menu">
48
+ <ul class="current">
49
+ <li class="toctree-l1"><a class="reference internal" href="installing.html">Installing SnapPy</a></li>
50
+ <li class="toctree-l1"><a class="reference internal" href="screenshots.html">Screenshots: SnapPy in action</a></li>
51
+ <li class="toctree-l1"><a class="reference internal" href="tutorial.html">Tutorial</a></li>
52
+ <li class="toctree-l1 current"><a class="reference internal" href="snappy.html">The snappy module and its classes</a><ul class="current">
53
+ <li class="toctree-l2"><a class="reference internal" href="manifold.html">Manifold: the main class</a></li>
54
+ <li class="toctree-l2"><a class="reference internal" href="manifoldhp.html">ManifoldHP: High-precision variant</a></li>
55
+ <li class="toctree-l2"><a class="reference internal" href="triangulation.html">Triangulation</a></li>
56
+ <li class="toctree-l2"><a class="reference internal" href="additional_classes.html">Additional Classes</a></li>
57
+ <li class="toctree-l2 current"><a class="current reference internal" href="#">Census manifolds</a><ul>
58
+ <li class="toctree-l3"><a class="reference internal" href="#snappy.OrientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">OrientableCuspedCensus</span></code></a></li>
59
+ <li class="toctree-l3"><a class="reference internal" href="#snappy.OrientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">OrientableClosedCensus</span></code></a></li>
60
+ <li class="toctree-l3"><a class="reference internal" href="#snappy.CensusKnots"><code class="docutils literal notranslate"><span class="pre">CensusKnots</span></code></a></li>
61
+ <li class="toctree-l3"><a class="reference internal" href="#snappy.LinkExteriors"><code class="docutils literal notranslate"><span class="pre">LinkExteriors</span></code></a></li>
62
+ <li class="toctree-l3"><a class="reference internal" href="#snappy.HTLinkExteriors"><code class="docutils literal notranslate"><span class="pre">HTLinkExteriors</span></code></a></li>
63
+ <li class="toctree-l3"><a class="reference internal" href="#snappy.NonorientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">NonorientableCuspedCensus</span></code></a></li>
64
+ <li class="toctree-l3"><a class="reference internal" href="#snappy.NonorientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">NonorientableClosedCensus</span></code></a></li>
65
+ <li class="toctree-l3"><a class="reference internal" href="platonic_census.html">Censuses of Platonic manifolds</a></li>
66
+ <li class="toctree-l3"><a class="reference internal" href="#snappy.database.ManifoldTable"><code class="docutils literal notranslate"><span class="pre">ManifoldTable</span></code></a><ul>
67
+ <li class="toctree-l4"><a class="reference internal" href="#snappy.database.ManifoldTable.find"><code class="docutils literal notranslate"><span class="pre">ManifoldTable.find()</span></code></a></li>
68
+ <li class="toctree-l4"><a class="reference internal" href="#snappy.database.ManifoldTable.identify"><code class="docutils literal notranslate"><span class="pre">ManifoldTable.identify()</span></code></a></li>
69
+ <li class="toctree-l4"><a class="reference internal" href="#snappy.database.ManifoldTable.keys"><code class="docutils literal notranslate"><span class="pre">ManifoldTable.keys()</span></code></a></li>
70
+ <li class="toctree-l4"><a class="reference internal" href="#snappy.database.ManifoldTable.siblings"><code class="docutils literal notranslate"><span class="pre">ManifoldTable.siblings()</span></code></a></li>
71
+ </ul>
72
+ </li>
73
+ <li class="toctree-l3"><a class="reference internal" href="#snappy.AlternatingKnotExteriors"><code class="docutils literal notranslate"><span class="pre">AlternatingKnotExteriors</span></code></a></li>
74
+ <li class="toctree-l3"><a class="reference internal" href="#snappy.NonalternatingKnotExteriors"><code class="docutils literal notranslate"><span class="pre">NonalternatingKnotExteriors</span></code></a></li>
75
+ </ul>
76
+ </li>
77
+ </ul>
78
+ </li>
79
+ <li class="toctree-l1"><a class="reference internal" href="plink.html">Using SnapPy’s link editor</a></li>
80
+ <li class="toctree-l1"><a class="reference internal" href="spherogram.html">Links: planar diagrams and invariants</a></li>
81
+ <li class="toctree-l1"><a class="reference internal" href="snap.html">Number theory of hyperbolic 3-manifolds</a></li>
82
+ <li class="toctree-l1"><a class="reference internal" href="verify.html">Verified computations</a></li>
83
+ <li class="toctree-l1"><a class="reference internal" href="other.html">Other components</a></li>
84
+ <li class="toctree-l1"><a class="reference internal" href="news.html">News</a></li>
85
+ <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
86
+ <li class="toctree-l1"><a class="reference internal" href="bugs.html">Reporting bugs and other problems</a></li>
87
+ <li class="toctree-l1"><a class="reference internal" href="todo.html">To Do List</a></li>
88
+ <li class="toctree-l1"><a class="reference internal" href="development.html">Development Basics</a></li>
89
+ </ul>
43
90
 
44
- <div class="document">
45
- <div class="documentwrapper">
46
- <div class="bodywrapper">
47
- <div class="body" role="main">
48
-
91
+ </div>
92
+ </div>
93
+ </nav>
94
+
95
+ <section data-toggle="wy-nav-shift" class="wy-nav-content-wrap"><nav class="wy-nav-top" aria-label="Mobile navigation menu" >
96
+ <i data-toggle="wy-nav-top" class="fa fa-bars"></i>
97
+ <a href="index.html">SnapPy</a>
98
+ </nav>
99
+
100
+ <div class="wy-nav-content">
101
+ <div class="rst-content">
102
+ <div role="navigation" aria-label="Page navigation">
103
+ <ul class="wy-breadcrumbs">
104
+ <li><a href="index.html" class="icon icon-home" aria-label="Home"></a></li>
105
+ <li class="breadcrumb-item"><a href="snappy.html">The snappy module and its classes</a></li>
106
+ <li class="breadcrumb-item active">Census manifolds</li>
107
+ <li class="wy-breadcrumbs-aside">
108
+ </li>
109
+ </ul>
110
+ <hr/>
111
+ </div>
112
+ <div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
113
+ <div itemprop="articleBody">
114
+
49
115
  <section id="census-manifolds">
50
- <h1>Census manifolds<a class="headerlink" href="#census-manifolds" title="Permalink to this headline">¶</a></h1>
116
+ <h1>Census manifolds<a class="headerlink" href="#census-manifolds" title="Link to this heading"></a></h1>
51
117
  <p>Snappy comes with a large library of manifolds, which can be accessed
52
118
  individually through the Manifold and Triangulation constructors but
53
119
  can also be iterated through using the objects described on this
@@ -63,24 +129,24 @@ will return a copy of the census manifold which is isometric to the
63
129
  manifold passed as an argument.</p>
64
130
  <dl class="py data">
65
131
  <dt class="sig sig-object py" id="snappy.OrientableCuspedCensus">
66
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">OrientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">OrientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.OrientableCuspedCensus" title="Permalink to this definition">¶</a></dt>
132
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">OrientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">OrientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.OrientableCuspedCensus" title="Link to this definition"></a></dt>
67
133
  <dd><p>Iterator for all orientable cusped hyperbolic manifolds that
68
134
  can be triangulated with at most 9 ideal tetrahedra.</p>
69
- <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">M</span> <span class="ow">in</span> <span class="n">OrientableCuspedCensus</span><span class="p">[</span><span class="mi">3</span><span class="p">:</span><span class="mi">6</span><span class="p">]:</span> <span class="nb">print</span><span class="p">(</span><span class="n">M</span><span class="p">,</span> <span class="n">M</span><span class="o">.</span><span class="n">volume</span><span class="p">())</span>
135
+ <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">M</span> <span class="ow">in</span> <span class="n">OrientableCuspedCensus</span><span class="p">[</span><span class="mi">3</span><span class="p">:</span><span class="mi">6</span><span class="p">]:</span> <span class="nb">print</span><span class="p">(</span><span class="n">M</span><span class="p">,</span> <span class="n">M</span><span class="o">.</span><span class="n">volume</span><span class="p">())</span>
70
136
  <span class="gp">... </span>
71
137
  <span class="go">m007(0,0) 2.56897060</span>
72
138
  <span class="go">m009(0,0) 2.66674478</span>
73
139
  <span class="go">m010(0,0) 2.66674478</span>
74
- <span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">M</span> <span class="ow">in</span> <span class="n">OrientableCuspedCensus</span><span class="p">[</span><span class="o">-</span><span class="mi">9</span><span class="p">:</span><span class="o">-</span><span class="mi">6</span><span class="p">]:</span> <span class="nb">print</span><span class="p">(</span><span class="n">M</span><span class="p">,</span> <span class="n">M</span><span class="o">.</span><span class="n">volume</span><span class="p">())</span>
140
+ <span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">M</span> <span class="ow">in</span> <span class="n">OrientableCuspedCensus</span><span class="p">[</span><span class="o">-</span><span class="mi">9</span><span class="p">:</span><span class="o">-</span><span class="mi">6</span><span class="p">]:</span> <span class="nb">print</span><span class="p">(</span><span class="n">M</span><span class="p">,</span> <span class="n">M</span><span class="o">.</span><span class="n">volume</span><span class="p">())</span>
75
141
  <span class="gp">...</span>
76
142
  <span class="go">o9_44241(0,0) 8.96323909</span>
77
143
  <span class="go">o9_44242(0,0) 8.96736842</span>
78
144
  <span class="go">o9_44243(0,0) 8.96736842</span>
79
- <span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">M</span> <span class="ow">in</span> <span class="n">OrientableCuspedCensus</span><span class="p">[</span><span class="mf">4.10</span><span class="p">:</span><span class="mf">4.11</span><span class="p">]:</span> <span class="nb">print</span><span class="p">(</span><span class="n">M</span><span class="p">,</span> <span class="n">M</span><span class="o">.</span><span class="n">volume</span><span class="p">())</span>
145
+ <span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">M</span> <span class="ow">in</span> <span class="n">OrientableCuspedCensus</span><span class="p">[</span><span class="mf">4.10</span><span class="p">:</span><span class="mf">4.11</span><span class="p">]:</span> <span class="nb">print</span><span class="p">(</span><span class="n">M</span><span class="p">,</span> <span class="n">M</span><span class="o">.</span><span class="n">volume</span><span class="p">())</span>
80
146
  <span class="gp">... </span>
81
147
  <span class="go">m217(0,0) 4.10795310</span>
82
148
  <span class="go">m218(0,0) 4.10942659</span>
83
- <span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">M</span> <span class="ow">in</span> <span class="n">OrientableCuspedCensus</span><span class="p">(</span><span class="n">num_cusps</span><span class="o">=</span><span class="mi">2</span><span class="p">)[:</span><span class="mi">3</span><span class="p">]:</span>
149
+ <span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">M</span> <span class="ow">in</span> <span class="n">OrientableCuspedCensus</span><span class="p">(</span><span class="n">num_cusps</span><span class="o">=</span><span class="mi">2</span><span class="p">)[:</span><span class="mi">3</span><span class="p">]:</span>
84
150
  <span class="gp">... </span> <span class="nb">print</span><span class="p">(</span><span class="n">M</span><span class="p">,</span> <span class="n">M</span><span class="o">.</span><span class="n">volume</span><span class="p">(),</span> <span class="n">M</span><span class="o">.</span><span class="n">num_cusps</span><span class="p">())</span>
85
151
  <span class="gp">... </span>
86
152
  <span class="go">m125(0,0)(0,0) 3.66386238 2</span>
@@ -97,7 +163,7 @@ can be triangulated with at most 9 ideal tetrahedra.</p>
97
163
 
98
164
  <dl class="py data">
99
165
  <dt class="sig sig-object py" id="snappy.OrientableClosedCensus">
100
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">OrientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">OrientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.OrientableClosedCensus" title="Permalink to this definition">¶</a></dt>
166
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">OrientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">OrientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.OrientableClosedCensus" title="Link to this definition"></a></dt>
101
167
  <dd><p>Iterator for 11,031 closed hyperbolic manifolds from the census by
102
168
  Hodgson and Weeks.</p>
103
169
  <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="nb">len</span><span class="p">(</span><span class="n">OrientableClosedCensus</span><span class="p">)</span>
@@ -114,12 +180,12 @@ Hodgson and Weeks.</p>
114
180
 
115
181
  <dl class="py data">
116
182
  <dt class="sig sig-object py" id="snappy.CensusKnots">
117
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">CensusKnots</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">CensusKnots</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.CensusKnots" title="Permalink to this definition">¶</a></dt>
183
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">CensusKnots</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">CensusKnots</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.CensusKnots" title="Link to this definition"></a></dt>
118
184
  <dd><p>Iterator for all of the knot exteriors in the SnapPea Census,
119
185
  as tabulated by Callahan, Dean, Weeks, Champanerkar, Kofman,
120
186
  Patterson, and Dunfield. These are the knot exteriors which
121
187
  can be triangulated by at most 9 ideal tetrahedra.</p>
122
- <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">M</span> <span class="ow">in</span> <span class="n">CensusKnots</span><span class="p">[</span><span class="mf">3.4</span><span class="p">:</span><span class="mf">3.5</span><span class="p">]:</span>
188
+ <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">M</span> <span class="ow">in</span> <span class="n">CensusKnots</span><span class="p">[</span><span class="mf">3.4</span><span class="p">:</span><span class="mf">3.5</span><span class="p">]:</span>
123
189
  <span class="gp">... </span> <span class="nb">print</span><span class="p">(</span><span class="n">M</span><span class="p">,</span> <span class="n">M</span><span class="o">.</span><span class="n">volume</span><span class="p">(),</span> <span class="n">LinkExteriors</span><span class="o">.</span><span class="n">identify</span><span class="p">(</span><span class="n">M</span><span class="p">))</span>
124
190
  <span class="gp">... </span>
125
191
  <span class="go">K4_3(0,0) 3.47424776 False</span>
@@ -138,11 +204,11 @@ can be triangulated by at most 9 ideal tetrahedra.</p>
138
204
 
139
205
  <dl class="py data">
140
206
  <dt class="sig sig-object py" id="snappy.LinkExteriors">
141
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">LinkExteriors</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">LinkExteriors</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.LinkExteriors" title="Permalink to this definition">¶</a></dt>
207
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">LinkExteriors</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">LinkExteriors</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.LinkExteriors" title="Link to this definition"></a></dt>
142
208
  <dd><p>Iterator for all knots with at most 11 crossings and links with
143
209
  at most 10 crossings, using the Rolfsen notation. The triangulations
144
210
  were computed by Joe Christy.</p>
145
- <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">K</span> <span class="ow">in</span> <span class="n">LinkExteriors</span><span class="p">(</span><span class="n">num_cusps</span><span class="o">=</span><span class="mi">3</span><span class="p">)[</span><span class="o">-</span><span class="mi">3</span><span class="p">:]:</span>
211
+ <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">K</span> <span class="ow">in</span> <span class="n">LinkExteriors</span><span class="p">(</span><span class="n">num_cusps</span><span class="o">=</span><span class="mi">3</span><span class="p">)[</span><span class="o">-</span><span class="mi">3</span><span class="p">:]:</span>
146
212
  <span class="gp">... </span> <span class="nb">print</span><span class="p">(</span><span class="n">K</span><span class="p">,</span> <span class="n">K</span><span class="o">.</span><span class="n">volume</span><span class="p">())</span>
147
213
  <span class="gp">... </span>
148
214
  <span class="go">10^3_72(0,0)(0,0)(0,0) 14.35768903</span>
@@ -167,7 +233,7 @@ are taken to meridians.</p>
167
233
 
168
234
  <dl class="py data">
169
235
  <dt class="sig sig-object py" id="snappy.HTLinkExteriors">
170
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">HTLinkExteriors</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">HTLinkExteriors</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.HTLinkExteriors" title="Permalink to this definition">¶</a></dt>
236
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">HTLinkExteriors</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">HTLinkExteriors</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.HTLinkExteriors" title="Link to this definition"></a></dt>
171
237
  <dd><p>Iterator for all knots up to 14 or 15 crossings (see below for
172
238
  which) and links up to 14 crossings as tabulated by Jim Hoste
173
239
  and Morwen Thistlethwaite. In addition to the filter
@@ -182,7 +248,7 @@ number.</p>
182
248
  <span class="gp">&gt;&gt;&gt; </span><span class="n">Mylist</span> <span class="o">=</span> <span class="n">HTLinkExteriors</span><span class="p">(</span><span class="n">alternating</span><span class="o">=</span><span class="kc">False</span><span class="p">,</span><span class="n">knots_vs_links</span><span class="o">=</span><span class="s1">&#39;links&#39;</span><span class="p">)[</span><span class="mf">8.5</span><span class="p">:</span><span class="mf">8.7</span><span class="p">]</span>
183
249
  <span class="gp">&gt;&gt;&gt; </span><span class="nb">len</span><span class="p">(</span><span class="n">Mylist</span><span class="p">)</span>
184
250
  <span class="go">8</span>
185
- <span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">L</span> <span class="ow">in</span> <span class="n">Mylist</span><span class="p">:</span>
251
+ <span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">L</span> <span class="ow">in</span> <span class="n">Mylist</span><span class="p">:</span>
186
252
  <span class="gp">... </span> <span class="nb">print</span><span class="p">(</span> <span class="n">L</span><span class="o">.</span><span class="n">name</span><span class="p">(),</span> <span class="n">L</span><span class="o">.</span><span class="n">num_cusps</span><span class="p">(),</span> <span class="n">L</span><span class="o">.</span><span class="n">volume</span><span class="p">()</span> <span class="p">)</span>
187
253
  <span class="gp">... </span>
188
254
  <span class="go">L11n138 2 8.66421454</span>
@@ -220,8 +286,8 @@ the Python module ‘snappy_15_knots’ as discussed on the
220
286
 
221
287
  <dl class="py data">
222
288
  <dt class="sig sig-object py" id="snappy.NonorientableCuspedCensus">
223
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">NonorientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">NonorientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.NonorientableCuspedCensus" title="Permalink to this definition">¶</a></dt>
224
- <dd><p>Iterator for all orientable cusped hyperbolic manifolds that
289
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">NonorientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">NonorientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.NonorientableCuspedCensus" title="Link to this definition"></a></dt>
290
+ <dd><p>Iterator for all nonorientable cusped hyperbolic manifolds that
225
291
  can be triangulated with at most 5 ideal tetrahedra.</p>
226
292
  <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">M</span> <span class="ow">in</span> <span class="n">NonorientableCuspedCensus</span><span class="p">(</span><span class="n">betti</span><span class="o">=</span><span class="mi">2</span><span class="p">)[:</span><span class="mi">3</span><span class="p">]:</span>
227
293
  <span class="gp">... </span> <span class="nb">print</span><span class="p">(</span><span class="n">M</span><span class="p">,</span> <span class="n">M</span><span class="o">.</span><span class="n">homology</span><span class="p">())</span>
@@ -235,10 +301,10 @@ can be triangulated with at most 5 ideal tetrahedra.</p>
235
301
 
236
302
  <dl class="py data">
237
303
  <dt class="sig sig-object py" id="snappy.NonorientableClosedCensus">
238
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">NonorientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">NonorientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.NonorientableClosedCensus" title="Permalink to this definition">¶</a></dt>
304
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">NonorientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">NonorientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.NonorientableClosedCensus" title="Link to this definition"></a></dt>
239
305
  <dd><p>Iterator for 17 nonorientable closed hyperbolic manifolds from the
240
306
  census by Hodgson and Weeks.</p>
241
- <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">M</span> <span class="ow">in</span> <span class="n">NonorientableClosedCensus</span><span class="p">[:</span><span class="mi">3</span><span class="p">]:</span> <span class="nb">print</span><span class="p">(</span><span class="n">M</span><span class="p">,</span> <span class="n">M</span><span class="o">.</span><span class="n">volume</span><span class="p">())</span>
307
+ <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="k">for</span> <span class="n">M</span> <span class="ow">in</span> <span class="n">NonorientableClosedCensus</span><span class="p">[:</span><span class="mi">3</span><span class="p">]:</span> <span class="nb">print</span><span class="p">(</span><span class="n">M</span><span class="p">,</span> <span class="n">M</span><span class="o">.</span><span class="n">volume</span><span class="p">())</span>
242
308
  <span class="gp">... </span>
243
309
  <span class="go">m018(1,0) 2.02988321</span>
244
310
  <span class="go">m177(1,0) 2.56897060</span>
@@ -257,7 +323,7 @@ census by Hodgson and Weeks.</p>
257
323
  support the following methods.</p>
258
324
  <dl class="py class">
259
325
  <dt class="sig sig-object py" id="snappy.database.ManifoldTable">
260
- <em class="property"><span class="pre">class</span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">snappy.database.</span></span><span class="sig-name descname"><span class="pre">ManifoldTable</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">table=''</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">db_path=None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">mfld_hash=&lt;function</span> <span class="pre">mfld_hash&gt;</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">**filter_args</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.database.ManifoldTable" title="Permalink to this definition">¶</a></dt>
326
+ <em class="property"><span class="pre">class</span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">snappy.database.</span></span><span class="sig-name descname"><span class="pre">ManifoldTable</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">table=''</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">db_path=None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">mfld_hash=&lt;function</span> <span class="pre">mfld_hash&gt;</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">**filter_args</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.database.ManifoldTable" title="Link to this definition"></a></dt>
261
327
  <dd><p>Iterator for cusped manifolds in an sqlite3 table of manifolds.</p>
262
328
  <p>Initialize with the table name. The table schema is required to
263
329
  include a text field called ‘name’ and a text field called
@@ -272,7 +338,7 @@ is isometric to a manifold in the table T. The method
272
338
  T.identify(M) will return the matching manifold from the table.</p>
273
339
  <dl class="py method">
274
340
  <dt class="sig sig-object py" id="snappy.database.ManifoldTable.find">
275
- <span class="sig-name descname"><span class="pre">find</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">where</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">order_by</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">'id'</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">limit</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">offset</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.database.ManifoldTable.find" title="Permalink to this definition">¶</a></dt>
341
+ <span class="sig-name descname"><span class="pre">find</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">where</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">order_by</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">'id'</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">limit</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">offset</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.database.ManifoldTable.find" title="Link to this definition"></a></dt>
276
342
  <dd><p>Return a list of up to limit manifolds stored in this table,
277
343
  satisfying the where clause, and ordered by the order_by
278
344
  clause. If limit is None, all matching manifolds are
@@ -282,7 +348,7 @@ matches are skipped.</p>
282
348
 
283
349
  <dl class="py method">
284
350
  <dt class="sig sig-object py" id="snappy.database.ManifoldTable.identify">
285
- <span class="sig-name descname"><span class="pre">identify</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">mfld</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">extends_to_link</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.database.ManifoldTable.identify" title="Permalink to this definition">¶</a></dt>
351
+ <span class="sig-name descname"><span class="pre">identify</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">mfld</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">extends_to_link</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.database.ManifoldTable.identify" title="Link to this definition"></a></dt>
286
352
  <dd><p>Look for a manifold in this table which is isometric to the
287
353
  argument.</p>
288
354
  <p>Return the matching manifold, if there is one which SnapPea
@@ -296,13 +362,13 @@ this will result in no matches being returned.</p>
296
362
 
297
363
  <dl class="py method">
298
364
  <dt class="sig sig-object py" id="snappy.database.ManifoldTable.keys">
299
- <span class="sig-name descname"><span class="pre">keys</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.database.ManifoldTable.keys" title="Permalink to this definition">¶</a></dt>
365
+ <span class="sig-name descname"><span class="pre">keys</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.database.ManifoldTable.keys" title="Link to this definition"></a></dt>
300
366
  <dd><p>Return the list of column names for this manifold table.</p>
301
367
  </dd></dl>
302
368
 
303
369
  <dl class="py method">
304
370
  <dt class="sig sig-object py" id="snappy.database.ManifoldTable.siblings">
305
- <span class="sig-name descname"><span class="pre">siblings</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">mfld</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.database.ManifoldTable.siblings" title="Permalink to this definition">¶</a></dt>
371
+ <span class="sig-name descname"><span class="pre">siblings</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">mfld</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.database.ManifoldTable.siblings" title="Link to this definition"></a></dt>
306
372
  <dd><p>Return all manifolds in the census which have the same hash value.</p>
307
373
  </dd></dl>
308
374
 
@@ -313,87 +379,49 @@ can only iterate through slices by index, and do not provide
313
379
  the identification methods.</p>
314
380
  <dl class="py class">
315
381
  <dt class="sig sig-object py" id="snappy.AlternatingKnotExteriors">
316
- <em class="property"><span class="pre">class</span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">AlternatingKnotExteriors</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">indices</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">(0,</span> <span class="pre">491327,</span> <span class="pre">1)</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.AlternatingKnotExteriors" title="Permalink to this definition">¶</a></dt>
382
+ <em class="property"><span class="pre">class</span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">AlternatingKnotExteriors</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">indices</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">(0,</span> <span class="pre">491327,</span> <span class="pre">1)</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.AlternatingKnotExteriors" title="Link to this definition"></a></dt>
317
383
  <dd><p>Iterator/Sequence for Alternating knot exteriors from the
318
384
  Hoste-Thistlethwaite tables. Goes through 16 crossings.</p>
319
- <dl class="py method">
320
- <dt class="sig sig-object py" id="snappy.AlternatingKnotExteriors.next">
321
- <span class="sig-name descname"><span class="pre">next</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.AlternatingKnotExteriors.next" title="Permalink to this definition">¶</a></dt>
322
- <dd></dd></dl>
323
-
324
385
  </dd></dl>
325
386
 
326
387
  <dl class="py class">
327
388
  <dt class="sig sig-object py" id="snappy.NonalternatingKnotExteriors">
328
- <em class="property"><span class="pre">class</span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">NonalternatingKnotExteriors</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">indices</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">(0,</span> <span class="pre">1210608,</span> <span class="pre">1)</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.NonalternatingKnotExteriors" title="Permalink to this definition">¶</a></dt>
389
+ <em class="property"><span class="pre">class</span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">NonalternatingKnotExteriors</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">indices</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">(0,</span> <span class="pre">1210608,</span> <span class="pre">1)</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.NonalternatingKnotExteriors" title="Link to this definition"></a></dt>
329
390
  <dd><p>Iterator/Sequence for nonAlternating knot exteriors from the
330
391
  Hoste-Thistlethwaite tables. Goes through 16 crossings.</p>
331
- <dl class="py method">
332
- <dt class="sig sig-object py" id="snappy.NonalternatingKnotExteriors.next">
333
- <span class="sig-name descname"><span class="pre">next</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.NonalternatingKnotExteriors.next" title="Permalink to this definition">¶</a></dt>
334
- <dd></dd></dl>
335
-
336
392
  </dd></dl>
337
393
 
338
394
  </section>
339
395
 
340
396
 
341
- <div class="clearer"></div>
397
+ </div>
342
398
  </div>
343
- </div>
344
- </div>
345
- <div class="sphinxsidebar" role="navigation" aria-label="main navigation">
346
- <div class="sphinxsidebarwrapper">
347
- <h4>Previous topic</h4>
348
- <p class="topless"><a href="additional_classes.html"
349
- title="previous chapter">Additional Classes</a></p>
350
- <h4>Next topic</h4>
351
- <p class="topless"><a href="platonic_census.html"
352
- title="next chapter">Censuses of Platonic manifolds</a></p>
353
- <div role="note" aria-label="source link">
354
- <h3>This Page</h3>
355
- <ul class="this-page-menu">
356
- <li><a href="_sources/censuses.rst.txt"
357
- rel="nofollow">Show Source</a></li>
358
- </ul>
359
- </div>
360
- <div id="searchbox" style="display: none" role="search">
361
- <h3 id="searchlabel">Quick search</h3>
362
- <div class="searchformwrapper">
363
- <form class="search" action="search.html" method="get">
364
- <input type="text" name="q" aria-labelledby="searchlabel" autocomplete="off" autocorrect="off" autocapitalize="off" spellcheck="false"/>
365
- <input type="submit" value="Go" />
366
- </form>
399
+ <footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
400
+ <a href="additional_classes.html" class="btn btn-neutral float-left" title="Additional Classes" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
401
+ <a href="platonic_census.html" class="btn btn-neutral float-right" title="Censuses of Platonic manifolds" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
367
402
  </div>
368
- </div>
369
- <script>$('#searchbox').show(0);</script>
403
+
404
+ <hr/>
405
+
406
+ <div role="contentinfo">
407
+ <p>&#169; Copyright 2009-2025, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
408
+ </div>
409
+
410
+ Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
411
+ <a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
412
+ provided by <a href="https://readthedocs.org">Read the Docs</a>.
413
+
414
+
415
+ </footer>
370
416
  </div>
371
417
  </div>
372
- <div class="clearer"></div>
373
- </div>
374
- <div class="related" role="navigation" aria-label="related navigation">
375
- <h3>Navigation</h3>
376
- <ul>
377
- <li class="right" style="margin-right: 10px">
378
- <a href="genindex.html" title="General Index"
379
- >index</a></li>
380
- <li class="right" >
381
- <a href="py-modindex.html" title="Python Module Index"
382
- >modules</a> |</li>
383
- <li class="right" >
384
- <a href="platonic_census.html" title="Censuses of Platonic manifolds"
385
- >next</a> |</li>
386
- <li class="right" >
387
- <a href="additional_classes.html" title="Additional Classes"
388
- >previous</a> |</li>
389
- <li class="nav-item nav-item-0"><a href="index.html">SnapPy 3.0.3 documentation</a> &#187;</li>
390
- <li class="nav-item nav-item-1"><a href="snappy.html" >The snappy module and its classes</a> &#187;</li>
391
- <li class="nav-item nav-item-this"><a href="">Census manifolds</a></li>
392
- </ul>
393
- </div>
394
- <div class="footer" role="contentinfo">
395
- &#169; Copyright 2009-2021, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.
396
- Created using <a href="https://www.sphinx-doc.org/">Sphinx</a> 4.3.1.
397
- </div>
398
- </body>
418
+ </section>
419
+ </div>
420
+ <script>
421
+ jQuery(function () {
422
+ SphinxRtdTheme.Navigation.enable(true);
423
+ });
424
+ </script>
425
+
426
+ </body>
399
427
  </html>