snappy 3.1.1__cp38-cp38-win_amd64.whl → 3.2__cp38-cp38-win_amd64.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (476) hide show
  1. snappy/CyOpenGL.cp38-win_amd64.pyd +0 -0
  2. snappy/SnapPy.cp38-win_amd64.pyd +0 -0
  3. snappy/SnapPyHP.cp38-win_amd64.pyd +0 -0
  4. snappy/__init__.py +299 -402
  5. snappy/app.py +70 -20
  6. snappy/browser.py +18 -17
  7. snappy/canonical.py +249 -0
  8. snappy/{verify/cusp_shapes.py → cusps/__init__.py} +8 -18
  9. snappy/cusps/cusp_area_matrix.py +101 -0
  10. snappy/{verify/cusp_areas.py → cusps/cusp_areas_from_matrix.py} +23 -39
  11. snappy/cusps/maximal_cusp_area_matrix.py +136 -0
  12. snappy/cusps/test.py +21 -0
  13. snappy/cusps/trig_cusp_area_matrix.py +63 -0
  14. snappy/database.py +10 -9
  15. snappy/decorated_isosig.py +337 -114
  16. snappy/dev/extended_ptolemy/complexVolumesClosed.py +40 -7
  17. snappy/dev/extended_ptolemy/extended.py +3 -3
  18. snappy/dev/extended_ptolemy/phc_wrapper.py +10 -10
  19. snappy/dev/vericlosed/oneVertexTruncatedComplex.py +1 -1
  20. snappy/doc/_images/m004_paper_plane_on_systole.jpg +0 -0
  21. snappy/doc/_images/m125_paper_plane.jpg +0 -0
  22. snappy/doc/_images/o9_00000_systole_paper_plane.jpg +0 -0
  23. snappy/doc/_images/o9_00000_systole_paper_plane_closer.jpg +0 -0
  24. snappy/doc/_sources/additional_classes.rst.txt +40 -40
  25. snappy/doc/_sources/bugs.rst.txt +14 -14
  26. snappy/doc/_sources/censuses.rst.txt +51 -51
  27. snappy/doc/_sources/credits.rst.txt +75 -75
  28. snappy/doc/_sources/development.rst.txt +259 -239
  29. snappy/doc/_sources/index.rst.txt +182 -115
  30. snappy/doc/_sources/installing.rst.txt +247 -264
  31. snappy/doc/_sources/manifold.rst.txt +6 -6
  32. snappy/doc/_sources/manifoldhp.rst.txt +46 -46
  33. snappy/doc/_sources/news.rst.txt +355 -283
  34. snappy/doc/_sources/other.rst.txt +25 -25
  35. snappy/doc/_sources/platonic_census.rst.txt +20 -20
  36. snappy/doc/_sources/plink.rst.txt +102 -102
  37. snappy/doc/_sources/ptolemy.rst.txt +66 -66
  38. snappy/doc/_sources/ptolemy_classes.rst.txt +42 -42
  39. snappy/doc/_sources/ptolemy_examples1.rst.txt +298 -297
  40. snappy/doc/_sources/ptolemy_examples2.rst.txt +363 -363
  41. snappy/doc/_sources/ptolemy_examples3.rst.txt +301 -301
  42. snappy/doc/_sources/ptolemy_examples4.rst.txt +61 -61
  43. snappy/doc/_sources/ptolemy_prelim.rst.txt +105 -105
  44. snappy/doc/_sources/screenshots.rst.txt +21 -21
  45. snappy/doc/_sources/snap.rst.txt +87 -87
  46. snappy/doc/_sources/snappy.rst.txt +28 -28
  47. snappy/doc/_sources/spherogram.rst.txt +103 -103
  48. snappy/doc/_sources/todo.rst.txt +47 -47
  49. snappy/doc/_sources/triangulation.rst.txt +11 -11
  50. snappy/doc/_sources/tutorial.rst.txt +49 -49
  51. snappy/doc/_sources/verify.rst.txt +210 -150
  52. snappy/doc/_sources/verify_internals.rst.txt +79 -90
  53. snappy/doc/_static/basic.css +924 -902
  54. snappy/doc/_static/css/badge_only.css +1 -1
  55. snappy/doc/_static/css/theme.css +1 -1
  56. snappy/doc/_static/doctools.js +1 -1
  57. snappy/doc/_static/documentation_options.js +12 -13
  58. snappy/doc/_static/fonts/Lato/lato-bold.eot +0 -0
  59. snappy/doc/_static/fonts/Lato/lato-bold.ttf +0 -0
  60. snappy/doc/_static/fonts/Lato/lato-bold.woff +0 -0
  61. snappy/doc/_static/fonts/Lato/lato-bold.woff2 +0 -0
  62. snappy/doc/_static/fonts/Lato/lato-bolditalic.eot +0 -0
  63. snappy/doc/_static/fonts/Lato/lato-bolditalic.ttf +0 -0
  64. snappy/doc/_static/fonts/Lato/lato-bolditalic.woff +0 -0
  65. snappy/doc/_static/fonts/Lato/lato-bolditalic.woff2 +0 -0
  66. snappy/doc/_static/fonts/Lato/lato-italic.eot +0 -0
  67. snappy/doc/_static/fonts/Lato/lato-italic.ttf +0 -0
  68. snappy/doc/_static/fonts/Lato/lato-italic.woff +0 -0
  69. snappy/doc/_static/fonts/Lato/lato-italic.woff2 +0 -0
  70. snappy/doc/_static/fonts/Lato/lato-regular.eot +0 -0
  71. snappy/doc/_static/fonts/Lato/lato-regular.ttf +0 -0
  72. snappy/doc/_static/fonts/Lato/lato-regular.woff +0 -0
  73. snappy/doc/_static/fonts/Lato/lato-regular.woff2 +0 -0
  74. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.eot +0 -0
  75. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.ttf +0 -0
  76. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff +0 -0
  77. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff2 +0 -0
  78. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.eot +0 -0
  79. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.ttf +0 -0
  80. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff +0 -0
  81. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff2 +0 -0
  82. snappy/doc/_static/js/versions.js +228 -0
  83. snappy/doc/_static/language_data.js +199 -199
  84. snappy/doc/_static/pygments.css +74 -73
  85. snappy/doc/_static/searchtools.js +125 -71
  86. snappy/doc/_static/snappy_furo.css +33 -33
  87. snappy/doc/_static/snappy_sphinx_rtd_theme.css +42 -42
  88. snappy/doc/_static/sphinx_highlight.js +13 -3
  89. snappy/doc/additional_classes.html +1499 -1330
  90. snappy/doc/bugs.html +131 -134
  91. snappy/doc/censuses.html +426 -445
  92. snappy/doc/credits.html +180 -183
  93. snappy/doc/development.html +383 -363
  94. snappy/doc/genindex.html +1330 -1409
  95. snappy/doc/index.html +261 -206
  96. snappy/doc/installing.html +345 -363
  97. snappy/doc/manifold.html +3451 -2839
  98. snappy/doc/manifoldhp.html +179 -182
  99. snappy/doc/news.html +387 -329
  100. snappy/doc/objects.inv +0 -0
  101. snappy/doc/other.html +160 -162
  102. snappy/doc/platonic_census.html +374 -377
  103. snappy/doc/plink.html +209 -212
  104. snappy/doc/ptolemy.html +253 -255
  105. snappy/doc/ptolemy_classes.html +1143 -1146
  106. snappy/doc/ptolemy_examples1.html +408 -410
  107. snappy/doc/ptolemy_examples2.html +470 -473
  108. snappy/doc/ptolemy_examples3.html +413 -416
  109. snappy/doc/ptolemy_examples4.html +194 -197
  110. snappy/doc/ptolemy_prelim.html +247 -250
  111. snappy/doc/py-modindex.html +164 -167
  112. snappy/doc/screenshots.html +140 -142
  113. snappy/doc/search.html +134 -137
  114. snappy/doc/searchindex.js +1 -1
  115. snappy/doc/snap.html +201 -204
  116. snappy/doc/snappy.html +180 -182
  117. snappy/doc/spherogram.html +1210 -1213
  118. snappy/doc/todo.html +165 -168
  119. snappy/doc/triangulation.html +1583 -1474
  120. snappy/doc/tutorial.html +158 -161
  121. snappy/doc/verify.html +329 -275
  122. snappy/doc/verify_internals.html +1234 -1691
  123. snappy/drilling/__init__.py +153 -235
  124. snappy/drilling/barycentric.py +103 -0
  125. snappy/drilling/constants.py +0 -2
  126. snappy/drilling/crush.py +56 -130
  127. snappy/drilling/cusps.py +12 -6
  128. snappy/drilling/debug.py +2 -1
  129. snappy/drilling/exceptions.py +7 -40
  130. snappy/drilling/moves.py +302 -243
  131. snappy/drilling/perturb.py +63 -37
  132. snappy/drilling/shorten.py +36 -0
  133. snappy/drilling/subdivide.py +0 -5
  134. snappy/drilling/test.py +23 -0
  135. snappy/drilling/test_cases.py +126 -0
  136. snappy/drilling/tracing.py +9 -37
  137. snappy/exceptions.py +18 -5
  138. snappy/exterior_to_link/barycentric_geometry.py +2 -4
  139. snappy/exterior_to_link/main.py +8 -7
  140. snappy/exterior_to_link/mcomplex_with_link.py +2 -2
  141. snappy/exterior_to_link/rational_linear_algebra.py +1 -1
  142. snappy/exterior_to_link/rational_linear_algebra_wrapped.py +1 -1
  143. snappy/exterior_to_link/test.py +21 -33
  144. snappy/geometric_structure/__init__.py +212 -0
  145. snappy/geometric_structure/cusp_neighborhood/__init__.py +3 -0
  146. snappy/geometric_structure/cusp_neighborhood/complex_cusp_cross_section.py +697 -0
  147. snappy/geometric_structure/cusp_neighborhood/cusp_cross_section_base.py +484 -0
  148. snappy/geometric_structure/cusp_neighborhood/exceptions.py +42 -0
  149. snappy/geometric_structure/cusp_neighborhood/real_cusp_cross_section.py +298 -0
  150. snappy/geometric_structure/cusp_neighborhood/tiles_for_cusp_neighborhood.py +159 -0
  151. snappy/geometric_structure/cusp_neighborhood/vertices.py +32 -0
  152. snappy/geometric_structure/geodesic/__init__.py +0 -0
  153. snappy/geometric_structure/geodesic/add_core_curves.py +152 -0
  154. snappy/geometric_structure/geodesic/avoid_core_curves.py +369 -0
  155. snappy/geometric_structure/geodesic/canonical_keys.py +52 -0
  156. snappy/geometric_structure/geodesic/check_away_from_core_curve.py +60 -0
  157. snappy/geometric_structure/geodesic/constants.py +6 -0
  158. snappy/geometric_structure/geodesic/exceptions.py +22 -0
  159. snappy/{drilling → geometric_structure/geodesic}/fixed_points.py +34 -9
  160. snappy/{drilling/geodesic_info.py → geometric_structure/geodesic/geodesic_start_point_info.py} +139 -180
  161. snappy/geometric_structure/geodesic/graph_trace_helper.py +67 -0
  162. snappy/geometric_structure/geodesic/line.py +30 -0
  163. snappy/geometric_structure/geodesic/multiplicity.py +127 -0
  164. snappy/geometric_structure/geodesic/tiles_for_geodesic.py +101 -0
  165. snappy/geometric_structure/test.py +22 -0
  166. snappy/gui.py +23 -13
  167. snappy/horoviewer.py +7 -7
  168. snappy/hyperboloid/__init__.py +96 -31
  169. snappy/hyperboloid/distances.py +245 -0
  170. snappy/hyperboloid/horoball.py +19 -0
  171. snappy/hyperboloid/line.py +35 -0
  172. snappy/hyperboloid/point.py +9 -0
  173. snappy/hyperboloid/triangle.py +29 -0
  174. snappy/isometry_signature.py +382 -0
  175. snappy/len_spec/__init__.py +596 -0
  176. snappy/len_spec/geodesic_info.py +110 -0
  177. snappy/len_spec/geodesic_key_info_dict.py +117 -0
  178. snappy/len_spec/geodesic_piece.py +143 -0
  179. snappy/len_spec/geometric_structure.py +182 -0
  180. snappy/len_spec/geometry.py +80 -0
  181. snappy/len_spec/length_spectrum_geodesic_info.py +170 -0
  182. snappy/len_spec/spine.py +206 -0
  183. snappy/len_spec/test.py +24 -0
  184. snappy/len_spec/test_cases.py +69 -0
  185. snappy/len_spec/tile.py +275 -0
  186. snappy/len_spec/word.py +86 -0
  187. snappy/math_basics.py +39 -13
  188. snappy/matrix.py +52 -9
  189. snappy/number.py +12 -6
  190. snappy/numeric_output_checker.py +2 -3
  191. snappy/pari.py +8 -4
  192. snappy/phone_home.py +2 -1
  193. snappy/polyviewer.py +8 -8
  194. snappy/ptolemy/__init__.py +1 -1
  195. snappy/ptolemy/component.py +2 -2
  196. snappy/ptolemy/coordinates.py +25 -25
  197. snappy/ptolemy/findLoops.py +9 -9
  198. snappy/ptolemy/manifoldMethods.py +27 -29
  199. snappy/ptolemy/polynomial.py +50 -57
  200. snappy/ptolemy/processFileBase.py +60 -0
  201. snappy/ptolemy/ptolemyVariety.py +109 -41
  202. snappy/ptolemy/reginaWrapper.py +4 -4
  203. snappy/ptolemy/rur.py +1 -1
  204. snappy/ptolemy/solutionsToPrimeIdealGroebnerBasis.py +9 -9
  205. snappy/ptolemy/test.py +99 -54
  206. snappy/ptolemy/utilities.py +1 -1
  207. snappy/raytracing/__init__.py +64 -0
  208. snappy/raytracing/additional_horospheres.py +64 -0
  209. snappy/raytracing/additional_len_spec_choices.py +63 -0
  210. snappy/raytracing/cohomology_fractal.py +0 -3
  211. snappy/raytracing/eyeball.py +123 -0
  212. snappy/raytracing/finite_raytracing_data.py +17 -17
  213. snappy/raytracing/finite_viewer.py +15 -15
  214. snappy/raytracing/geodesic_tube_info.py +93 -63
  215. snappy/raytracing/geodesics.py +94 -64
  216. snappy/raytracing/geodesics_window.py +56 -34
  217. snappy/raytracing/gui_utilities.py +21 -6
  218. snappy/raytracing/hyperboloid_navigation.py +29 -4
  219. snappy/raytracing/hyperboloid_utilities.py +73 -73
  220. snappy/raytracing/ideal_raytracing_data.py +121 -91
  221. snappy/raytracing/inside_viewer.py +199 -66
  222. snappy/raytracing/pack.py +22 -0
  223. snappy/raytracing/raytracing_data.py +37 -25
  224. snappy/raytracing/raytracing_view.py +70 -65
  225. snappy/raytracing/shaders/Eye.png +0 -0
  226. snappy/raytracing/shaders/NonGeometric.png +0 -0
  227. snappy/raytracing/shaders/__init__.py +39 -3
  228. snappy/raytracing/shaders/fragment.glsl +451 -133
  229. snappy/raytracing/test.py +29 -0
  230. snappy/raytracing/tooltip.py +146 -0
  231. snappy/raytracing/upper_halfspace_utilities.py +42 -9
  232. snappy/sage_helper.py +67 -134
  233. snappy/settings.py +90 -77
  234. snappy/shell.py +2 -0
  235. snappy/snap/character_varieties.py +2 -2
  236. snappy/snap/find_field.py +4 -3
  237. snappy/snap/fundamental_polyhedron.py +2 -2
  238. snappy/snap/kernel_structures.py +5 -1
  239. snappy/snap/nsagetools.py +9 -8
  240. snappy/snap/peripheral/dual_cellulation.py +4 -3
  241. snappy/snap/peripheral/peripheral.py +2 -2
  242. snappy/snap/peripheral/surface.py +5 -5
  243. snappy/snap/peripheral/test.py +1 -1
  244. snappy/snap/polished_reps.py +8 -8
  245. snappy/snap/slice_obs_HKL.py +16 -14
  246. snappy/snap/t3mlite/arrow.py +3 -3
  247. snappy/snap/t3mlite/edge.py +3 -3
  248. snappy/snap/t3mlite/homology.py +2 -2
  249. snappy/snap/t3mlite/mcomplex.py +3 -3
  250. snappy/snap/t3mlite/simplex.py +12 -0
  251. snappy/snap/t3mlite/spun.py +18 -17
  252. snappy/snap/t3mlite/test_vs_regina.py +4 -4
  253. snappy/snap/test.py +37 -53
  254. snappy/snap/utilities.py +4 -5
  255. snappy/test.py +121 -138
  256. snappy/test_cases.py +263 -0
  257. snappy/testing.py +131 -0
  258. snappy/tiling/__init__.py +2 -0
  259. snappy/tiling/canonical_key_dict.py +59 -0
  260. snappy/tiling/dict_based_set.py +79 -0
  261. snappy/tiling/floor.py +49 -0
  262. snappy/tiling/hyperboloid_dict.py +54 -0
  263. snappy/tiling/iter_utils.py +78 -0
  264. snappy/tiling/lifted_tetrahedron.py +22 -0
  265. snappy/tiling/lifted_tetrahedron_set.py +54 -0
  266. snappy/tiling/real_hash_dict.py +164 -0
  267. snappy/tiling/test.py +23 -0
  268. snappy/tiling/tile.py +215 -0
  269. snappy/tiling/triangle.py +33 -0
  270. snappy/tkterminal.py +113 -84
  271. snappy/twister/main.py +1 -7
  272. snappy/twister/twister_core.cp38-win_amd64.pyd +0 -0
  273. snappy/upper_halfspace/__init__.py +78 -17
  274. snappy/verify/__init__.py +3 -7
  275. snappy/verify/{verifyCanonical.py → canonical.py} +78 -70
  276. snappy/verify/complex_volume/adjust_torsion.py +1 -2
  277. snappy/verify/complex_volume/closed.py +13 -13
  278. snappy/verify/complex_volume/cusped.py +6 -6
  279. snappy/verify/complex_volume/extended_bloch.py +5 -8
  280. snappy/verify/{cuspTranslations.py → cusp_translations.py} +1 -1
  281. snappy/verify/edge_equations.py +80 -0
  282. snappy/verify/exceptions.py +0 -55
  283. snappy/verify/{verifyHyperbolicity.py → hyperbolicity.py} +3 -3
  284. snappy/verify/interval_newton_shapes_engine.py +7 -5
  285. snappy/verify/interval_tree.py +5 -5
  286. snappy/verify/krawczyk_shapes_engine.py +17 -18
  287. snappy/verify/maximal_cusp_area_matrix/__init__.py +7 -74
  288. snappy/verify/maximal_cusp_area_matrix/cusp_tiling_engine.py +3 -4
  289. snappy/verify/maximal_cusp_area_matrix/cusp_translate_engine.py +1 -1
  290. snappy/verify/{realAlgebra.py → real_algebra.py} +1 -1
  291. snappy/verify/shapes.py +5 -3
  292. snappy/verify/short_slopes.py +39 -41
  293. snappy/verify/{squareExtensions.py → square_extensions.py} +14 -11
  294. snappy/verify/test.py +57 -60
  295. snappy/verify/upper_halfspace/extended_matrix.py +1 -1
  296. snappy/verify/upper_halfspace/finite_point.py +3 -4
  297. snappy/verify/upper_halfspace/ideal_point.py +9 -9
  298. snappy/verify/volume.py +2 -2
  299. snappy/version.py +2 -2
  300. {snappy-3.1.1.dist-info → snappy-3.2.dist-info}/METADATA +14 -10
  301. snappy-3.2.dist-info/RECORD +503 -0
  302. {snappy-3.1.1.dist-info → snappy-3.2.dist-info}/WHEEL +1 -1
  303. {snappy-3.1.1.dist-info → snappy-3.2.dist-info}/top_level.txt +6 -1
  304. snappy/__pycache__/__init__.cpython-38.pyc +0 -0
  305. snappy/__pycache__/browser.cpython-38.pyc +0 -0
  306. snappy/__pycache__/cache.cpython-38.pyc +0 -0
  307. snappy/__pycache__/database.cpython-38.pyc +0 -0
  308. snappy/__pycache__/db_utilities.cpython-38.pyc +0 -0
  309. snappy/__pycache__/decorated_isosig.cpython-38.pyc +0 -0
  310. snappy/__pycache__/exceptions.cpython-38.pyc +0 -0
  311. snappy/__pycache__/export_stl.cpython-38.pyc +0 -0
  312. snappy/__pycache__/filedialog.cpython-38.pyc +0 -0
  313. snappy/__pycache__/gui.cpython-38.pyc +0 -0
  314. snappy/__pycache__/horoviewer.cpython-38.pyc +0 -0
  315. snappy/__pycache__/math_basics.cpython-38.pyc +0 -0
  316. snappy/__pycache__/matrix.cpython-38.pyc +0 -0
  317. snappy/__pycache__/number.cpython-38.pyc +0 -0
  318. snappy/__pycache__/numeric_output_checker.cpython-38.pyc +0 -0
  319. snappy/__pycache__/pari.cpython-38.pyc +0 -0
  320. snappy/__pycache__/polyviewer.cpython-38.pyc +0 -0
  321. snappy/__pycache__/sage_helper.cpython-38.pyc +0 -0
  322. snappy/__pycache__/version.cpython-38.pyc +0 -0
  323. snappy/doc/_sources/verify_canon.rst.txt +0 -90
  324. snappy/doc/_static/jquery-3.6.0.js +0 -10881
  325. snappy/doc/_static/js/html5shiv-printshiv.min.js +0 -4
  326. snappy/doc/_static/js/html5shiv.min.js +0 -4
  327. snappy/doc/_static/underscore-1.13.1.js +0 -2042
  328. snappy/doc/_static/underscore.js +0 -6
  329. snappy/doc/verify_canon.html +0 -304
  330. snappy/drilling/__pycache__/__init__.cpython-38.pyc +0 -0
  331. snappy/drilling/__pycache__/constants.cpython-38.pyc +0 -0
  332. snappy/drilling/__pycache__/crush.cpython-38.pyc +0 -0
  333. snappy/drilling/__pycache__/cusps.cpython-38.pyc +0 -0
  334. snappy/drilling/__pycache__/debug.cpython-38.pyc +0 -0
  335. snappy/drilling/__pycache__/epsilons.cpython-38.pyc +0 -0
  336. snappy/drilling/__pycache__/exceptions.cpython-38.pyc +0 -0
  337. snappy/drilling/__pycache__/fixed_points.cpython-38.pyc +0 -0
  338. snappy/drilling/__pycache__/geodesic_info.cpython-38.pyc +0 -0
  339. snappy/drilling/__pycache__/geodesic_tube.cpython-38.pyc +0 -0
  340. snappy/drilling/__pycache__/geometric_structure.cpython-38.pyc +0 -0
  341. snappy/drilling/__pycache__/line.cpython-38.pyc +0 -0
  342. snappy/drilling/__pycache__/moves.cpython-38.pyc +0 -0
  343. snappy/drilling/__pycache__/peripheral_curves.cpython-38.pyc +0 -0
  344. snappy/drilling/__pycache__/perturb.cpython-38.pyc +0 -0
  345. snappy/drilling/__pycache__/quotient_space.cpython-38.pyc +0 -0
  346. snappy/drilling/__pycache__/spatial_dict.cpython-38.pyc +0 -0
  347. snappy/drilling/__pycache__/subdivide.cpython-38.pyc +0 -0
  348. snappy/drilling/__pycache__/tracing.cpython-38.pyc +0 -0
  349. snappy/drilling/geodesic_tube.py +0 -441
  350. snappy/drilling/geometric_structure.py +0 -366
  351. snappy/drilling/line.py +0 -122
  352. snappy/drilling/quotient_space.py +0 -94
  353. snappy/drilling/spatial_dict.py +0 -128
  354. snappy/exterior_to_link/__pycache__/__init__.cpython-38.pyc +0 -0
  355. snappy/exterior_to_link/__pycache__/barycentric_geometry.cpython-38.pyc +0 -0
  356. snappy/exterior_to_link/__pycache__/exceptions.cpython-38.pyc +0 -0
  357. snappy/exterior_to_link/__pycache__/hyp_utils.cpython-38.pyc +0 -0
  358. snappy/exterior_to_link/__pycache__/link_projection.cpython-38.pyc +0 -0
  359. snappy/exterior_to_link/__pycache__/main.cpython-38.pyc +0 -0
  360. snappy/exterior_to_link/__pycache__/mcomplex_with_expansion.cpython-38.pyc +0 -0
  361. snappy/exterior_to_link/__pycache__/mcomplex_with_link.cpython-38.pyc +0 -0
  362. snappy/exterior_to_link/__pycache__/mcomplex_with_memory.cpython-38.pyc +0 -0
  363. snappy/exterior_to_link/__pycache__/pl_utils.cpython-38.pyc +0 -0
  364. snappy/exterior_to_link/__pycache__/put_in_S3.cpython-38.pyc +0 -0
  365. snappy/exterior_to_link/__pycache__/rational_linear_algebra.cpython-38.pyc +0 -0
  366. snappy/exterior_to_link/__pycache__/simplify_to_base_tri.cpython-38.pyc +0 -0
  367. snappy/exterior_to_link/__pycache__/stored_moves.cpython-38.pyc +0 -0
  368. snappy/hyperboloid/__pycache__/__init__.cpython-38.pyc +0 -0
  369. snappy/manifolds/__pycache__/__init__.cpython-38.pyc +0 -0
  370. snappy/ptolemy/__pycache__/__init__.cpython-38.pyc +0 -0
  371. snappy/ptolemy/__pycache__/component.cpython-38.pyc +0 -0
  372. snappy/ptolemy/__pycache__/coordinates.cpython-38.pyc +0 -0
  373. snappy/ptolemy/__pycache__/fieldExtensions.cpython-38.pyc +0 -0
  374. snappy/ptolemy/__pycache__/findLoops.cpython-38.pyc +0 -0
  375. snappy/ptolemy/__pycache__/homology.cpython-38.pyc +0 -0
  376. snappy/ptolemy/__pycache__/manifoldMethods.cpython-38.pyc +0 -0
  377. snappy/ptolemy/__pycache__/matrix.cpython-38.pyc +0 -0
  378. snappy/ptolemy/__pycache__/numericalSolutionsToGroebnerBasis.cpython-38.pyc +0 -0
  379. snappy/ptolemy/__pycache__/polynomial.cpython-38.pyc +0 -0
  380. snappy/ptolemy/__pycache__/processComponents.cpython-38.pyc +0 -0
  381. snappy/ptolemy/__pycache__/processFileBase.cpython-38.pyc +0 -0
  382. snappy/ptolemy/__pycache__/processFileDispatch.cpython-38.pyc +0 -0
  383. snappy/ptolemy/__pycache__/processMagmaFile.cpython-38.pyc +0 -0
  384. snappy/ptolemy/__pycache__/processRurFile.cpython-38.pyc +0 -0
  385. snappy/ptolemy/__pycache__/ptolemyGeneralizedObstructionClass.cpython-38.pyc +0 -0
  386. snappy/ptolemy/__pycache__/ptolemyObstructionClass.cpython-38.pyc +0 -0
  387. snappy/ptolemy/__pycache__/ptolemyVariety.cpython-38.pyc +0 -0
  388. snappy/ptolemy/__pycache__/ptolemyVarietyPrimeIdealGroebnerBasis.cpython-38.pyc +0 -0
  389. snappy/ptolemy/__pycache__/rur.cpython-38.pyc +0 -0
  390. snappy/ptolemy/__pycache__/solutionsToPrimeIdealGroebnerBasis.cpython-38.pyc +0 -0
  391. snappy/ptolemy/__pycache__/utilities.cpython-38.pyc +0 -0
  392. snappy/snap/__pycache__/__init__.cpython-38.pyc +0 -0
  393. snappy/snap/__pycache__/character_varieties.cpython-38.pyc +0 -0
  394. snappy/snap/__pycache__/fundamental_polyhedron.cpython-38.pyc +0 -0
  395. snappy/snap/__pycache__/interval_reps.cpython-38.pyc +0 -0
  396. snappy/snap/__pycache__/kernel_structures.cpython-38.pyc +0 -0
  397. snappy/snap/__pycache__/mcomplex_base.cpython-38.pyc +0 -0
  398. snappy/snap/__pycache__/nsagetools.cpython-38.pyc +0 -0
  399. snappy/snap/__pycache__/polished_reps.cpython-38.pyc +0 -0
  400. snappy/snap/__pycache__/shapes.cpython-38.pyc +0 -0
  401. snappy/snap/__pycache__/slice_obs_HKL.cpython-38.pyc +0 -0
  402. snappy/snap/__pycache__/utilities.cpython-38.pyc +0 -0
  403. snappy/snap/peripheral/__pycache__/__init__.cpython-38.pyc +0 -0
  404. snappy/snap/peripheral/__pycache__/dual_cellulation.cpython-38.pyc +0 -0
  405. snappy/snap/peripheral/__pycache__/link.cpython-38.pyc +0 -0
  406. snappy/snap/peripheral/__pycache__/peripheral.cpython-38.pyc +0 -0
  407. snappy/snap/peripheral/__pycache__/surface.cpython-38.pyc +0 -0
  408. snappy/snap/t3mlite/__pycache__/__init__.cpython-38.pyc +0 -0
  409. snappy/snap/t3mlite/__pycache__/arrow.cpython-38.pyc +0 -0
  410. snappy/snap/t3mlite/__pycache__/corner.cpython-38.pyc +0 -0
  411. snappy/snap/t3mlite/__pycache__/edge.cpython-38.pyc +0 -0
  412. snappy/snap/t3mlite/__pycache__/face.cpython-38.pyc +0 -0
  413. snappy/snap/t3mlite/__pycache__/files.cpython-38.pyc +0 -0
  414. snappy/snap/t3mlite/__pycache__/homology.cpython-38.pyc +0 -0
  415. snappy/snap/t3mlite/__pycache__/linalg.cpython-38.pyc +0 -0
  416. snappy/snap/t3mlite/__pycache__/mcomplex.cpython-38.pyc +0 -0
  417. snappy/snap/t3mlite/__pycache__/perm4.cpython-38.pyc +0 -0
  418. snappy/snap/t3mlite/__pycache__/simplex.cpython-38.pyc +0 -0
  419. snappy/snap/t3mlite/__pycache__/spun.cpython-38.pyc +0 -0
  420. snappy/snap/t3mlite/__pycache__/surface.cpython-38.pyc +0 -0
  421. snappy/snap/t3mlite/__pycache__/tetrahedron.cpython-38.pyc +0 -0
  422. snappy/snap/t3mlite/__pycache__/vertex.cpython-38.pyc +0 -0
  423. snappy/togl/__init__.py +0 -3
  424. snappy/togl/darwin-tk8.6/Togl2.1/LICENSE +0 -28
  425. snappy/togl/darwin-tk8.6/Togl2.1/libTogl2.1.dylib +0 -0
  426. snappy/togl/darwin-tk8.6/Togl2.1/pkgIndex.tcl +0 -5
  427. snappy/togl/darwin-tk8.7/Togl2.1/LICENSE +0 -28
  428. snappy/togl/darwin-tk8.7/Togl2.1/libTogl2.1.dylib +0 -0
  429. snappy/togl/darwin-tk8.7/Togl2.1/pkgIndex.tcl +0 -5
  430. snappy/togl/linux2-x86_64-tk8.6/Togl2.1/LICENSE +0 -28
  431. snappy/togl/linux2-x86_64-tk8.6/Togl2.1/libTogl2.1.so +0 -0
  432. snappy/togl/linux2-x86_64-tk8.6/Togl2.1/pkgIndex.tcl +0 -5
  433. snappy/togl/win32VC-tk8.6/Togl2.1/LICENSE +0 -28
  434. snappy/togl/win32VC-tk8.6/Togl2.1/Togl21.dll +0 -0
  435. snappy/togl/win32VC-tk8.6/Togl2.1/Togl21.lib +0 -0
  436. snappy/togl/win32VC-tk8.6/Togl2.1/pkgIndex.tcl +0 -6
  437. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/LICENSE +0 -28
  438. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/Togl21.dll +0 -0
  439. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/Togl21.lib +0 -0
  440. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/pkgIndex.tcl +0 -6
  441. snappy/twister/__pycache__/__init__.cpython-38.pyc +0 -0
  442. snappy/twister/__pycache__/main.cpython-38.pyc +0 -0
  443. snappy/upper_halfspace/__pycache__/__init__.cpython-38.pyc +0 -0
  444. snappy/upper_halfspace/__pycache__/ideal_point.cpython-38.pyc +0 -0
  445. snappy/verify/__pycache__/__init__.cpython-38.pyc +0 -0
  446. snappy/verify/__pycache__/cuspCrossSection.cpython-38.pyc +0 -0
  447. snappy/verify/__pycache__/cuspTranslations.cpython-38.pyc +0 -0
  448. snappy/verify/__pycache__/cusp_areas.cpython-38.pyc +0 -0
  449. snappy/verify/__pycache__/cusp_shapes.cpython-38.pyc +0 -0
  450. snappy/verify/__pycache__/exceptions.cpython-38.pyc +0 -0
  451. snappy/verify/__pycache__/interval_newton_shapes_engine.cpython-38.pyc +0 -0
  452. snappy/verify/__pycache__/interval_tree.cpython-38.pyc +0 -0
  453. snappy/verify/__pycache__/krawczyk_shapes_engine.cpython-38.pyc +0 -0
  454. snappy/verify/__pycache__/realAlgebra.cpython-38.pyc +0 -0
  455. snappy/verify/__pycache__/shapes.cpython-38.pyc +0 -0
  456. snappy/verify/__pycache__/short_slopes.cpython-38.pyc +0 -0
  457. snappy/verify/__pycache__/squareExtensions.cpython-38.pyc +0 -0
  458. snappy/verify/__pycache__/verifyCanonical.cpython-38.pyc +0 -0
  459. snappy/verify/__pycache__/verifyHyperbolicity.cpython-38.pyc +0 -0
  460. snappy/verify/__pycache__/volume.cpython-38.pyc +0 -0
  461. snappy/verify/complex_volume/__pycache__/__init__.cpython-38.pyc +0 -0
  462. snappy/verify/complex_volume/__pycache__/adjust_torsion.cpython-38.pyc +0 -0
  463. snappy/verify/complex_volume/__pycache__/closed.cpython-38.pyc +0 -0
  464. snappy/verify/complex_volume/__pycache__/compute_ptolemys.cpython-38.pyc +0 -0
  465. snappy/verify/complex_volume/__pycache__/cusped.cpython-38.pyc +0 -0
  466. snappy/verify/complex_volume/__pycache__/extended_bloch.cpython-38.pyc +0 -0
  467. snappy/verify/cuspCrossSection.py +0 -1422
  468. snappy/verify/maximal_cusp_area_matrix/__pycache__/__init__.cpython-38.pyc +0 -0
  469. snappy/verify/maximal_cusp_area_matrix/__pycache__/cusp_tiling_engine.cpython-38.pyc +0 -0
  470. snappy/verify/maximal_cusp_area_matrix/__pycache__/cusp_translate_engine.cpython-38.pyc +0 -0
  471. snappy/verify/upper_halfspace/__pycache__/__init__.cpython-38.pyc +0 -0
  472. snappy/verify/upper_halfspace/__pycache__/extended_matrix.cpython-38.pyc +0 -0
  473. snappy/verify/upper_halfspace/__pycache__/finite_point.cpython-38.pyc +0 -0
  474. snappy/verify/upper_halfspace/__pycache__/ideal_point.cpython-38.pyc +0 -0
  475. snappy-3.1.1.dist-info/RECORD +0 -575
  476. {snappy-3.1.1.dist-info → snappy-3.2.dist-info}/entry_points.txt +0 -0
snappy/doc/platonic_census.html CHANGED
@@ -1,378 +1,375 @@
1
- <!DOCTYPE html>
2
- <html class="writer-html5" lang="en" >
3
- <head>
4
- <meta charset="utf-8" /><meta name="generator" content="Docutils 0.18.1: http://docutils.sourceforge.net/" />
5
-
6
- <meta name="viewport" content="width=device-width, initial-scale=1.0" />
7
- <title>Censuses of Platonic manifolds &mdash; SnapPy 3.1.1 documentation</title>
8
- <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
9
- <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
10
- <link rel="stylesheet" href="_static/snappy_sphinx_rtd_theme.css" type="text/css" />
11
- <link rel="shortcut icon" href="_static/SnapPy.ico"/>
12
- <!--[if lt IE 9]>
13
- <script src="_static/js/html5shiv.min.js"></script>
14
- <![endif]-->
15
-
16
- <script src="_static/jquery.js"></script>
17
- <script src="_static/_sphinx_javascript_frameworks_compat.js"></script>
18
- <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js"></script>
19
- <script src="_static/doctools.js"></script>
20
- <script src="_static/sphinx_highlight.js"></script>
21
- <script src="_static/js/theme.js"></script>
22
- <link rel="index" title="Index" href="genindex.html" />
23
- <link rel="search" title="Search" href="search.html" />
24
- <link rel="next" title="Using SnapPy’s link editor" href="plink.html" />
25
- <link rel="prev" title="Census manifolds" href="censuses.html" />
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 class="version">
41
- 3.1.1
42
- </div>
43
- <div role="search">
44
- <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
45
- <input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
46
- <input type="hidden" name="check_keywords" value="yes" />
47
- <input type="hidden" name="area" value="default" />
48
- </form>
49
- </div>
50
- </div><div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="Navigation menu">
51
- <ul class="current">
52
- <li class="toctree-l1"><a class="reference internal" href="installing.html">Installing SnapPy</a></li>
53
- <li class="toctree-l1"><a class="reference internal" href="screenshots.html">Screenshots: SnapPy in action</a></li>
54
- <li class="toctree-l1"><a class="reference internal" href="tutorial.html">Tutorial</a></li>
55
- <li class="toctree-l1 current"><a class="reference internal" href="snappy.html">The snappy module and its classes</a><ul class="current">
56
- <li class="toctree-l2"><a class="reference internal" href="manifold.html">Manifold: the main class</a></li>
57
- <li class="toctree-l2"><a class="reference internal" href="manifoldhp.html">ManifoldHP: High-precision variant</a></li>
58
- <li class="toctree-l2"><a class="reference internal" href="triangulation.html">Triangulation</a></li>
59
- <li class="toctree-l2"><a class="reference internal" href="additional_classes.html">Additional Classes</a></li>
60
- <li class="toctree-l2 current"><a class="reference internal" href="censuses.html">Census manifolds</a><ul class="current">
61
- <li class="toctree-l3"><a class="reference internal" href="censuses.html#snappy.OrientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">OrientableCuspedCensus</span></code></a></li>
62
- <li class="toctree-l3"><a class="reference internal" href="censuses.html#snappy.OrientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">OrientableClosedCensus</span></code></a></li>
63
- <li class="toctree-l3"><a class="reference internal" href="censuses.html#snappy.CensusKnots"><code class="docutils literal notranslate"><span class="pre">CensusKnots</span></code></a></li>
64
- <li class="toctree-l3"><a class="reference internal" href="censuses.html#snappy.LinkExteriors"><code class="docutils literal notranslate"><span class="pre">LinkExteriors</span></code></a></li>
65
- <li class="toctree-l3"><a class="reference internal" href="censuses.html#snappy.HTLinkExteriors"><code class="docutils literal notranslate"><span class="pre">HTLinkExteriors</span></code></a></li>
66
- <li class="toctree-l3"><a class="reference internal" href="censuses.html#snappy.NonorientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">NonorientableCuspedCensus</span></code></a></li>
67
- <li class="toctree-l3"><a class="reference internal" href="censuses.html#snappy.NonorientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">NonorientableClosedCensus</span></code></a></li>
68
- <li class="toctree-l3 current"><a class="current reference internal" href="#">Censuses of Platonic manifolds</a><ul>
69
- <li class="toctree-l4"><a class="reference internal" href="#snappy.TetrahedralOrientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">TetrahedralOrientableCuspedCensus</span></code></a></li>
70
- <li class="toctree-l4"><a class="reference internal" href="#snappy.TetrahedralNonorientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">TetrahedralNonorientableCuspedCensus</span></code></a></li>
71
- <li class="toctree-l4"><a class="reference internal" href="#snappy.OctahedralOrientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">OctahedralOrientableCuspedCensus</span></code></a></li>
72
- <li class="toctree-l4"><a class="reference internal" href="#snappy.OctahedralNonorientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">OctahedralNonorientableCuspedCensus</span></code></a></li>
73
- <li class="toctree-l4"><a class="reference internal" href="#snappy.CubicalOrientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">CubicalOrientableCuspedCensus</span></code></a></li>
74
- <li class="toctree-l4"><a class="reference internal" href="#snappy.CubicalNonorientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">CubicalNonorientableCuspedCensus</span></code></a></li>
75
- <li class="toctree-l4"><a class="reference internal" href="#snappy.DodecahedralOrientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">DodecahedralOrientableCuspedCensus</span></code></a></li>
76
- <li class="toctree-l4"><a class="reference internal" href="#snappy.DodecahedralNonorientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">DodecahedralNonorientableCuspedCensus</span></code></a></li>
77
- <li class="toctree-l4"><a class="reference internal" href="#snappy.IcosahedralOrientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">IcosahedralOrientableClosedCensus</span></code></a></li>
78
- <li class="toctree-l4"><a class="reference internal" href="#snappy.IcosahedralNonorientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">IcosahedralNonorientableClosedCensus</span></code></a></li>
79
- <li class="toctree-l4"><a class="reference internal" href="#snappy.CubicalOrientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">CubicalOrientableClosedCensus</span></code></a></li>
80
- <li class="toctree-l4"><a class="reference internal" href="#snappy.CubicalNonorientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">CubicalNonorientableClosedCensus</span></code></a></li>
81
- <li class="toctree-l4"><a class="reference internal" href="#snappy.DodecahedralOrientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">DodecahedralOrientableClosedCensus</span></code></a></li>
82
- <li class="toctree-l4"><a class="reference internal" href="#snappy.DodecahedralNonorientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">DodecahedralNonorientableClosedCensus</span></code></a></li>
83
- </ul>
84
- </li>
85
- <li class="toctree-l3"><a class="reference internal" href="censuses.html#snappy.database.ManifoldTable"><code class="docutils literal notranslate"><span class="pre">ManifoldTable</span></code></a></li>
86
- <li class="toctree-l3"><a class="reference internal" href="censuses.html#snappy.AlternatingKnotExteriors"><code class="docutils literal notranslate"><span class="pre">AlternatingKnotExteriors</span></code></a></li>
87
- <li class="toctree-l3"><a class="reference internal" href="censuses.html#snappy.NonalternatingKnotExteriors"><code class="docutils literal notranslate"><span class="pre">NonalternatingKnotExteriors</span></code></a></li>
88
- </ul>
89
- </li>
90
- </ul>
91
- </li>
92
- <li class="toctree-l1"><a class="reference internal" href="plink.html">Using SnapPy’s link editor</a></li>
93
- <li class="toctree-l1"><a class="reference internal" href="spherogram.html">Links: planar diagrams and invariants</a></li>
94
- <li class="toctree-l1"><a class="reference internal" href="snap.html">Number theory of hyperbolic 3-manifolds</a></li>
95
- <li class="toctree-l1"><a class="reference internal" href="verify.html">Verified computations</a></li>
96
- <li class="toctree-l1"><a class="reference internal" href="other.html">Other components</a></li>
97
- <li class="toctree-l1"><a class="reference internal" href="news.html">News</a></li>
98
- <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
99
- <li class="toctree-l1"><a class="reference internal" href="bugs.html">Reporting bugs and other problems</a></li>
100
- <li class="toctree-l1"><a class="reference internal" href="todo.html">To Do List</a></li>
101
- <li class="toctree-l1"><a class="reference internal" href="development.html">Development Basics</a></li>
102
- </ul>
103
-
104
- </div>
105
- </div>
106
- </nav>
107
-
108
- <section data-toggle="wy-nav-shift" class="wy-nav-content-wrap"><nav class="wy-nav-top" aria-label="Mobile navigation menu" >
109
- <i data-toggle="wy-nav-top" class="fa fa-bars"></i>
110
- <a href="index.html">SnapPy</a>
111
- </nav>
112
-
113
- <div class="wy-nav-content">
114
- <div class="rst-content">
115
- <div role="navigation" aria-label="Page navigation">
116
- <ul class="wy-breadcrumbs">
117
- <li><a href="index.html" class="icon icon-home" aria-label="Home"></a></li>
118
- <li class="breadcrumb-item"><a href="snappy.html">The snappy module and its classes</a></li>
119
- <li class="breadcrumb-item"><a href="censuses.html">Census manifolds</a></li>
120
- <li class="breadcrumb-item active">Censuses of Platonic manifolds</li>
121
- <li class="wy-breadcrumbs-aside">
122
- </li>
123
- </ul>
124
- <hr/>
125
- </div>
126
- <div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
127
- <div itemprop="articleBody">
128
-
129
- <section id="censuses-of-platonic-manifolds">
130
- <h1>Censuses of Platonic manifolds<a class="headerlink" href="#censuses-of-platonic-manifolds" title="Permalink to this heading"></a></h1>
131
- <p>The following manifolds were tabulated in <a class="reference external" href="http://arxiv.org/abs/1502.00383">A census of tetrahedral manifolds</a> and <a class="reference external" href="http://arxiv.org/abs/1602.02208v2">A census of Platonic manifolds and augmented knotted trivalent graphs</a>. An even larger census of Platonic manifolds can be downloaded <a class="reference external" href="http://unhyperbolic.org/platonicCensus/large/platonicCensus_large_snappy_only.tar.bz2">here</a>.</p>
132
- <dl class="py data">
133
- <dt class="sig sig-object py" id="snappy.TetrahedralOrientableCuspedCensus">
134
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">TetrahedralOrientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">TetrahedralOrientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.TetrahedralOrientableCuspedCensus" title="Permalink to this definition"></a></dt>
135
- <dd><p>Iterator for the tetrahedral orientable cusped hyperbolic manifolds up to
136
- 25 tetrahedra, i.e., manifolds that admit a tessellation by regular ideal
137
- hyperbolic tetrahedra.</p>
138
- <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">TetrahedralOrientableCuspedCensus</span><span class="p">(</span><span class="n">solids</span> <span class="o">=</span> <span class="mi">5</span><span class="p">):</span>
139
- <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>
140
- <span class="go">otet05_00000(0,0) 5.07470803</span>
141
- <span class="go">otet05_00001(0,0)(0,0) 5.07470803</span>
142
- <span class="gp">&gt;&gt;&gt; </span><span class="n">TetrahedralOrientableCuspedCensus</span><span class="o">.</span><span class="n">identify</span><span class="p">(</span><span class="n">Manifold</span><span class="p">(</span><span class="s2">&quot;m004&quot;</span><span class="p">))</span>
143
- <span class="go">otet02_00001(0,0)</span>
144
- </pre></div>
145
- </div>
146
- </dd></dl>
147
-
148
- <dl class="py data">
149
- <dt class="sig sig-object py" id="snappy.TetrahedralNonorientableCuspedCensus">
150
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">TetrahedralNonorientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">TetrahedralNonorientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.TetrahedralNonorientableCuspedCensus" title="Permalink to this definition"></a></dt>
151
- <dd><p>Iterator for the tetrahedral non-orientable cusped hyperbolic manifolds up to
152
- 21 tetrahedra, i.e., manifolds that admit a tessellation by regular ideal
153
- hyperbolic tetrahedra.</p>
154
- <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">TetrahedralNonorientableCuspedCensus</span><span class="p">)</span>
155
- <span class="go">25194</span>
156
- <span class="gp">&gt;&gt;&gt; </span><span class="nb">list</span><span class="p">(</span><span class="n">TetrahedralNonorientableCuspedCensus</span><span class="p">[:</span><span class="mf">1.3</span><span class="p">])</span>
157
- <span class="go">[ntet01_00000(0,0)]</span>
158
- </pre></div>
159
- </div>
160
- </dd></dl>
161
-
162
- <dl class="py data">
163
- <dt class="sig sig-object py" id="snappy.OctahedralOrientableCuspedCensus">
164
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">OctahedralOrientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">OctahedralOrientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.OctahedralOrientableCuspedCensus" title="Permalink to this definition"></a></dt>
165
- <dd><p>Iterator for the octahedral orientable cusped hyperbolic manifolds up to
166
- 7 octahedra, i.e., manifolds that admit a tessellation by regular ideal
167
- hyperbolic octahedra.</p>
168
- <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">OctahedralOrientableCuspedCensus</span><span class="o">.</span><span class="n">identify</span><span class="p">(</span><span class="n">Manifold</span><span class="p">(</span><span class="s2">&quot;5^2_1&quot;</span><span class="p">))</span>
169
- <span class="go">ooct01_00001(0,0)(0,0)</span>
170
- </pre></div>
171
- </div>
172
- <p>For octahedral manifolds that are also the complement of an <a class="reference external" href="http://arxiv.org/abs/0805.0094">Augmented
173
- Knotted Trivalent Graph (AugKTG)</a>, the
174
- corresponding link is included:</p>
175
- <div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">M</span> <span class="o">=</span> <span class="n">OctahedralOrientableCuspedCensus</span><span class="p">[</span><span class="s1">&#39;ooct04_00034&#39;</span><span class="p">]</span>
176
- <span class="gp">&gt;&gt;&gt; </span><span class="n">M</span><span class="o">.</span><span class="n">link</span><span class="p">()</span>
177
- <span class="go">&lt;Link: 4 comp; 17 cross&gt;</span>
178
- </pre></div>
179
- </div>
180
- <p>The link can be viewed with <code class="docutils literal notranslate"><span class="pre">M.plink()</span></code>. To only see complements of
181
- AugKTGs, supply <code class="docutils literal notranslate"><span class="pre">isAugKTG</span> <span class="pre">=</span> <span class="pre">True</span></code>:</p>
182
- <div class="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">OctahedralOrientableCuspedCensus</span><span class="p">(</span><span class="n">isAugKTG</span> <span class="o">=</span> <span class="kc">True</span><span class="p">))</span>
183
- <span class="go">238</span>
184
- <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">OctahedralOrientableCuspedCensus</span><span class="p">(</span><span class="n">isAugKTG</span> <span class="o">=</span> <span class="kc">True</span><span class="p">)[:</span><span class="mi">5</span><span class="p">]:</span>
185
- <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">link</span><span class="p">()</span><span class="o">.</span><span class="n">DT_code</span><span class="p">(</span><span class="n">DT_alpha</span><span class="o">=</span><span class="kc">True</span><span class="p">))</span>
186
- <span class="go">ooct02_00001(0,0)(0,0)(0,0)(0,0) DT[mdbceceJamHBlCKgdfI]</span>
187
- <span class="go">ooct02_00002(0,0)(0,0)(0,0) DT[lcgbcIkhLBJecGaFD]</span>
188
- <span class="go">ooct02_00003(0,0)(0,0)(0,0) DT[icebbGIAfhcEdB]</span>
189
- <span class="go">ooct02_00005(0,0)(0,0)(0,0) DT[hcdbbFHegbDAc]</span>
190
- <span class="go">ooct04_00027(0,0)(0,0)(0,0)(0,0) DT[zdpecbBujVtiWzsLQpxYREadhOKCmFgN]</span>
191
- </pre></div>
192
- </div>
193
- </dd></dl>
194
-
195
- <dl class="py data">
196
- <dt class="sig sig-object py" id="snappy.OctahedralNonorientableCuspedCensus">
197
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">OctahedralNonorientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">OctahedralNonorientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.OctahedralNonorientableCuspedCensus" title="Permalink to this definition"></a></dt>
198
- <dd><p>Iterator for the octahedral non-orientable cusped hyperbolic manifolds up to
199
- 5 octahedra, i.e., manifolds that admit a tessellation by regular ideal
200
- hyperbolic octahedra.</p>
201
- <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">OctahedralNonorientableCuspedCensus</span><span class="p">(</span><span class="n">solids</span> <span class="o">=</span> <span class="mi">3</span><span class="p">,</span> <span class="n">betti</span> <span class="o">=</span> <span class="mi">3</span><span class="p">,</span><span class="n">cusps</span> <span class="o">=</span> <span class="mi">4</span><span class="p">):</span>
202
- <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>
203
- <span class="go">noct03_00007(0,0)(0,0)(0,0)(0,0) Z/2 + Z + Z + Z</span>
204
- <span class="go">noct03_00029(0,0)(0,0)(0,0)(0,0) Z/2 + Z + Z + Z</span>
205
- <span class="go">noct03_00047(0,0)(0,0)(0,0)(0,0) Z/2 + Z + Z + Z</span>
206
- <span class="go">noct03_00048(0,0)(0,0)(0,0)(0,0) Z/2 + Z + Z + Z</span>
207
- </pre></div>
208
- </div>
209
- </dd></dl>
210
-
211
- <dl class="py data">
212
- <dt class="sig sig-object py" id="snappy.CubicalOrientableCuspedCensus">
213
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">CubicalOrientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">CubicalOrientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.CubicalOrientableCuspedCensus" title="Permalink to this definition"></a></dt>
214
- <dd><p>Iterator for the cubical orientable cusped hyperbolic manifolds up to
215
- 7 cubes, i.e., manifolds that admit a tessellation by regular ideal
216
- hyperbolic octahedra.</p>
217
- <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">M</span> <span class="o">=</span> <span class="n">TetrahedralOrientableCuspedCensus</span><span class="p">[</span><span class="s1">&#39;otet05_00001&#39;</span><span class="p">]</span>
218
- <span class="gp">&gt;&gt;&gt; </span><span class="n">CubicalOrientableCuspedCensus</span><span class="o">.</span><span class="n">identify</span><span class="p">(</span><span class="n">M</span><span class="p">)</span>
219
- <span class="go">ocube01_00002(0,0)(0,0)</span>
220
- </pre></div>
221
- </div>
222
- </dd></dl>
223
-
224
- <dl class="py data">
225
- <dt class="sig sig-object py" id="snappy.CubicalNonorientableCuspedCensus">
226
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">CubicalNonorientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">CubicalNonorientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.CubicalNonorientableCuspedCensus" title="Permalink to this definition"></a></dt>
227
- <dd><p>Iterator for the cubical non-orientable cusped hyperbolic manifolds up to
228
- 5 cubes, i.e., manifolds that admit a tessellation by regular ideal
229
- hyperbolic octahedra.</p>
230
- <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">CubicalNonorientableCuspedCensus</span><span class="p">[</span><span class="o">-</span><span class="mi">3</span><span class="p">:]:</span>
231
- <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>
232
- <span class="go">ncube05_30945(0,0) 25.37354016</span>
233
- <span class="go">ncube05_30946(0,0)(0,0) 25.37354016</span>
234
- <span class="go">ncube05_30947(0,0)(0,0) 25.37354016</span>
235
- </pre></div>
236
- </div>
237
- </dd></dl>
238
-
239
- <dl class="py data">
240
- <dt class="sig sig-object py" id="snappy.DodecahedralOrientableCuspedCensus">
241
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">DodecahedralOrientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">DodecahedralOrientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.DodecahedralOrientableCuspedCensus" title="Permalink to this definition"></a></dt>
242
- <dd><p>Iterator for the dodecahedral orientable cusped hyperbolic manifolds up to
243
- 2 dodecahedra, i.e., manifolds that admit a tessellation by regular ideal
244
- hyperbolic dodecahedra.</p>
245
- <p>Complement of one of the dodecahedral knots by Aitchison and Rubinstein:</p>
246
- <div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">M</span><span class="o">=</span><span class="n">DodecahedralOrientableCuspedCensus</span><span class="p">[</span><span class="s1">&#39;odode02_00913&#39;</span><span class="p">]</span>
247
- <span class="gp">&gt;&gt;&gt; </span><span class="n">M</span><span class="o">.</span><span class="n">dehn_fill</span><span class="p">((</span><span class="mi">1</span><span class="p">,</span><span class="mi">0</span><span class="p">))</span>
248
- <span class="gp">&gt;&gt;&gt; </span><span class="n">M</span><span class="o">.</span><span class="n">fundamental_group</span><span class="p">()</span>
249
- <span class="go">Generators:</span>
250
-
251
- <span class="go">Relators:</span>
252
- </pre></div>
253
- </div>
254
- </dd></dl>
255
-
256
- <dl class="py data">
257
- <dt class="sig sig-object py" id="snappy.DodecahedralNonorientableCuspedCensus">
258
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">DodecahedralNonorientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">DodecahedralNonorientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.DodecahedralNonorientableCuspedCensus" title="Permalink to this definition"></a></dt>
259
- <dd><p>Iterator for the dodecahedral non-orientable cusped hyperbolic manifolds up to
260
- 2 dodecahedra, i.e., manifolds that admit a tessellation by regular ideal
261
- hyperbolic dodecahedra.</p>
262
- <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">DodecahedralNonorientableCuspedCensus</span><span class="p">)</span>
263
- <span class="go">4146</span>
264
- </pre></div>
265
- </div>
266
- </dd></dl>
267
-
268
- <dl class="py data">
269
- <dt class="sig sig-object py" id="snappy.IcosahedralOrientableClosedCensus">
270
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">IcosahedralOrientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">IcosahedralOrientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.IcosahedralOrientableClosedCensus" title="Permalink to this definition"></a></dt>
271
- <dd><p>Iterator for the icosahedral orientable closed hyperbolic manifolds up
272
- to 4 icosahedra, i.e., manifolds that admit a tessellation by regula finite
273
- hyperbolic icosahedra.</p>
274
- <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">M</span> <span class="o">=</span> <span class="n">IcosahedralOrientableClosedCensus</span><span class="p">[</span><span class="mi">0</span><span class="p">]</span>
275
- <span class="gp">&gt;&gt;&gt; </span><span class="n">M</span><span class="o">.</span><span class="n">volume</span><span class="p">()</span>
276
- <span class="go">4.68603427</span>
277
- <span class="gp">&gt;&gt;&gt; </span><span class="n">M</span>
278
- <span class="go">oicocld01_00000(1,0)</span>
279
- </pre></div>
280
- </div>
281
- </dd></dl>
282
-
283
- <dl class="py data">
284
- <dt class="sig sig-object py" id="snappy.IcosahedralNonorientableClosedCensus">
285
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">IcosahedralNonorientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">IcosahedralNonorientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.IcosahedralNonorientableClosedCensus" title="Permalink to this definition"></a></dt>
286
- <dd><p>Iterator for the icosahedral non-orientable closed hyperbolic manifolds up
287
- to 3 icosahedra, i.e., manifolds that admit a tessellation by regular finite
288
- hyperbolic icosahedra.</p>
289
- <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="nb">list</span><span class="p">(</span><span class="n">IcosahedralNonorientableClosedCensus</span><span class="p">)</span>
290
- <span class="go">[nicocld02_00000(1,0)]</span>
291
- </pre></div>
292
- </div>
293
- </dd></dl>
294
-
295
- <dl class="py data">
296
- <dt class="sig sig-object py" id="snappy.CubicalOrientableClosedCensus">
297
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">CubicalOrientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">CubicalOrientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.CubicalOrientableClosedCensus" title="Permalink to this definition"></a></dt>
298
- <dd><p>Iterator for the cubical orientable closed hyperbolic manifolds up
299
- to 10 cubes, i.e., manifolds that admit a tessellation by regular finite
300
- hyperbolic cubes.</p>
301
- <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">CubicalOrientableClosedCensus</span><span class="p">)</span>
302
- <span class="go">69</span>
303
- </pre></div>
304
- </div>
305
- </dd></dl>
306
-
307
- <dl class="py data">
308
- <dt class="sig sig-object py" id="snappy.CubicalNonorientableClosedCensus">
309
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">CubicalNonorientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">CubicalNonorientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.CubicalNonorientableClosedCensus" title="Permalink to this definition"></a></dt>
310
- <dd><p>Iterator for the cubical non-orientable closed hyperbolic manifolds up
311
- to 10 cubes, i.e., manifolds that admit a tessellation by regular finite
312
- hyperbolic cubes.</p>
313
- <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">CubicalNonorientableClosedCensus</span><span class="p">)</span>
314
- <span class="go">93</span>
315
- </pre></div>
316
- </div>
317
- </dd></dl>
318
-
319
- <dl class="py data">
320
- <dt class="sig sig-object py" id="snappy.DodecahedralOrientableClosedCensus">
321
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">DodecahedralOrientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">DodecahedralOrientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.DodecahedralOrientableClosedCensus" title="Permalink to this definition"></a></dt>
322
- <dd><p>Iterator for the dodecahedral orientable closed hyperbolic manifolds up
323
- to 3 dodecahedra, i.e., manifolds that admit a tessellation by regular finite
324
- hyperbolic dodecahedra with a dihedral angle of 72 degrees.</p>
325
- <p>The Seifert-Weber space:</p>
326
- <div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">M</span> <span class="o">=</span> <span class="n">DodecahedralOrientableClosedCensus</span><span class="p">(</span><span class="n">solids</span> <span class="o">=</span> <span class="mi">1</span><span class="p">)[</span><span class="o">-</span><span class="mi">1</span><span class="p">]</span>
327
- <span class="gp">&gt;&gt;&gt; </span><span class="n">M</span><span class="o">.</span><span class="n">homology</span><span class="p">()</span>
328
- <span class="go">Z/5 + Z/5 + Z/5</span>
329
- </pre></div>
330
- </div>
331
- </dd></dl>
332
-
333
- <dl class="py data">
334
- <dt class="sig sig-object py" id="snappy.DodecahedralNonorientableClosedCensus">
335
- <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">DodecahedralNonorientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">DodecahedralNonorientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.DodecahedralNonorientableClosedCensus" title="Permalink to this definition"></a></dt>
336
- <dd><p>Iterator for the dodecahedral non-orientable closed hyperbolic manifolds up
337
- to 2 dodecahedra, i.e., manifolds that admit a tessellation by regular finite
338
- hyperbolic dodecahedra with a dihedral angle of 72 degrees.</p>
339
- <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">DodecahedralNonorientableClosedCensus</span><span class="p">[</span><span class="mi">0</span><span class="p">]</span><span class="o">.</span><span class="n">volume</span><span class="p">()</span>
340
- <span class="go">22.39812948</span>
341
- </pre></div>
342
- </div>
343
- </dd></dl>
344
-
345
- </section>
346
-
347
-
348
- </div>
349
- </div>
350
- <footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
351
- <a href="censuses.html" class="btn btn-neutral float-left" title="Census manifolds" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
352
- <a href="plink.html" class="btn btn-neutral float-right" title="Using SnapPy’s link editor" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
353
- </div>
354
-
355
- <hr/>
356
-
357
- <div role="contentinfo">
358
- <p>&#169; Copyright 2009-2023, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
359
- </div>
360
-
361
- Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
362
- <a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
363
- provided by <a href="https://readthedocs.org">Read the Docs</a>.
364
-
365
-
366
- </footer>
367
- </div>
368
- </div>
369
- </section>
370
- </div>
371
- <script>
372
- jQuery(function () {
373
- SphinxRtdTheme.Navigation.enable(true);
374
- });
375
- </script>
376
-
377
- </body>
1
+
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" />
7
+
8
+ <meta name="viewport" content="width=device-width, initial-scale=1.0" />
9
+ <title>Censuses of Platonic 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" />
13
+
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>
22
+ <link rel="index" title="Index" href="genindex.html" />
23
+ <link rel="search" title="Search" href="search.html" />
24
+ <link rel="next" title="Using SnapPy’s link editor" href="plink.html" />
25
+ <link rel="prev" title="Census manifolds" href="censuses.html" />
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="reference internal" href="censuses.html">Census manifolds</a><ul class="current">
58
+ <li class="toctree-l3"><a class="reference internal" href="censuses.html#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="censuses.html#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="censuses.html#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="censuses.html#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="censuses.html#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="censuses.html#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="censuses.html#snappy.NonorientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">NonorientableClosedCensus</span></code></a></li>
65
+ <li class="toctree-l3 current"><a class="current reference internal" href="#">Censuses of Platonic manifolds</a><ul>
66
+ <li class="toctree-l4"><a class="reference internal" href="#snappy.TetrahedralOrientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">TetrahedralOrientableCuspedCensus</span></code></a></li>
67
+ <li class="toctree-l4"><a class="reference internal" href="#snappy.TetrahedralNonorientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">TetrahedralNonorientableCuspedCensus</span></code></a></li>
68
+ <li class="toctree-l4"><a class="reference internal" href="#snappy.OctahedralOrientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">OctahedralOrientableCuspedCensus</span></code></a></li>
69
+ <li class="toctree-l4"><a class="reference internal" href="#snappy.OctahedralNonorientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">OctahedralNonorientableCuspedCensus</span></code></a></li>
70
+ <li class="toctree-l4"><a class="reference internal" href="#snappy.CubicalOrientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">CubicalOrientableCuspedCensus</span></code></a></li>
71
+ <li class="toctree-l4"><a class="reference internal" href="#snappy.CubicalNonorientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">CubicalNonorientableCuspedCensus</span></code></a></li>
72
+ <li class="toctree-l4"><a class="reference internal" href="#snappy.DodecahedralOrientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">DodecahedralOrientableCuspedCensus</span></code></a></li>
73
+ <li class="toctree-l4"><a class="reference internal" href="#snappy.DodecahedralNonorientableCuspedCensus"><code class="docutils literal notranslate"><span class="pre">DodecahedralNonorientableCuspedCensus</span></code></a></li>
74
+ <li class="toctree-l4"><a class="reference internal" href="#snappy.IcosahedralOrientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">IcosahedralOrientableClosedCensus</span></code></a></li>
75
+ <li class="toctree-l4"><a class="reference internal" href="#snappy.IcosahedralNonorientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">IcosahedralNonorientableClosedCensus</span></code></a></li>
76
+ <li class="toctree-l4"><a class="reference internal" href="#snappy.CubicalOrientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">CubicalOrientableClosedCensus</span></code></a></li>
77
+ <li class="toctree-l4"><a class="reference internal" href="#snappy.CubicalNonorientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">CubicalNonorientableClosedCensus</span></code></a></li>
78
+ <li class="toctree-l4"><a class="reference internal" href="#snappy.DodecahedralOrientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">DodecahedralOrientableClosedCensus</span></code></a></li>
79
+ <li class="toctree-l4"><a class="reference internal" href="#snappy.DodecahedralNonorientableClosedCensus"><code class="docutils literal notranslate"><span class="pre">DodecahedralNonorientableClosedCensus</span></code></a></li>
80
+ </ul>
81
+ </li>
82
+ <li class="toctree-l3"><a class="reference internal" href="censuses.html#snappy.database.ManifoldTable"><code class="docutils literal notranslate"><span class="pre">ManifoldTable</span></code></a></li>
83
+ <li class="toctree-l3"><a class="reference internal" href="censuses.html#snappy.AlternatingKnotExteriors"><code class="docutils literal notranslate"><span class="pre">AlternatingKnotExteriors</span></code></a></li>
84
+ <li class="toctree-l3"><a class="reference internal" href="censuses.html#snappy.NonalternatingKnotExteriors"><code class="docutils literal notranslate"><span class="pre">NonalternatingKnotExteriors</span></code></a></li>
85
+ </ul>
86
+ </li>
87
+ </ul>
88
+ </li>
89
+ <li class="toctree-l1"><a class="reference internal" href="plink.html">Using SnapPy’s link editor</a></li>
90
+ <li class="toctree-l1"><a class="reference internal" href="spherogram.html">Links: planar diagrams and invariants</a></li>
91
+ <li class="toctree-l1"><a class="reference internal" href="snap.html">Number theory of hyperbolic 3-manifolds</a></li>
92
+ <li class="toctree-l1"><a class="reference internal" href="verify.html">Verified computations</a></li>
93
+ <li class="toctree-l1"><a class="reference internal" href="other.html">Other components</a></li>
94
+ <li class="toctree-l1"><a class="reference internal" href="news.html">News</a></li>
95
+ <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
96
+ <li class="toctree-l1"><a class="reference internal" href="bugs.html">Reporting bugs and other problems</a></li>
97
+ <li class="toctree-l1"><a class="reference internal" href="todo.html">To Do List</a></li>
98
+ <li class="toctree-l1"><a class="reference internal" href="development.html">Development Basics</a></li>
99
+ </ul>
100
+
101
+ </div>
102
+ </div>
103
+ </nav>
104
+
105
+ <section data-toggle="wy-nav-shift" class="wy-nav-content-wrap"><nav class="wy-nav-top" aria-label="Mobile navigation menu" >
106
+ <i data-toggle="wy-nav-top" class="fa fa-bars"></i>
107
+ <a href="index.html">SnapPy</a>
108
+ </nav>
109
+
110
+ <div class="wy-nav-content">
111
+ <div class="rst-content">
112
+ <div role="navigation" aria-label="Page navigation">
113
+ <ul class="wy-breadcrumbs">
114
+ <li><a href="index.html" class="icon icon-home" aria-label="Home"></a></li>
115
+ <li class="breadcrumb-item"><a href="snappy.html">The snappy module and its classes</a></li>
116
+ <li class="breadcrumb-item"><a href="censuses.html">Census manifolds</a></li>
117
+ <li class="breadcrumb-item active">Censuses of Platonic manifolds</li>
118
+ <li class="wy-breadcrumbs-aside">
119
+ </li>
120
+ </ul>
121
+ <hr/>
122
+ </div>
123
+ <div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
124
+ <div itemprop="articleBody">
125
+
126
+ <section id="censuses-of-platonic-manifolds">
127
+ <h1>Censuses of Platonic manifolds<a class="headerlink" href="#censuses-of-platonic-manifolds" title="Link to this heading"></a></h1>
128
+ <p>The following manifolds were tabulated in <a class="reference external" href="http://arxiv.org/abs/1502.00383">A census of tetrahedral manifolds</a> and <a class="reference external" href="http://arxiv.org/abs/1602.02208v2">A census of Platonic manifolds and augmented knotted trivalent graphs</a>. An even larger census of Platonic manifolds can be downloaded <a class="reference external" href="http://unhyperbolic.org/platonicCensus/large/platonicCensus_large_snappy_only.tar.bz2">here</a>.</p>
129
+ <dl class="py data">
130
+ <dt class="sig sig-object py" id="snappy.TetrahedralOrientableCuspedCensus">
131
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">TetrahedralOrientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">TetrahedralOrientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.TetrahedralOrientableCuspedCensus" title="Link to this definition"></a></dt>
132
+ <dd><p>Iterator for the tetrahedral orientable cusped hyperbolic manifolds up to
133
+ 25 tetrahedra, i.e., manifolds that admit a tessellation by regular ideal
134
+ hyperbolic tetrahedra.</p>
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">TetrahedralOrientableCuspedCensus</span><span class="p">(</span><span class="n">solids</span> <span class="o">=</span> <span class="mi">5</span><span class="p">):</span>
136
+ <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>
137
+ <span class="go">otet05_00000(0,0) 5.07470803</span>
138
+ <span class="go">otet05_00001(0,0)(0,0) 5.07470803</span>
139
+ <span class="gp">&gt;&gt;&gt; </span><span class="n">TetrahedralOrientableCuspedCensus</span><span class="o">.</span><span class="n">identify</span><span class="p">(</span><span class="n">Manifold</span><span class="p">(</span><span class="s2">&quot;m004&quot;</span><span class="p">))</span>
140
+ <span class="go">otet02_00001(0,0)</span>
141
+ </pre></div>
142
+ </div>
143
+ </dd></dl>
144
+
145
+ <dl class="py data">
146
+ <dt class="sig sig-object py" id="snappy.TetrahedralNonorientableCuspedCensus">
147
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">TetrahedralNonorientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">TetrahedralNonorientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.TetrahedralNonorientableCuspedCensus" title="Link to this definition"></a></dt>
148
+ <dd><p>Iterator for the tetrahedral non-orientable cusped hyperbolic manifolds up to
149
+ 21 tetrahedra, i.e., manifolds that admit a tessellation by regular ideal
150
+ hyperbolic tetrahedra.</p>
151
+ <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">TetrahedralNonorientableCuspedCensus</span><span class="p">)</span>
152
+ <span class="go">25194</span>
153
+ <span class="gp">&gt;&gt;&gt; </span><span class="nb">list</span><span class="p">(</span><span class="n">TetrahedralNonorientableCuspedCensus</span><span class="p">[:</span><span class="mf">1.3</span><span class="p">])</span>
154
+ <span class="go">[ntet01_00000(0,0)]</span>
155
+ </pre></div>
156
+ </div>
157
+ </dd></dl>
158
+
159
+ <dl class="py data">
160
+ <dt class="sig sig-object py" id="snappy.OctahedralOrientableCuspedCensus">
161
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">OctahedralOrientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">OctahedralOrientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.OctahedralOrientableCuspedCensus" title="Link to this definition"></a></dt>
162
+ <dd><p>Iterator for the octahedral orientable cusped hyperbolic manifolds up to
163
+ 7 octahedra, i.e., manifolds that admit a tessellation by regular ideal
164
+ hyperbolic octahedra.</p>
165
+ <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">OctahedralOrientableCuspedCensus</span><span class="o">.</span><span class="n">identify</span><span class="p">(</span><span class="n">Manifold</span><span class="p">(</span><span class="s2">&quot;5^2_1&quot;</span><span class="p">))</span>
166
+ <span class="go">ooct01_00001(0,0)(0,0)</span>
167
+ </pre></div>
168
+ </div>
169
+ <p>For octahedral manifolds that are also the complement of an <a class="reference external" href="http://arxiv.org/abs/0805.0094">Augmented
170
+ Knotted Trivalent Graph (AugKTG)</a>, the
171
+ corresponding link is included:</p>
172
+ <div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">M</span> <span class="o">=</span> <span class="n">OctahedralOrientableCuspedCensus</span><span class="p">[</span><span class="s1">&#39;ooct04_00034&#39;</span><span class="p">]</span>
173
+ <span class="gp">&gt;&gt;&gt; </span><span class="n">M</span><span class="o">.</span><span class="n">link</span><span class="p">()</span>
174
+ <span class="go">&lt;Link: 4 comp; 17 cross&gt;</span>
175
+ </pre></div>
176
+ </div>
177
+ <p>The link can be viewed with <code class="docutils literal notranslate"><span class="pre">M.plink()</span></code>. To only see complements of
178
+ AugKTGs, supply <code class="docutils literal notranslate"><span class="pre">isAugKTG</span> <span class="pre">=</span> <span class="pre">True</span></code>:</p>
179
+ <div class="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">OctahedralOrientableCuspedCensus</span><span class="p">(</span><span class="n">isAugKTG</span> <span class="o">=</span> <span class="kc">True</span><span class="p">))</span>
180
+ <span class="go">238</span>
181
+ <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">OctahedralOrientableCuspedCensus</span><span class="p">(</span><span class="n">isAugKTG</span> <span class="o">=</span> <span class="kc">True</span><span class="p">)[:</span><span class="mi">5</span><span class="p">]:</span>
182
+ <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">link</span><span class="p">()</span><span class="o">.</span><span class="n">DT_code</span><span class="p">(</span><span class="n">DT_alpha</span><span class="o">=</span><span class="kc">True</span><span class="p">))</span>
183
+ <span class="go">ooct02_00001(0,0)(0,0)(0,0)(0,0) DT[mdbceceJamHBlCKgdfI]</span>
184
+ <span class="go">ooct02_00002(0,0)(0,0)(0,0) DT[lcgbcIkhLBJecGaFD]</span>
185
+ <span class="go">ooct02_00003(0,0)(0,0)(0,0) DT[icebbGIAfhcEdB]</span>
186
+ <span class="go">ooct02_00005(0,0)(0,0)(0,0) DT[hcdbbFHegbDAc]</span>
187
+ <span class="go">ooct04_00027(0,0)(0,0)(0,0)(0,0) DT[zdpecbBujVtiWzsLQpxYREadhOKCmFgN]</span>
188
+ </pre></div>
189
+ </div>
190
+ </dd></dl>
191
+
192
+ <dl class="py data">
193
+ <dt class="sig sig-object py" id="snappy.OctahedralNonorientableCuspedCensus">
194
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">OctahedralNonorientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">OctahedralNonorientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.OctahedralNonorientableCuspedCensus" title="Link to this definition"></a></dt>
195
+ <dd><p>Iterator for the octahedral non-orientable cusped hyperbolic manifolds up to
196
+ 5 octahedra, i.e., manifolds that admit a tessellation by regular ideal
197
+ hyperbolic octahedra.</p>
198
+ <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">OctahedralNonorientableCuspedCensus</span><span class="p">(</span><span class="n">solids</span> <span class="o">=</span> <span class="mi">3</span><span class="p">,</span> <span class="n">betti</span> <span class="o">=</span> <span class="mi">3</span><span class="p">,</span><span class="n">cusps</span> <span class="o">=</span> <span class="mi">4</span><span class="p">):</span>
199
+ <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>
200
+ <span class="go">noct03_00007(0,0)(0,0)(0,0)(0,0) Z/2 + Z + Z + Z</span>
201
+ <span class="go">noct03_00029(0,0)(0,0)(0,0)(0,0) Z/2 + Z + Z + Z</span>
202
+ <span class="go">noct03_00047(0,0)(0,0)(0,0)(0,0) Z/2 + Z + Z + Z</span>
203
+ <span class="go">noct03_00048(0,0)(0,0)(0,0)(0,0) Z/2 + Z + Z + Z</span>
204
+ </pre></div>
205
+ </div>
206
+ </dd></dl>
207
+
208
+ <dl class="py data">
209
+ <dt class="sig sig-object py" id="snappy.CubicalOrientableCuspedCensus">
210
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">CubicalOrientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">CubicalOrientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.CubicalOrientableCuspedCensus" title="Link to this definition"></a></dt>
211
+ <dd><p>Iterator for the cubical orientable cusped hyperbolic manifolds up to
212
+ 7 cubes, i.e., manifolds that admit a tessellation by regular ideal
213
+ hyperbolic octahedra.</p>
214
+ <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">M</span> <span class="o">=</span> <span class="n">TetrahedralOrientableCuspedCensus</span><span class="p">[</span><span class="s1">&#39;otet05_00001&#39;</span><span class="p">]</span>
215
+ <span class="gp">&gt;&gt;&gt; </span><span class="n">CubicalOrientableCuspedCensus</span><span class="o">.</span><span class="n">identify</span><span class="p">(</span><span class="n">M</span><span class="p">)</span>
216
+ <span class="go">ocube01_00002(0,0)(0,0)</span>
217
+ </pre></div>
218
+ </div>
219
+ </dd></dl>
220
+
221
+ <dl class="py data">
222
+ <dt class="sig sig-object py" id="snappy.CubicalNonorientableCuspedCensus">
223
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">CubicalNonorientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">CubicalNonorientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.CubicalNonorientableCuspedCensus" title="Link to this definition"></a></dt>
224
+ <dd><p>Iterator for the cubical non-orientable cusped hyperbolic manifolds up to
225
+ 5 cubes, i.e., manifolds that admit a tessellation by regular ideal
226
+ hyperbolic octahedra.</p>
227
+ <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">CubicalNonorientableCuspedCensus</span><span class="p">[</span><span class="o">-</span><span class="mi">3</span><span class="p">:]:</span>
228
+ <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>
229
+ <span class="go">ncube05_30945(0,0) 25.37354016</span>
230
+ <span class="go">ncube05_30946(0,0)(0,0) 25.37354016</span>
231
+ <span class="go">ncube05_30947(0,0)(0,0) 25.37354016</span>
232
+ </pre></div>
233
+ </div>
234
+ </dd></dl>
235
+
236
+ <dl class="py data">
237
+ <dt class="sig sig-object py" id="snappy.DodecahedralOrientableCuspedCensus">
238
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">DodecahedralOrientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">DodecahedralOrientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.DodecahedralOrientableCuspedCensus" title="Link to this definition"></a></dt>
239
+ <dd><p>Iterator for the dodecahedral orientable cusped hyperbolic manifolds up to
240
+ 2 dodecahedra, i.e., manifolds that admit a tessellation by regular ideal
241
+ hyperbolic dodecahedra.</p>
242
+ <p>Complement of one of the dodecahedral knots by Aitchison and Rubinstein:</p>
243
+ <div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">M</span><span class="o">=</span><span class="n">DodecahedralOrientableCuspedCensus</span><span class="p">[</span><span class="s1">&#39;odode02_00913&#39;</span><span class="p">]</span>
244
+ <span class="gp">&gt;&gt;&gt; </span><span class="n">M</span><span class="o">.</span><span class="n">dehn_fill</span><span class="p">((</span><span class="mi">1</span><span class="p">,</span><span class="mi">0</span><span class="p">))</span>
245
+ <span class="gp">&gt;&gt;&gt; </span><span class="n">M</span><span class="o">.</span><span class="n">fundamental_group</span><span class="p">()</span>
246
+ <span class="go">Generators:</span>
247
+
248
+ <span class="go">Relators:</span>
249
+ </pre></div>
250
+ </div>
251
+ </dd></dl>
252
+
253
+ <dl class="py data">
254
+ <dt class="sig sig-object py" id="snappy.DodecahedralNonorientableCuspedCensus">
255
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">DodecahedralNonorientableCuspedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">DodecahedralNonorientableCuspedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.DodecahedralNonorientableCuspedCensus" title="Link to this definition"></a></dt>
256
+ <dd><p>Iterator for the dodecahedral non-orientable cusped hyperbolic manifolds up to
257
+ 2 dodecahedra, i.e., manifolds that admit a tessellation by regular ideal
258
+ hyperbolic dodecahedra.</p>
259
+ <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">DodecahedralNonorientableCuspedCensus</span><span class="p">)</span>
260
+ <span class="go">4146</span>
261
+ </pre></div>
262
+ </div>
263
+ </dd></dl>
264
+
265
+ <dl class="py data">
266
+ <dt class="sig sig-object py" id="snappy.IcosahedralOrientableClosedCensus">
267
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">IcosahedralOrientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">IcosahedralOrientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.IcosahedralOrientableClosedCensus" title="Link to this definition"></a></dt>
268
+ <dd><p>Iterator for the icosahedral orientable closed hyperbolic manifolds up
269
+ to 4 icosahedra, i.e., manifolds that admit a tessellation by regula finite
270
+ hyperbolic icosahedra.</p>
271
+ <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">M</span> <span class="o">=</span> <span class="n">IcosahedralOrientableClosedCensus</span><span class="p">[</span><span class="mi">0</span><span class="p">]</span>
272
+ <span class="gp">&gt;&gt;&gt; </span><span class="n">M</span><span class="o">.</span><span class="n">volume</span><span class="p">()</span>
273
+ <span class="go">4.68603427</span>
274
+ <span class="gp">&gt;&gt;&gt; </span><span class="n">M</span>
275
+ <span class="go">oicocld01_00000(1,0)</span>
276
+ </pre></div>
277
+ </div>
278
+ </dd></dl>
279
+
280
+ <dl class="py data">
281
+ <dt class="sig sig-object py" id="snappy.IcosahedralNonorientableClosedCensus">
282
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">IcosahedralNonorientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">IcosahedralNonorientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.IcosahedralNonorientableClosedCensus" title="Link to this definition"></a></dt>
283
+ <dd><p>Iterator for the icosahedral non-orientable closed hyperbolic manifolds up
284
+ to 3 icosahedra, i.e., manifolds that admit a tessellation by regular finite
285
+ hyperbolic icosahedra.</p>
286
+ <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="nb">list</span><span class="p">(</span><span class="n">IcosahedralNonorientableClosedCensus</span><span class="p">)</span>
287
+ <span class="go">[nicocld02_00000(1,0)]</span>
288
+ </pre></div>
289
+ </div>
290
+ </dd></dl>
291
+
292
+ <dl class="py data">
293
+ <dt class="sig sig-object py" id="snappy.CubicalOrientableClosedCensus">
294
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">CubicalOrientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">CubicalOrientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.CubicalOrientableClosedCensus" title="Link to this definition"></a></dt>
295
+ <dd><p>Iterator for the cubical orientable closed hyperbolic manifolds up
296
+ to 10 cubes, i.e., manifolds that admit a tessellation by regular finite
297
+ hyperbolic cubes.</p>
298
+ <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">CubicalOrientableClosedCensus</span><span class="p">)</span>
299
+ <span class="go">69</span>
300
+ </pre></div>
301
+ </div>
302
+ </dd></dl>
303
+
304
+ <dl class="py data">
305
+ <dt class="sig sig-object py" id="snappy.CubicalNonorientableClosedCensus">
306
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">CubicalNonorientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">CubicalNonorientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.CubicalNonorientableClosedCensus" title="Link to this definition"></a></dt>
307
+ <dd><p>Iterator for the cubical non-orientable closed hyperbolic manifolds up
308
+ to 10 cubes, i.e., manifolds that admit a tessellation by regular finite
309
+ hyperbolic cubes.</p>
310
+ <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">CubicalNonorientableClosedCensus</span><span class="p">)</span>
311
+ <span class="go">93</span>
312
+ </pre></div>
313
+ </div>
314
+ </dd></dl>
315
+
316
+ <dl class="py data">
317
+ <dt class="sig sig-object py" id="snappy.DodecahedralOrientableClosedCensus">
318
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">DodecahedralOrientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">DodecahedralOrientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.DodecahedralOrientableClosedCensus" title="Link to this definition"></a></dt>
319
+ <dd><p>Iterator for the dodecahedral orientable closed hyperbolic manifolds up
320
+ to 3 dodecahedra, i.e., manifolds that admit a tessellation by regular finite
321
+ hyperbolic dodecahedra with a dihedral angle of 72 degrees.</p>
322
+ <p>The Seifert-Weber space:</p>
323
+ <div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">M</span> <span class="o">=</span> <span class="n">DodecahedralOrientableClosedCensus</span><span class="p">(</span><span class="n">solids</span> <span class="o">=</span> <span class="mi">1</span><span class="p">)[</span><span class="o">-</span><span class="mi">1</span><span class="p">]</span>
324
+ <span class="gp">&gt;&gt;&gt; </span><span class="n">M</span><span class="o">.</span><span class="n">homology</span><span class="p">()</span>
325
+ <span class="go">Z/5 + Z/5 + Z/5</span>
326
+ </pre></div>
327
+ </div>
328
+ </dd></dl>
329
+
330
+ <dl class="py data">
331
+ <dt class="sig sig-object py" id="snappy.DodecahedralNonorientableClosedCensus">
332
+ <span class="sig-prename descclassname"><span class="pre">snappy.</span></span><span class="sig-name descname"><span class="pre">DodecahedralNonorientableClosedCensus</span></span><em class="property"><span class="w"> </span><span class="p"><span class="pre">=</span></span><span class="w"> </span><span class="pre">DodecahedralNonorientableClosedCensus</span> <span class="pre">without</span> <span class="pre">filters</span></em><a class="headerlink" href="#snappy.DodecahedralNonorientableClosedCensus" title="Link to this definition"></a></dt>
333
+ <dd><p>Iterator for the dodecahedral non-orientable closed hyperbolic manifolds up
334
+ to 2 dodecahedra, i.e., manifolds that admit a tessellation by regular finite
335
+ hyperbolic dodecahedra with a dihedral angle of 72 degrees.</p>
336
+ <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">DodecahedralNonorientableClosedCensus</span><span class="p">[</span><span class="mi">0</span><span class="p">]</span><span class="o">.</span><span class="n">volume</span><span class="p">()</span>
337
+ <span class="go">22.39812948</span>
338
+ </pre></div>
339
+ </div>
340
+ </dd></dl>
341
+
342
+ </section>
343
+
344
+
345
+ </div>
346
+ </div>
347
+ <footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
348
+ <a href="censuses.html" class="btn btn-neutral float-left" title="Census manifolds" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
349
+ <a href="plink.html" class="btn btn-neutral float-right" title="Using SnapPy’s link editor" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
350
+ </div>
351
+
352
+ <hr/>
353
+
354
+ <div role="contentinfo">
355
+ <p>&#169; Copyright 2009-2025, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
356
+ </div>
357
+
358
+ Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
359
+ <a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
360
+ provided by <a href="https://readthedocs.org">Read the Docs</a>.
361
+
362
+
363
+ </footer>
364
+ </div>
365
+ </div>
366
+ </section>
367
+ </div>
368
+ <script>
369
+ jQuery(function () {
370
+ SphinxRtdTheme.Navigation.enable(true);
371
+ });
372
+ </script>
373
+
374
+ </body>
378
375
  </html>