snappy 3.1__cp310-cp310-macosx_11_0_arm64.whl → 3.2__cp310-cp310-macosx_11_0_arm64.whl

Sign up to get free protection for your applications and to get access to all the features.
Files changed (465) hide show
  1. snappy/CyOpenGL.cpython-310-darwin.so +0 -0
  2. snappy/SnapPy.cpython-310-darwin.so +0 -0
  3. snappy/SnapPyHP.cpython-310-darwin.so +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/credits.rst.txt +6 -1
  25. snappy/doc/_sources/development.rst.txt +66 -46
  26. snappy/doc/_sources/index.rst.txt +72 -5
  27. snappy/doc/_sources/installing.rst.txt +145 -162
  28. snappy/doc/_sources/news.rst.txt +73 -1
  29. snappy/doc/_sources/ptolemy_examples1.rst.txt +8 -7
  30. snappy/doc/_sources/ptolemy_examples3.rst.txt +2 -2
  31. snappy/doc/_sources/triangulation.rst.txt +2 -2
  32. snappy/doc/_sources/verify.rst.txt +89 -29
  33. snappy/doc/_sources/verify_internals.rst.txt +5 -16
  34. snappy/doc/_static/basic.css +23 -1
  35. snappy/doc/_static/css/badge_only.css +1 -1
  36. snappy/doc/_static/css/theme.css +1 -1
  37. snappy/doc/_static/doctools.js +1 -1
  38. snappy/doc/_static/documentation_options.js +2 -3
  39. snappy/doc/_static/fonts/Lato/lato-bold.eot +0 -0
  40. snappy/doc/_static/fonts/Lato/lato-bold.ttf +0 -0
  41. snappy/doc/_static/fonts/Lato/lato-bold.woff +0 -0
  42. snappy/doc/_static/fonts/Lato/lato-bold.woff2 +0 -0
  43. snappy/doc/_static/fonts/Lato/lato-bolditalic.eot +0 -0
  44. snappy/doc/_static/fonts/Lato/lato-bolditalic.ttf +0 -0
  45. snappy/doc/_static/fonts/Lato/lato-bolditalic.woff +0 -0
  46. snappy/doc/_static/fonts/Lato/lato-bolditalic.woff2 +0 -0
  47. snappy/doc/_static/fonts/Lato/lato-italic.eot +0 -0
  48. snappy/doc/_static/fonts/Lato/lato-italic.ttf +0 -0
  49. snappy/doc/_static/fonts/Lato/lato-italic.woff +0 -0
  50. snappy/doc/_static/fonts/Lato/lato-italic.woff2 +0 -0
  51. snappy/doc/_static/fonts/Lato/lato-regular.eot +0 -0
  52. snappy/doc/_static/fonts/Lato/lato-regular.ttf +0 -0
  53. snappy/doc/_static/fonts/Lato/lato-regular.woff +0 -0
  54. snappy/doc/_static/fonts/Lato/lato-regular.woff2 +0 -0
  55. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.eot +0 -0
  56. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.ttf +0 -0
  57. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff +0 -0
  58. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff2 +0 -0
  59. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.eot +0 -0
  60. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.ttf +0 -0
  61. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff +0 -0
  62. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff2 +0 -0
  63. snappy/doc/_static/js/versions.js +228 -0
  64. snappy/doc/_static/language_data.js +2 -2
  65. snappy/doc/_static/pygments.css +1 -0
  66. snappy/doc/_static/searchtools.js +125 -71
  67. snappy/doc/_static/sphinx_highlight.js +13 -3
  68. snappy/doc/additional_classes.html +291 -122
  69. snappy/doc/bugs.html +17 -20
  70. snappy/doc/censuses.html +34 -53
  71. snappy/doc/credits.html +22 -22
  72. snappy/doc/development.html +88 -68
  73. snappy/doc/genindex.html +66 -145
  74. snappy/doc/index.html +86 -31
  75. snappy/doc/installing.html +164 -182
  76. snappy/doc/manifold.html +1168 -556
  77. snappy/doc/manifoldhp.html +18 -21
  78. snappy/doc/news.html +91 -33
  79. snappy/doc/objects.inv +0 -0
  80. snappy/doc/other.html +20 -22
  81. snappy/doc/platonic_census.html +31 -34
  82. snappy/doc/plink.html +19 -22
  83. snappy/doc/ptolemy.html +20 -22
  84. snappy/doc/ptolemy_classes.html +102 -105
  85. snappy/doc/ptolemy_examples1.html +34 -36
  86. snappy/doc/ptolemy_examples2.html +28 -31
  87. snappy/doc/ptolemy_examples3.html +26 -29
  88. snappy/doc/ptolemy_examples4.html +20 -23
  89. snappy/doc/ptolemy_prelim.html +25 -28
  90. snappy/doc/py-modindex.html +16 -19
  91. snappy/doc/screenshots.html +22 -24
  92. snappy/doc/search.html +15 -18
  93. snappy/doc/searchindex.js +1 -1
  94. snappy/doc/snap.html +18 -21
  95. snappy/doc/snappy.html +18 -20
  96. snappy/doc/spherogram.html +84 -87
  97. snappy/doc/todo.html +17 -20
  98. snappy/doc/triangulation.html +324 -215
  99. snappy/doc/tutorial.html +17 -20
  100. snappy/doc/verify.html +100 -46
  101. snappy/doc/verify_internals.html +106 -563
  102. snappy/drilling/__init__.py +153 -235
  103. snappy/drilling/barycentric.py +103 -0
  104. snappy/drilling/constants.py +0 -2
  105. snappy/drilling/crush.py +56 -130
  106. snappy/drilling/cusps.py +12 -6
  107. snappy/drilling/debug.py +2 -1
  108. snappy/drilling/exceptions.py +7 -40
  109. snappy/drilling/moves.py +302 -243
  110. snappy/drilling/perturb.py +63 -37
  111. snappy/drilling/shorten.py +36 -0
  112. snappy/drilling/subdivide.py +0 -5
  113. snappy/drilling/test.py +23 -0
  114. snappy/drilling/test_cases.py +126 -0
  115. snappy/drilling/tracing.py +9 -37
  116. snappy/exceptions.py +18 -5
  117. snappy/exterior_to_link/barycentric_geometry.py +2 -4
  118. snappy/exterior_to_link/main.py +8 -7
  119. snappy/exterior_to_link/mcomplex_with_link.py +2 -2
  120. snappy/exterior_to_link/rational_linear_algebra.py +1 -1
  121. snappy/exterior_to_link/rational_linear_algebra_wrapped.py +1 -1
  122. snappy/exterior_to_link/test.py +21 -33
  123. snappy/geometric_structure/__init__.py +212 -0
  124. snappy/geometric_structure/cusp_neighborhood/__init__.py +3 -0
  125. snappy/geometric_structure/cusp_neighborhood/complex_cusp_cross_section.py +697 -0
  126. snappy/geometric_structure/cusp_neighborhood/cusp_cross_section_base.py +484 -0
  127. snappy/geometric_structure/cusp_neighborhood/exceptions.py +42 -0
  128. snappy/geometric_structure/cusp_neighborhood/real_cusp_cross_section.py +298 -0
  129. snappy/geometric_structure/cusp_neighborhood/tiles_for_cusp_neighborhood.py +159 -0
  130. snappy/geometric_structure/cusp_neighborhood/vertices.py +32 -0
  131. snappy/geometric_structure/geodesic/__init__.py +0 -0
  132. snappy/geometric_structure/geodesic/add_core_curves.py +152 -0
  133. snappy/geometric_structure/geodesic/avoid_core_curves.py +369 -0
  134. snappy/geometric_structure/geodesic/canonical_keys.py +52 -0
  135. snappy/geometric_structure/geodesic/check_away_from_core_curve.py +60 -0
  136. snappy/geometric_structure/geodesic/constants.py +6 -0
  137. snappy/geometric_structure/geodesic/exceptions.py +22 -0
  138. snappy/{drilling → geometric_structure/geodesic}/fixed_points.py +34 -9
  139. snappy/{drilling/geodesic_info.py → geometric_structure/geodesic/geodesic_start_point_info.py} +139 -180
  140. snappy/geometric_structure/geodesic/graph_trace_helper.py +67 -0
  141. snappy/geometric_structure/geodesic/line.py +30 -0
  142. snappy/geometric_structure/geodesic/multiplicity.py +127 -0
  143. snappy/geometric_structure/geodesic/tiles_for_geodesic.py +101 -0
  144. snappy/geometric_structure/test.py +22 -0
  145. snappy/gui.py +23 -13
  146. snappy/horoviewer.py +7 -7
  147. snappy/hyperboloid/__init__.py +96 -31
  148. snappy/hyperboloid/distances.py +245 -0
  149. snappy/hyperboloid/horoball.py +19 -0
  150. snappy/hyperboloid/line.py +35 -0
  151. snappy/hyperboloid/point.py +9 -0
  152. snappy/hyperboloid/triangle.py +29 -0
  153. snappy/isometry_signature.py +382 -0
  154. snappy/len_spec/__init__.py +596 -0
  155. snappy/len_spec/geodesic_info.py +110 -0
  156. snappy/len_spec/geodesic_key_info_dict.py +117 -0
  157. snappy/len_spec/geodesic_piece.py +143 -0
  158. snappy/len_spec/geometric_structure.py +182 -0
  159. snappy/len_spec/geometry.py +80 -0
  160. snappy/len_spec/length_spectrum_geodesic_info.py +170 -0
  161. snappy/len_spec/spine.py +206 -0
  162. snappy/len_spec/test.py +24 -0
  163. snappy/len_spec/test_cases.py +69 -0
  164. snappy/len_spec/tile.py +275 -0
  165. snappy/len_spec/word.py +86 -0
  166. snappy/math_basics.py +39 -13
  167. snappy/matrix.py +52 -9
  168. snappy/number.py +12 -6
  169. snappy/numeric_output_checker.py +2 -3
  170. snappy/pari.py +8 -4
  171. snappy/phone_home.py +2 -1
  172. snappy/polyviewer.py +8 -8
  173. snappy/ptolemy/__init__.py +1 -1
  174. snappy/ptolemy/component.py +2 -2
  175. snappy/ptolemy/coordinates.py +25 -25
  176. snappy/ptolemy/findLoops.py +9 -9
  177. snappy/ptolemy/manifoldMethods.py +27 -29
  178. snappy/ptolemy/polynomial.py +50 -57
  179. snappy/ptolemy/processFileBase.py +60 -0
  180. snappy/ptolemy/ptolemyVariety.py +109 -41
  181. snappy/ptolemy/reginaWrapper.py +4 -4
  182. snappy/ptolemy/rur.py +1 -1
  183. snappy/ptolemy/solutionsToPrimeIdealGroebnerBasis.py +9 -9
  184. snappy/ptolemy/test.py +99 -54
  185. snappy/ptolemy/utilities.py +1 -1
  186. snappy/raytracing/__init__.py +64 -0
  187. snappy/raytracing/additional_horospheres.py +64 -0
  188. snappy/raytracing/additional_len_spec_choices.py +63 -0
  189. snappy/raytracing/cohomology_fractal.py +0 -3
  190. snappy/raytracing/eyeball.py +123 -0
  191. snappy/raytracing/finite_raytracing_data.py +17 -17
  192. snappy/raytracing/finite_viewer.py +15 -15
  193. snappy/raytracing/geodesic_tube_info.py +93 -63
  194. snappy/raytracing/geodesics.py +94 -64
  195. snappy/raytracing/geodesics_window.py +56 -34
  196. snappy/raytracing/gui_utilities.py +21 -6
  197. snappy/raytracing/hyperboloid_navigation.py +29 -4
  198. snappy/raytracing/hyperboloid_utilities.py +73 -73
  199. snappy/raytracing/ideal_raytracing_data.py +121 -91
  200. snappy/raytracing/inside_viewer.py +199 -66
  201. snappy/raytracing/pack.py +22 -0
  202. snappy/raytracing/raytracing_data.py +37 -25
  203. snappy/raytracing/raytracing_view.py +70 -65
  204. snappy/raytracing/shaders/Eye.png +0 -0
  205. snappy/raytracing/shaders/NonGeometric.png +0 -0
  206. snappy/raytracing/shaders/__init__.py +39 -3
  207. snappy/raytracing/shaders/fragment.glsl +451 -133
  208. snappy/raytracing/test.py +29 -0
  209. snappy/raytracing/tooltip.py +146 -0
  210. snappy/raytracing/upper_halfspace_utilities.py +42 -9
  211. snappy/sage_helper.py +67 -134
  212. snappy/settings.py +90 -77
  213. snappy/shell.py +2 -0
  214. snappy/snap/character_varieties.py +2 -2
  215. snappy/snap/find_field.py +4 -3
  216. snappy/snap/fundamental_polyhedron.py +2 -2
  217. snappy/snap/kernel_structures.py +5 -1
  218. snappy/snap/nsagetools.py +9 -8
  219. snappy/snap/peripheral/dual_cellulation.py +4 -3
  220. snappy/snap/peripheral/peripheral.py +2 -2
  221. snappy/snap/peripheral/surface.py +5 -5
  222. snappy/snap/peripheral/test.py +1 -1
  223. snappy/snap/polished_reps.py +8 -8
  224. snappy/snap/slice_obs_HKL.py +16 -14
  225. snappy/snap/t3mlite/arrow.py +3 -3
  226. snappy/snap/t3mlite/edge.py +3 -3
  227. snappy/snap/t3mlite/homology.py +2 -2
  228. snappy/snap/t3mlite/mcomplex.py +3 -3
  229. snappy/snap/t3mlite/simplex.py +12 -0
  230. snappy/snap/t3mlite/spun.py +18 -17
  231. snappy/snap/t3mlite/test_vs_regina.py +4 -4
  232. snappy/snap/test.py +37 -53
  233. snappy/snap/utilities.py +4 -5
  234. snappy/test.py +121 -138
  235. snappy/test_cases.py +263 -0
  236. snappy/testing.py +131 -0
  237. snappy/tiling/__init__.py +2 -0
  238. snappy/tiling/canonical_key_dict.py +59 -0
  239. snappy/tiling/dict_based_set.py +79 -0
  240. snappy/tiling/floor.py +49 -0
  241. snappy/tiling/hyperboloid_dict.py +54 -0
  242. snappy/tiling/iter_utils.py +78 -0
  243. snappy/tiling/lifted_tetrahedron.py +22 -0
  244. snappy/tiling/lifted_tetrahedron_set.py +54 -0
  245. snappy/tiling/real_hash_dict.py +164 -0
  246. snappy/tiling/test.py +23 -0
  247. snappy/tiling/tile.py +215 -0
  248. snappy/tiling/triangle.py +33 -0
  249. snappy/tkterminal.py +116 -86
  250. snappy/twister/main.py +1 -7
  251. snappy/twister/twister_core.cpython-310-darwin.so +0 -0
  252. snappy/upper_halfspace/__init__.py +78 -17
  253. snappy/verify/__init__.py +3 -7
  254. snappy/verify/{verifyCanonical.py → canonical.py} +78 -70
  255. snappy/verify/complex_volume/adjust_torsion.py +1 -2
  256. snappy/verify/complex_volume/closed.py +13 -13
  257. snappy/verify/complex_volume/cusped.py +6 -6
  258. snappy/verify/complex_volume/extended_bloch.py +5 -8
  259. snappy/verify/{cuspTranslations.py → cusp_translations.py} +1 -1
  260. snappy/verify/edge_equations.py +80 -0
  261. snappy/verify/exceptions.py +0 -55
  262. snappy/verify/{verifyHyperbolicity.py → hyperbolicity.py} +3 -3
  263. snappy/verify/interval_newton_shapes_engine.py +7 -5
  264. snappy/verify/interval_tree.py +5 -5
  265. snappy/verify/krawczyk_shapes_engine.py +17 -18
  266. snappy/verify/maximal_cusp_area_matrix/__init__.py +7 -74
  267. snappy/verify/maximal_cusp_area_matrix/cusp_tiling_engine.py +3 -4
  268. snappy/verify/maximal_cusp_area_matrix/cusp_translate_engine.py +1 -1
  269. snappy/verify/{realAlgebra.py → real_algebra.py} +1 -1
  270. snappy/verify/shapes.py +5 -3
  271. snappy/verify/short_slopes.py +39 -41
  272. snappy/verify/{squareExtensions.py → square_extensions.py} +14 -11
  273. snappy/verify/test.py +57 -60
  274. snappy/verify/upper_halfspace/extended_matrix.py +1 -1
  275. snappy/verify/upper_halfspace/finite_point.py +3 -4
  276. snappy/verify/upper_halfspace/ideal_point.py +9 -9
  277. snappy/verify/volume.py +2 -2
  278. snappy/version.py +2 -2
  279. {snappy-3.1.dist-info → snappy-3.2.dist-info}/METADATA +26 -11
  280. snappy-3.2.dist-info/RECORD +503 -0
  281. {snappy-3.1.dist-info → snappy-3.2.dist-info}/WHEEL +1 -1
  282. {snappy-3.1.dist-info → snappy-3.2.dist-info}/top_level.txt +6 -1
  283. snappy/__pycache__/__init__.cpython-310.pyc +0 -0
  284. snappy/__pycache__/browser.cpython-310.pyc +0 -0
  285. snappy/__pycache__/cache.cpython-310.pyc +0 -0
  286. snappy/__pycache__/database.cpython-310.pyc +0 -0
  287. snappy/__pycache__/db_utilities.cpython-310.pyc +0 -0
  288. snappy/__pycache__/decorated_isosig.cpython-310.pyc +0 -0
  289. snappy/__pycache__/exceptions.cpython-310.pyc +0 -0
  290. snappy/__pycache__/export_stl.cpython-310.pyc +0 -0
  291. snappy/__pycache__/filedialog.cpython-310.pyc +0 -0
  292. snappy/__pycache__/gui.cpython-310.pyc +0 -0
  293. snappy/__pycache__/horoviewer.cpython-310.pyc +0 -0
  294. snappy/__pycache__/infowindow.cpython-310.pyc +0 -0
  295. snappy/__pycache__/math_basics.cpython-310.pyc +0 -0
  296. snappy/__pycache__/matrix.cpython-310.pyc +0 -0
  297. snappy/__pycache__/number.cpython-310.pyc +0 -0
  298. snappy/__pycache__/numeric_output_checker.cpython-310.pyc +0 -0
  299. snappy/__pycache__/pari.cpython-310.pyc +0 -0
  300. snappy/__pycache__/polyviewer.cpython-310.pyc +0 -0
  301. snappy/__pycache__/sage_helper.cpython-310.pyc +0 -0
  302. snappy/__pycache__/version.cpython-310.pyc +0 -0
  303. snappy/doc/_sources/verify_canon.rst.txt +0 -90
  304. snappy/doc/_static/js/html5shiv-printshiv.min.js +0 -4
  305. snappy/doc/_static/js/html5shiv.min.js +0 -4
  306. snappy/doc/verify_canon.html +0 -304
  307. snappy/drilling/__pycache__/__init__.cpython-310.pyc +0 -0
  308. snappy/drilling/__pycache__/constants.cpython-310.pyc +0 -0
  309. snappy/drilling/__pycache__/crush.cpython-310.pyc +0 -0
  310. snappy/drilling/__pycache__/cusps.cpython-310.pyc +0 -0
  311. snappy/drilling/__pycache__/debug.cpython-310.pyc +0 -0
  312. snappy/drilling/__pycache__/epsilons.cpython-310.pyc +0 -0
  313. snappy/drilling/__pycache__/exceptions.cpython-310.pyc +0 -0
  314. snappy/drilling/__pycache__/fixed_points.cpython-310.pyc +0 -0
  315. snappy/drilling/__pycache__/geodesic_info.cpython-310.pyc +0 -0
  316. snappy/drilling/__pycache__/geodesic_tube.cpython-310.pyc +0 -0
  317. snappy/drilling/__pycache__/geometric_structure.cpython-310.pyc +0 -0
  318. snappy/drilling/__pycache__/line.cpython-310.pyc +0 -0
  319. snappy/drilling/__pycache__/moves.cpython-310.pyc +0 -0
  320. snappy/drilling/__pycache__/peripheral_curves.cpython-310.pyc +0 -0
  321. snappy/drilling/__pycache__/perturb.cpython-310.pyc +0 -0
  322. snappy/drilling/__pycache__/quotient_space.cpython-310.pyc +0 -0
  323. snappy/drilling/__pycache__/spatial_dict.cpython-310.pyc +0 -0
  324. snappy/drilling/__pycache__/subdivide.cpython-310.pyc +0 -0
  325. snappy/drilling/__pycache__/tracing.cpython-310.pyc +0 -0
  326. snappy/drilling/geodesic_tube.py +0 -441
  327. snappy/drilling/geometric_structure.py +0 -366
  328. snappy/drilling/line.py +0 -122
  329. snappy/drilling/quotient_space.py +0 -94
  330. snappy/drilling/spatial_dict.py +0 -128
  331. snappy/exterior_to_link/__pycache__/__init__.cpython-310.pyc +0 -0
  332. snappy/exterior_to_link/__pycache__/barycentric_geometry.cpython-310.pyc +0 -0
  333. snappy/exterior_to_link/__pycache__/exceptions.cpython-310.pyc +0 -0
  334. snappy/exterior_to_link/__pycache__/hyp_utils.cpython-310.pyc +0 -0
  335. snappy/exterior_to_link/__pycache__/link_projection.cpython-310.pyc +0 -0
  336. snappy/exterior_to_link/__pycache__/main.cpython-310.pyc +0 -0
  337. snappy/exterior_to_link/__pycache__/mcomplex_with_expansion.cpython-310.pyc +0 -0
  338. snappy/exterior_to_link/__pycache__/mcomplex_with_link.cpython-310.pyc +0 -0
  339. snappy/exterior_to_link/__pycache__/mcomplex_with_memory.cpython-310.pyc +0 -0
  340. snappy/exterior_to_link/__pycache__/pl_utils.cpython-310.pyc +0 -0
  341. snappy/exterior_to_link/__pycache__/put_in_S3.cpython-310.pyc +0 -0
  342. snappy/exterior_to_link/__pycache__/rational_linear_algebra.cpython-310.pyc +0 -0
  343. snappy/exterior_to_link/__pycache__/simplify_to_base_tri.cpython-310.pyc +0 -0
  344. snappy/exterior_to_link/__pycache__/stored_moves.cpython-310.pyc +0 -0
  345. snappy/hyperboloid/__pycache__/__init__.cpython-310.pyc +0 -0
  346. snappy/manifolds/__pycache__/__init__.cpython-310.pyc +0 -0
  347. snappy/ptolemy/__pycache__/__init__.cpython-310.pyc +0 -0
  348. snappy/ptolemy/__pycache__/component.cpython-310.pyc +0 -0
  349. snappy/ptolemy/__pycache__/coordinates.cpython-310.pyc +0 -0
  350. snappy/ptolemy/__pycache__/fieldExtensions.cpython-310.pyc +0 -0
  351. snappy/ptolemy/__pycache__/findLoops.cpython-310.pyc +0 -0
  352. snappy/ptolemy/__pycache__/homology.cpython-310.pyc +0 -0
  353. snappy/ptolemy/__pycache__/manifoldMethods.cpython-310.pyc +0 -0
  354. snappy/ptolemy/__pycache__/matrix.cpython-310.pyc +0 -0
  355. snappy/ptolemy/__pycache__/numericalSolutionsToGroebnerBasis.cpython-310.pyc +0 -0
  356. snappy/ptolemy/__pycache__/polynomial.cpython-310.pyc +0 -0
  357. snappy/ptolemy/__pycache__/processComponents.cpython-310.pyc +0 -0
  358. snappy/ptolemy/__pycache__/processFileBase.cpython-310.pyc +0 -0
  359. snappy/ptolemy/__pycache__/processFileDispatch.cpython-310.pyc +0 -0
  360. snappy/ptolemy/__pycache__/processMagmaFile.cpython-310.pyc +0 -0
  361. snappy/ptolemy/__pycache__/processRurFile.cpython-310.pyc +0 -0
  362. snappy/ptolemy/__pycache__/ptolemyGeneralizedObstructionClass.cpython-310.pyc +0 -0
  363. snappy/ptolemy/__pycache__/ptolemyObstructionClass.cpython-310.pyc +0 -0
  364. snappy/ptolemy/__pycache__/ptolemyVariety.cpython-310.pyc +0 -0
  365. snappy/ptolemy/__pycache__/ptolemyVarietyPrimeIdealGroebnerBasis.cpython-310.pyc +0 -0
  366. snappy/ptolemy/__pycache__/rur.cpython-310.pyc +0 -0
  367. snappy/ptolemy/__pycache__/solutionsToPrimeIdealGroebnerBasis.cpython-310.pyc +0 -0
  368. snappy/ptolemy/__pycache__/utilities.cpython-310.pyc +0 -0
  369. snappy/raytracing/__pycache__/__init__.cpython-310.pyc +0 -0
  370. snappy/raytracing/__pycache__/finite_raytracing_data.cpython-310.pyc +0 -0
  371. snappy/raytracing/__pycache__/gui_utilities.cpython-310.pyc +0 -0
  372. snappy/raytracing/__pycache__/hyperboloid_navigation.cpython-310.pyc +0 -0
  373. snappy/raytracing/__pycache__/hyperboloid_utilities.cpython-310.pyc +0 -0
  374. snappy/raytracing/__pycache__/ideal_raytracing_data.cpython-310.pyc +0 -0
  375. snappy/raytracing/__pycache__/inside_viewer.cpython-310.pyc +0 -0
  376. snappy/raytracing/__pycache__/raytracing_data.cpython-310.pyc +0 -0
  377. snappy/raytracing/__pycache__/raytracing_view.cpython-310.pyc +0 -0
  378. snappy/raytracing/__pycache__/upper_halfspace_utilities.cpython-310.pyc +0 -0
  379. snappy/raytracing/__pycache__/view_scale_controller.cpython-310.pyc +0 -0
  380. snappy/raytracing/zoom_slider/__pycache__/__init__.cpython-310.pyc +0 -0
  381. snappy/snap/__pycache__/__init__.cpython-310.pyc +0 -0
  382. snappy/snap/__pycache__/character_varieties.cpython-310.pyc +0 -0
  383. snappy/snap/__pycache__/fundamental_polyhedron.cpython-310.pyc +0 -0
  384. snappy/snap/__pycache__/interval_reps.cpython-310.pyc +0 -0
  385. snappy/snap/__pycache__/kernel_structures.cpython-310.pyc +0 -0
  386. snappy/snap/__pycache__/mcomplex_base.cpython-310.pyc +0 -0
  387. snappy/snap/__pycache__/nsagetools.cpython-310.pyc +0 -0
  388. snappy/snap/__pycache__/polished_reps.cpython-310.pyc +0 -0
  389. snappy/snap/__pycache__/shapes.cpython-310.pyc +0 -0
  390. snappy/snap/__pycache__/slice_obs_HKL.cpython-310.pyc +0 -0
  391. snappy/snap/__pycache__/utilities.cpython-310.pyc +0 -0
  392. snappy/snap/peripheral/__pycache__/__init__.cpython-310.pyc +0 -0
  393. snappy/snap/peripheral/__pycache__/dual_cellulation.cpython-310.pyc +0 -0
  394. snappy/snap/peripheral/__pycache__/link.cpython-310.pyc +0 -0
  395. snappy/snap/peripheral/__pycache__/peripheral.cpython-310.pyc +0 -0
  396. snappy/snap/peripheral/__pycache__/surface.cpython-310.pyc +0 -0
  397. snappy/snap/t3mlite/__pycache__/__init__.cpython-310.pyc +0 -0
  398. snappy/snap/t3mlite/__pycache__/arrow.cpython-310.pyc +0 -0
  399. snappy/snap/t3mlite/__pycache__/corner.cpython-310.pyc +0 -0
  400. snappy/snap/t3mlite/__pycache__/edge.cpython-310.pyc +0 -0
  401. snappy/snap/t3mlite/__pycache__/face.cpython-310.pyc +0 -0
  402. snappy/snap/t3mlite/__pycache__/files.cpython-310.pyc +0 -0
  403. snappy/snap/t3mlite/__pycache__/homology.cpython-310.pyc +0 -0
  404. snappy/snap/t3mlite/__pycache__/linalg.cpython-310.pyc +0 -0
  405. snappy/snap/t3mlite/__pycache__/mcomplex.cpython-310.pyc +0 -0
  406. snappy/snap/t3mlite/__pycache__/perm4.cpython-310.pyc +0 -0
  407. snappy/snap/t3mlite/__pycache__/simplex.cpython-310.pyc +0 -0
  408. snappy/snap/t3mlite/__pycache__/spun.cpython-310.pyc +0 -0
  409. snappy/snap/t3mlite/__pycache__/surface.cpython-310.pyc +0 -0
  410. snappy/snap/t3mlite/__pycache__/tetrahedron.cpython-310.pyc +0 -0
  411. snappy/snap/t3mlite/__pycache__/vertex.cpython-310.pyc +0 -0
  412. snappy/togl/__init__.py +0 -3
  413. snappy/togl/darwin-tk8.6/Togl2.1/LICENSE +0 -28
  414. snappy/togl/darwin-tk8.6/Togl2.1/libTogl2.1.dylib +0 -0
  415. snappy/togl/darwin-tk8.6/Togl2.1/pkgIndex.tcl +0 -5
  416. snappy/togl/darwin-tk8.7/Togl2.1/LICENSE +0 -28
  417. snappy/togl/darwin-tk8.7/Togl2.1/libTogl2.1.dylib +0 -0
  418. snappy/togl/darwin-tk8.7/Togl2.1/pkgIndex.tcl +0 -5
  419. snappy/togl/linux2-x86_64-tk8.6/Togl2.1/LICENSE +0 -28
  420. snappy/togl/linux2-x86_64-tk8.6/Togl2.1/libTogl2.1.so +0 -0
  421. snappy/togl/linux2-x86_64-tk8.6/Togl2.1/pkgIndex.tcl +0 -5
  422. snappy/togl/win32VC-tk8.6/Togl2.1/LICENSE +0 -28
  423. snappy/togl/win32VC-tk8.6/Togl2.1/Togl21.dll +0 -0
  424. snappy/togl/win32VC-tk8.6/Togl2.1/Togl21.lib +0 -0
  425. snappy/togl/win32VC-tk8.6/Togl2.1/pkgIndex.tcl +0 -6
  426. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/LICENSE +0 -28
  427. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/Togl21.dll +0 -0
  428. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/Togl21.lib +0 -0
  429. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/pkgIndex.tcl +0 -6
  430. snappy/twister/__pycache__/__init__.cpython-310.pyc +0 -0
  431. snappy/twister/__pycache__/main.cpython-310.pyc +0 -0
  432. snappy/upper_halfspace/__pycache__/__init__.cpython-310.pyc +0 -0
  433. snappy/upper_halfspace/__pycache__/ideal_point.cpython-310.pyc +0 -0
  434. snappy/verify/__pycache__/__init__.cpython-310.pyc +0 -0
  435. snappy/verify/__pycache__/cuspCrossSection.cpython-310.pyc +0 -0
  436. snappy/verify/__pycache__/cuspTranslations.cpython-310.pyc +0 -0
  437. snappy/verify/__pycache__/cusp_areas.cpython-310.pyc +0 -0
  438. snappy/verify/__pycache__/cusp_shapes.cpython-310.pyc +0 -0
  439. snappy/verify/__pycache__/exceptions.cpython-310.pyc +0 -0
  440. snappy/verify/__pycache__/interval_newton_shapes_engine.cpython-310.pyc +0 -0
  441. snappy/verify/__pycache__/interval_tree.cpython-310.pyc +0 -0
  442. snappy/verify/__pycache__/krawczyk_shapes_engine.cpython-310.pyc +0 -0
  443. snappy/verify/__pycache__/realAlgebra.cpython-310.pyc +0 -0
  444. snappy/verify/__pycache__/shapes.cpython-310.pyc +0 -0
  445. snappy/verify/__pycache__/short_slopes.cpython-310.pyc +0 -0
  446. snappy/verify/__pycache__/squareExtensions.cpython-310.pyc +0 -0
  447. snappy/verify/__pycache__/verifyCanonical.cpython-310.pyc +0 -0
  448. snappy/verify/__pycache__/verifyHyperbolicity.cpython-310.pyc +0 -0
  449. snappy/verify/__pycache__/volume.cpython-310.pyc +0 -0
  450. snappy/verify/complex_volume/__pycache__/__init__.cpython-310.pyc +0 -0
  451. snappy/verify/complex_volume/__pycache__/adjust_torsion.cpython-310.pyc +0 -0
  452. snappy/verify/complex_volume/__pycache__/closed.cpython-310.pyc +0 -0
  453. snappy/verify/complex_volume/__pycache__/compute_ptolemys.cpython-310.pyc +0 -0
  454. snappy/verify/complex_volume/__pycache__/cusped.cpython-310.pyc +0 -0
  455. snappy/verify/complex_volume/__pycache__/extended_bloch.cpython-310.pyc +0 -0
  456. snappy/verify/cuspCrossSection.py +0 -1422
  457. snappy/verify/maximal_cusp_area_matrix/__pycache__/__init__.cpython-310.pyc +0 -0
  458. snappy/verify/maximal_cusp_area_matrix/__pycache__/cusp_tiling_engine.cpython-310.pyc +0 -0
  459. snappy/verify/maximal_cusp_area_matrix/__pycache__/cusp_translate_engine.cpython-310.pyc +0 -0
  460. snappy/verify/upper_halfspace/__pycache__/__init__.cpython-310.pyc +0 -0
  461. snappy/verify/upper_halfspace/__pycache__/extended_matrix.cpython-310.pyc +0 -0
  462. snappy/verify/upper_halfspace/__pycache__/finite_point.cpython-310.pyc +0 -0
  463. snappy/verify/upper_halfspace/__pycache__/ideal_point.cpython-310.pyc +0 -0
  464. snappy-3.1.dist-info/RECORD +0 -585
  465. {snappy-3.1.dist-info → snappy-3.2.dist-info}/entry_points.txt +0 -0
snappy/doc/ptolemy_classes.html CHANGED
@@ -1,24 +1,24 @@
1
+
2
+
1
3
  <!DOCTYPE html>
2
- <html class="writer-html5" lang="en" >
4
+ <html class="writer-html5" lang="en" data-content_root="./">
3
5
  <head>
4
- <meta charset="utf-8" /><meta name="generator" content="Docutils 0.18.1: http://docutils.sourceforge.net/" />
6
+ <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
5
7
 
6
8
  <meta name="viewport" content="width=device-width, initial-scale=1.0" />
7
- <title>Classes &mdash; SnapPy 3.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]-->
9
+ <title>Classes &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
+
15
14
 
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 async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
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 async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
22
22
  <script src="_static/js/theme.js"></script>
23
23
  <link rel="index" title="Index" href="genindex.html" />
24
24
  <link rel="search" title="Search" href="search.html" />
@@ -38,9 +38,6 @@
38
38
  SnapPy
39
39
  <img src="_static/SnapPy-horizontal-128.png" class="logo" alt="Logo"/>
40
40
  </a>
41
- <div class="version">
42
- 3.1
43
- </div>
44
41
  <div role="search">
45
42
  <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
46
43
  <input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
@@ -111,12 +108,12 @@
111
108
  <div itemprop="articleBody">
112
109
 
113
110
  <section id="classes">
114
- <h1>Classes<a class="headerlink" href="#classes" title="Permalink to this heading"></a></h1>
111
+ <h1>Classes<a class="headerlink" href="#classes" title="Link to this heading"></a></h1>
115
112
  <section id="ptolemyvariety">
116
- <h2>PtolemyVariety<a class="headerlink" href="#ptolemyvariety" title="Permalink to this heading"></a></h2>
113
+ <h2>PtolemyVariety<a class="headerlink" href="#ptolemyvariety" title="Link to this heading"></a></h2>
117
114
  <dl class="py class">
118
115
  <dt class="sig sig-object py" id="snappy.ptolemy.ptolemyVariety.PtolemyVariety">
119
- <em class="property"><span class="pre">class</span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">snappy.ptolemy.ptolemyVariety.</span></span><span class="sig-name descname"><span class="pre">PtolemyVariety</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">manifold</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">N</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">obstruction_class</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">simplify</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">eliminate_fixed_ptolemys</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.ptolemyVariety.PtolemyVariety" title="Permalink to this definition"></a></dt>
116
+ <em class="property"><span class="pre">class</span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">snappy.ptolemy.ptolemyVariety.</span></span><span class="sig-name descname"><span class="pre">PtolemyVariety</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">manifold</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">N</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">obstruction_class</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">simplify</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">eliminate_fixed_ptolemys</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.ptolemyVariety.PtolemyVariety" title="Link to this definition"></a></dt>
120
117
  <dd><p>Holds a reduced Ptolemy variety.</p>
121
118
  <p>=== Examples ===</p>
122
119
  <p>To generate such a variety, call:</p>
@@ -160,7 +157,7 @@ python section by py_eval_variable_dict().)</p>
160
157
  </div>
161
158
  <dl class="py method">
162
159
  <dt class="sig sig-object py" id="snappy.ptolemy.ptolemyVariety.PtolemyVariety.compute_decomposition">
163
- <span class="sig-name descname"><span class="pre">compute_decomposition</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">engine</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">memory_limit</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">750000000</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">directory</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">verbose</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">template_path</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">'magma/default.magma_template'</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.ptolemyVariety.PtolemyVariety.compute_decomposition" title="Permalink to this definition"></a></dt>
160
+ <span class="sig-name descname"><span class="pre">compute_decomposition</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">engine</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">memory_limit</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">750000000</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">directory</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">verbose</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">template_path</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">'magma/default.magma_template'</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.ptolemyVariety.PtolemyVariety.compute_decomposition" title="Link to this definition"></a></dt>
164
161
  <dd><p>Starts an engine such as magma to compute the
165
162
  radical decomposition of the Ptolemy variety.</p>
166
163
  <p>If started in sage, uses sage, otherwise, uses magma.</p>
@@ -173,7 +170,7 @@ verbose — print extra information</p>
173
170
 
174
171
  <dl class="py method">
175
172
  <dt class="sig sig-object py" id="snappy.ptolemy.ptolemyVariety.PtolemyVariety.compute_solutions">
176
- <span class="sig-name descname"><span class="pre">compute_solutions</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">engine</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">numerical</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">template_path</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">'magma/default.magma_template'</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">memory_limit</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">750000000</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">directory</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">verbose</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.ptolemyVariety.PtolemyVariety.compute_solutions" title="Permalink to this definition"></a></dt>
173
+ <span class="sig-name descname"><span class="pre">compute_solutions</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">engine</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">numerical</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">template_path</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">'magma/default.magma_template'</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">memory_limit</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">750000000</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">directory</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">verbose</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.ptolemyVariety.PtolemyVariety.compute_solutions" title="Link to this definition"></a></dt>
177
174
  <dd><p>Starts an engine such as magma to compute the
178
175
  radical decomposition of the ideal and computes exact solutions.</p>
179
176
  <p>If started in sage, uses sage, otherwise, uses magma.</p>
@@ -187,7 +184,7 @@ verbose — print extra information</p>
187
184
 
188
185
  <dl class="py method">
189
186
  <dt class="sig sig-object py" id="snappy.ptolemy.ptolemyVariety.PtolemyVariety.degree_to_shapes">
190
- <span class="sig-name descname"><span class="pre">degree_to_shapes</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.ptolemyVariety.PtolemyVariety.degree_to_shapes" title="Permalink to this definition"></a></dt>
187
+ <span class="sig-name descname"><span class="pre">degree_to_shapes</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.ptolemyVariety.PtolemyVariety.degree_to_shapes" title="Link to this definition"></a></dt>
191
188
  <dd><p>In general, there can be d different solutions to the (reduced) Ptolemy
192
189
  variety for each solution to the gluing equations (with peripheral
193
190
  equations). This method computes d which is also the number of elements
@@ -219,7 +216,7 @@ Thus the following call returns 2 = 4 / 2</p>
219
216
 
220
217
  <dl class="py method">
221
218
  <dt class="sig sig-object py" id="snappy.ptolemy.ptolemyVariety.PtolemyVariety.filename_base">
222
- <span class="sig-name descname"><span class="pre">filename_base</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.ptolemyVariety.PtolemyVariety.filename_base" title="Permalink to this definition"></a></dt>
219
+ <span class="sig-name descname"><span class="pre">filename_base</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.ptolemyVariety.PtolemyVariety.filename_base" title="Link to this definition"></a></dt>
223
220
  <dd><p>Preferred filename base for writing out this Ptolemy variety</p>
224
221
  <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="kn">from</span> <span class="nn">snappy</span> <span class="kn">import</span> <span class="o">*</span>
225
222
  <span class="gp">&gt;&gt;&gt; </span><span class="n">M</span> <span class="o">=</span> <span class="n">Manifold</span><span class="p">(</span><span class="s1">&#39;4_1&#39;</span><span class="p">)</span>
@@ -237,7 +234,7 @@ Thus the following call returns 2 = 4 / 2</p>
237
234
 
238
235
  <dl class="py method">
239
236
  <dt class="sig sig-object py" id="snappy.ptolemy.ptolemyVariety.PtolemyVariety.py_eval_section">
240
- <span class="sig-name descname"><span class="pre">py_eval_section</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.ptolemyVariety.PtolemyVariety.py_eval_section" title="Permalink to this definition"></a></dt>
237
+ <span class="sig-name descname"><span class="pre">py_eval_section</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.ptolemyVariety.PtolemyVariety.py_eval_section" title="Link to this definition"></a></dt>
241
238
  <dd><p>Returns a string that can be evaluated in python and contains extra
242
239
  information needed to recover solutions from a simplified Ptolemy
243
240
  variety.</p>
@@ -281,7 +278,7 @@ Ptolemy variety to a full solution.</p>
281
278
 
282
279
  <dl class="py method">
283
280
  <dt class="sig sig-object py" id="snappy.ptolemy.ptolemyVariety.PtolemyVariety.to_magma">
284
- <span class="sig-name descname"><span class="pre">to_magma</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">template_path</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">'magma/default.magma_template'</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.ptolemyVariety.PtolemyVariety.to_magma" title="Permalink to this definition"></a></dt>
281
+ <span class="sig-name descname"><span class="pre">to_magma</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">template_path</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">'magma/default.magma_template'</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.ptolemyVariety.PtolemyVariety.to_magma" title="Link to this definition"></a></dt>
285
282
  <dd><p>Returns a string with the ideal that can be used as input for magma.</p>
286
283
  <p>The advanced user can provide a template string to write own magma
287
284
  code to process the equations.</p>
@@ -301,7 +298,7 @@ True</p>
301
298
 
302
299
  <dl class="py method">
303
300
  <dt class="sig sig-object py" id="snappy.ptolemy.ptolemyVariety.PtolemyVariety.to_magma_file">
304
- <span class="sig-name descname"><span class="pre">to_magma_file</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">filename</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">template_path</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">'magma/default.magma_template'</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.ptolemyVariety.PtolemyVariety.to_magma_file" title="Permalink to this definition"></a></dt>
301
+ <span class="sig-name descname"><span class="pre">to_magma_file</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">filename</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">template_path</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">'magma/default.magma_template'</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.ptolemyVariety.PtolemyVariety.to_magma_file" title="Link to this definition"></a></dt>
305
302
  <dd><div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="kn">import</span> <span class="nn">os</span><span class="o">,</span> <span class="nn">tempfile</span>
306
303
  <span class="gp">&gt;&gt;&gt; </span><span class="kn">from</span> <span class="nn">snappy</span> <span class="kn">import</span> <span class="n">Manifold</span>
307
304
  <span class="gp">&gt;&gt;&gt; </span><span class="n">handle</span><span class="p">,</span> <span class="n">name</span> <span class="o">=</span> <span class="n">tempfile</span><span class="o">.</span><span class="n">mkstemp</span><span class="p">()</span>
@@ -316,10 +313,10 @@ True</p>
316
313
 
317
314
  </section>
318
315
  <section id="ptolemycoordinates">
319
- <h2>PtolemyCoordinates<a class="headerlink" href="#ptolemycoordinates" title="Permalink to this heading"></a></h2>
316
+ <h2>PtolemyCoordinates<a class="headerlink" href="#ptolemycoordinates" title="Link to this heading"></a></h2>
320
317
  <dl class="py class">
321
318
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates">
322
- <em class="property"><span class="pre">class</span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">snappy.ptolemy.coordinates.</span></span><span class="sig-name descname"><span class="pre">PtolemyCoordinates</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">d</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">is_numerical=True</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">py_eval_section=None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">manifold_thunk=&lt;function</span> <span class="pre">PtolemyCoordinates.&lt;lambda&gt;&gt;</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">non_trivial_generalized_obstruction_class=False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates" title="Permalink to this definition"></a></dt>
319
+ <em class="property"><span class="pre">class</span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">snappy.ptolemy.coordinates.</span></span><span class="sig-name descname"><span class="pre">PtolemyCoordinates</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">d</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">is_numerical=True</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">py_eval_section=None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">manifold_thunk=&lt;function</span> <span class="pre">PtolemyCoordinates.&lt;lambda&gt;&gt;</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">non_trivial_generalized_obstruction_class=False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates" title="Link to this definition"></a></dt>
323
320
  <dd><p>Represents a solution of a Ptolemy variety as python dictionary.</p>
324
321
  <p>=== Examples ===</p>
325
322
  <p>Construct solution from magma output:</p>
@@ -411,13 +408,13 @@ according to SnapPy convention, see help(solution.cross_ratios):</p>
411
408
  </div>
412
409
  <dl class="py method">
413
410
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.N">
414
- <span class="sig-name descname"><span class="pre">N</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.N" title="Permalink to this definition"></a></dt>
411
+ <span class="sig-name descname"><span class="pre">N</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.N" title="Link to this definition"></a></dt>
415
412
  <dd><p>Get the <em>N</em> where these coordinates are for SL/PSL(<em>N</em>, <strong>C</strong>)-representations.</p>
416
413
  </dd></dl>
417
414
 
418
415
  <dl class="py method">
419
416
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.check_against_manifold">
420
- <span class="sig-name descname"><span class="pre">check_against_manifold</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">M</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">epsilon</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.check_against_manifold" title="Permalink to this definition"></a></dt>
417
+ <span class="sig-name descname"><span class="pre">check_against_manifold</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">M</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">epsilon</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.check_against_manifold" title="Link to this definition"></a></dt>
421
418
  <dd><p>Checks that the given solution really is a solution to the Ptolemy
422
419
  variety of a manifold. See help(ptolemy.PtolemyCoordinates) for
423
420
  more example.</p>
@@ -431,7 +428,7 @@ None for exact comparison.</p></li>
431
428
 
432
429
  <dl class="py method">
433
430
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.complex_volume_numerical">
434
- <span class="sig-name descname"><span class="pre">complex_volume_numerical</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">drop_negative_vols</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">with_modulo</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.complex_volume_numerical" title="Permalink to this definition"></a></dt>
431
+ <span class="sig-name descname"><span class="pre">complex_volume_numerical</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">drop_negative_vols</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">with_modulo</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.complex_volume_numerical" title="Link to this definition"></a></dt>
435
432
  <dd><p>Turn into (Galois conjugate) numerical solutions and compute complex
436
433
  volumes. If already numerical, return the volume.</p>
437
434
  <p>Complex volume is defined up to i*pi**2/6.</p>
@@ -441,7 +438,7 @@ argument, only return complex volumes with non-negative real part.</p>
441
438
 
442
439
  <dl class="py method">
443
440
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.cross_ratios">
444
- <span class="sig-name descname"><span class="pre">cross_ratios</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.cross_ratios" title="Permalink to this definition"></a></dt>
441
+ <span class="sig-name descname"><span class="pre">cross_ratios</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.cross_ratios" title="Link to this definition"></a></dt>
445
442
  <dd><p>Compute cross ratios from Ptolemy coordinates. The cross ratios are
446
443
  according to the SnapPy convention, so we have:</p>
447
444
  <div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">z</span> <span class="o">=</span> <span class="mi">1</span> <span class="o">-</span> <span class="mi">1</span><span class="o">/</span><span class="n">zp</span><span class="p">,</span> <span class="n">zp</span> <span class="o">=</span> <span class="mi">1</span> <span class="o">-</span> <span class="mi">1</span><span class="o">/</span><span class="n">zpp</span><span class="p">,</span> <span class="n">zpp</span> <span class="o">=</span> <span class="mi">1</span> <span class="o">-</span> <span class="mi">1</span><span class="o">/</span><span class="n">z</span>
@@ -456,7 +453,7 @@ according to the SnapPy convention, so we have:</p>
456
453
  <p>Note that this is different from the convention used in
457
454
  Garoufalidis, Goerner, Zickert:
458
455
  Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
459
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
456
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
460
457
  <p>Take an exact solution:</p>
461
458
  <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="kn">from</span> <span class="nn">snappy.ptolemy.processMagmaFile</span> <span class="kn">import</span> <span class="n">_magma_output_for_4_1__sl3</span><span class="p">,</span> <span class="n">solutions_from_magma</span>
462
459
  <span class="gp">&gt;&gt;&gt; </span><span class="n">solutions</span> <span class="o">=</span> <span class="n">solutions_from_magma</span><span class="p">(</span><span class="n">_magma_output_for_4_1__sl3</span><span class="p">)</span>
@@ -490,26 +487,26 @@ Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
490
487
 
491
488
  <dl class="py method">
492
489
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.cross_ratios_numerical">
493
- <span class="sig-name descname"><span class="pre">cross_ratios_numerical</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.cross_ratios_numerical" title="Permalink to this definition"></a></dt>
490
+ <span class="sig-name descname"><span class="pre">cross_ratios_numerical</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.cross_ratios_numerical" title="Link to this definition"></a></dt>
494
491
  <dd><p>Turn exact solutions into numerical and then compute cross ratios.
495
492
  See numerical() and cross_ratios().</p>
496
493
  </dd></dl>
497
494
 
498
495
  <dl class="py method">
499
496
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.diamond_coordinate">
500
- <span class="sig-name descname"><span class="pre">diamond_coordinate</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">tet</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v0</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v1</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v2</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">pt</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.diamond_coordinate" title="Permalink to this definition"></a></dt>
497
+ <span class="sig-name descname"><span class="pre">diamond_coordinate</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">tet</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v0</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v1</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v2</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">pt</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.diamond_coordinate" title="Link to this definition"></a></dt>
501
498
  <dd><p>Returns the diamond coordinate for tetrahedron with index tet
502
499
  for the face with vertices v0, v1, v2 (integers between 0 and 3) and
503
500
  integral point pt (quadruple adding up to N-2).</p>
504
501
  <p>See Definition 10.1:
505
502
  Garoufalidis, Goerner, Zickert:
506
503
  Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
507
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
504
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
508
505
  </dd></dl>
509
506
 
510
507
  <dl class="py method">
511
508
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.evaluate_word">
512
- <span class="sig-name descname"><span class="pre">evaluate_word</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">word</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">G</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.evaluate_word" title="Permalink to this definition"></a></dt>
509
+ <span class="sig-name descname"><span class="pre">evaluate_word</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">word</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">G</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.evaluate_word" title="Link to this definition"></a></dt>
513
510
  <dd><p>Given a word in the generators of the fundamental group,
514
511
  compute the corresponding matrix. By default, these are the
515
512
  generators of the unsimplified presentation of the fundamental
@@ -523,7 +520,7 @@ M.fundamental_group(True).</p>
523
520
 
524
521
  <dl class="py method">
525
522
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.flattenings_numerical">
526
- <span class="sig-name descname"><span class="pre">flattenings_numerical</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.flattenings_numerical" title="Permalink to this definition"></a></dt>
523
+ <span class="sig-name descname"><span class="pre">flattenings_numerical</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.flattenings_numerical" title="Link to this definition"></a></dt>
527
524
  <dd><p>Turn into numerical solutions and compute flattenings, see
528
525
  help(snappy.ptolemy.coordinates.Flattenings)
529
526
  Also see numerical()</p>
@@ -542,21 +539,21 @@ Also see numerical()</p>
542
539
 
543
540
  <dl class="py method">
544
541
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.get_manifold">
545
- <span class="sig-name descname"><span class="pre">get_manifold</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.get_manifold" title="Permalink to this definition"></a></dt>
542
+ <span class="sig-name descname"><span class="pre">get_manifold</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.get_manifold" title="Link to this definition"></a></dt>
546
543
  <dd><p>Get the manifold for which this structure represents a solution
547
544
  to the Ptolemy variety.</p>
548
545
  </dd></dl>
549
546
 
550
547
  <dl class="py method">
551
548
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.has_obstruction">
552
- <span class="sig-name descname"><span class="pre">has_obstruction</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.has_obstruction" title="Permalink to this definition"></a></dt>
549
+ <span class="sig-name descname"><span class="pre">has_obstruction</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.has_obstruction" title="Link to this definition"></a></dt>
553
550
  <dd><p>Whether the Ptolemy variety has legacy obstruction class that
554
551
  modifies the Ptolemy relation to</p>
555
552
  </dd></dl>
556
553
 
557
554
  <dl class="py method">
558
555
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.is_geometric">
559
- <span class="sig-name descname"><span class="pre">is_geometric</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">epsilon</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">1e-06</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.is_geometric" title="Permalink to this definition"></a></dt>
556
+ <span class="sig-name descname"><span class="pre">is_geometric</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">epsilon</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">1e-06</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.is_geometric" title="Link to this definition"></a></dt>
560
557
  <dd><p>Returns true if all shapes corresponding to this solution have positive
561
558
  imaginary part.</p>
562
559
  <p>If the solutions are exact, it returns true if one of the corresponding
@@ -567,7 +564,7 @@ considered positive if it is larger than this epsilon.</p>
567
564
 
568
565
  <dl class="py method">
569
566
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.long_edge">
570
- <span class="sig-name descname"><span class="pre">long_edge</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">tet</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v0</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v1</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v2</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.long_edge" title="Permalink to this definition"></a></dt>
567
+ <span class="sig-name descname"><span class="pre">long_edge</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">tet</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v0</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v1</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v2</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.long_edge" title="Link to this definition"></a></dt>
571
568
  <dd><p>The matrix that labels a long edge from v0 to v1 (integers between 0
572
569
  and 3) of a (doubly) truncated simplex corresponding to an ideal
573
570
  tetrahedron with index tet.</p>
@@ -575,7 +572,7 @@ tetrahedron with index tet.</p>
575
572
  double-truncated simplex) in Figure 18 of
576
573
  Garoufalidis, Goerner, Zickert:
577
574
  Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
578
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
575
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
579
576
  <p>It is computed using equation 10.4. Note that the ratio coordinate
580
577
  is different from the definition in the paper (see ratio_coordinate).</p>
581
578
  <p>The resulting matrix is given as a python list of lists.</p>
@@ -583,7 +580,7 @@ is different from the definition in the paper (see ratio_coordinate).</p>
583
580
 
584
581
  <dl class="py method">
585
582
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.middle_edge">
586
- <span class="sig-name descname"><span class="pre">middle_edge</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">tet</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v0</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v1</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v2</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.middle_edge" title="Permalink to this definition"></a></dt>
583
+ <span class="sig-name descname"><span class="pre">middle_edge</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">tet</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v0</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v1</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v2</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.middle_edge" title="Link to this definition"></a></dt>
587
584
  <dd><p>The matrix that labels a middle edge on the face v0, v1, v2 (integers
588
585
  between 0 and 3) of a doubly truncated simplex (or a short edge of the
589
586
  truncated simplex) corresponding to an ideal tetrahedron with index
@@ -591,14 +588,14 @@ tet.</p>
591
588
  <p>This matrix was labeled beta^{v0v1v2} in Figure 18 of
592
589
  Garoufalidis, Goerner, Zickert:
593
590
  Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
594
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
591
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
595
592
  <p>It is computed using equation 10.4.</p>
596
593
  <p>The resulting matrix is given as a python list of lists.</p>
597
594
  </dd></dl>
598
595
 
599
596
  <dl class="py method">
600
597
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.multiply_and_simplify_terms_in_RUR">
601
- <span class="sig-name descname"><span class="pre">multiply_and_simplify_terms_in_RUR</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.multiply_and_simplify_terms_in_RUR" title="Permalink to this definition"></a></dt>
598
+ <span class="sig-name descname"><span class="pre">multiply_and_simplify_terms_in_RUR</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.multiply_and_simplify_terms_in_RUR" title="Link to this definition"></a></dt>
602
599
  <dd><p>If a Ptolemy coordinate is given as Rational Univariate Representation
603
600
  with numerator and denominator being a product, multiply the terms,
604
601
  reduce the fraction and return the result.</p>
@@ -609,7 +606,7 @@ factorised.</p>
609
606
 
610
607
  <dl class="py method">
611
608
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.multiply_terms_in_RUR">
612
- <span class="sig-name descname"><span class="pre">multiply_terms_in_RUR</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.multiply_terms_in_RUR" title="Permalink to this definition"></a></dt>
609
+ <span class="sig-name descname"><span class="pre">multiply_terms_in_RUR</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.multiply_terms_in_RUR" title="Link to this definition"></a></dt>
613
610
  <dd><p>If a Ptolemy coordinate is given as Rational Univariate Representation
614
611
  with numerator and denominator being a product, multiply the terms and
615
612
  return the result.</p>
@@ -620,20 +617,20 @@ factorised.</p>
620
617
 
621
618
  <dl class="py method">
622
619
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.num_tetrahedra">
623
- <span class="sig-name descname"><span class="pre">num_tetrahedra</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.num_tetrahedra" title="Permalink to this definition"></a></dt>
620
+ <span class="sig-name descname"><span class="pre">num_tetrahedra</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.num_tetrahedra" title="Link to this definition"></a></dt>
624
621
  <dd><p>The number of tetrahedra for which we have Ptolemy coordinates.</p>
625
622
  </dd></dl>
626
623
 
627
624
  <dl class="py method">
628
625
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.number_field">
629
- <span class="sig-name descname"><span class="pre">number_field</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.number_field" title="Permalink to this definition"></a></dt>
626
+ <span class="sig-name descname"><span class="pre">number_field</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.number_field" title="Link to this definition"></a></dt>
630
627
  <dd><p>For an exact solution, return the number_field spanned by the
631
628
  Ptolemy coordinates. If number_field is Q, return None.</p>
632
629
  </dd></dl>
633
630
 
634
631
  <dl class="py method">
635
632
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.numerical">
636
- <span class="sig-name descname"><span class="pre">numerical</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.numerical" title="Permalink to this definition"></a></dt>
633
+ <span class="sig-name descname"><span class="pre">numerical</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.numerical" title="Link to this definition"></a></dt>
637
634
  <dd><p>Turn exact solutions into numerical solutions using pari.</p>
638
635
  <p>Take an exact solution:</p>
639
636
  <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="kn">from</span> <span class="nn">snappy.ptolemy.processMagmaFile</span> <span class="kn">import</span> <span class="n">_magma_output_for_4_1__sl3</span><span class="p">,</span> <span class="n">solutions_from_magma</span>
@@ -657,21 +654,21 @@ Ptolemy coordinates. If number_field is Q, return None.</p>
657
654
 
658
655
  <dl class="py method">
659
656
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.ratio_coordinate">
660
- <span class="sig-name descname"><span class="pre">ratio_coordinate</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">tet</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v0</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v1</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">pt</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.ratio_coordinate" title="Permalink to this definition"></a></dt>
657
+ <span class="sig-name descname"><span class="pre">ratio_coordinate</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">tet</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v0</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v1</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">pt</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.ratio_coordinate" title="Link to this definition"></a></dt>
661
658
  <dd><p>Returns the ratio coordinate for tetrahedron with index tet
662
659
  for the edge from v0 to v1 (integers between 0 and 3) and integral
663
660
  point pt (quadruple adding up N-1) on the edge.</p>
664
661
  <p>See Definition 10.2:
665
662
  Garoufalidis, Goerner, Zickert:
666
663
  Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
667
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
664
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
668
665
  <p>Note that this definition turned out to have the wrong sign. Multiply
669
666
  the result by -1 if v1 &lt; v0 and N is even.</p>
670
667
  </dd></dl>
671
668
 
672
669
  <dl class="py method">
673
670
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.short_edge">
674
- <span class="sig-name descname"><span class="pre">short_edge</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">tet</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v0</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v1</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v2</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.short_edge" title="Permalink to this definition"></a></dt>
671
+ <span class="sig-name descname"><span class="pre">short_edge</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">tet</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v0</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v1</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v2</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.short_edge" title="Link to this definition"></a></dt>
675
672
  <dd><p>Returns the identity. This is because we can think of the matrices
676
673
  given by Ptolemy coordinates of living on truncated simplices which
677
674
  can be though of as doubly truncated simplices where all short edges
@@ -679,12 +676,12 @@ are collapsed, hence labeled by the identity.</p>
679
676
  <p>See equation 10.4 in
680
677
  Garoufalidis, Goerner, Zickert:
681
678
  Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
682
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
679
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
683
680
  </dd></dl>
684
681
 
685
682
  <dl class="py method">
686
683
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.to_PUR">
687
- <span class="sig-name descname"><span class="pre">to_PUR</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.to_PUR" title="Permalink to this definition"></a></dt>
684
+ <span class="sig-name descname"><span class="pre">to_PUR</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.to_PUR" title="Link to this definition"></a></dt>
688
685
  <dd><p>If any Ptolemy coordinates are given as Rational Univariate
689
686
  Representation, convert them to Polynomial Univariate Representation and
690
687
  return the result.</p>
@@ -694,7 +691,7 @@ return the result.</p>
694
691
 
695
692
  <dl class="py method">
696
693
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.volume_numerical">
697
- <span class="sig-name descname"><span class="pre">volume_numerical</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">drop_negative_vols</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.volume_numerical" title="Permalink to this definition"></a></dt>
694
+ <span class="sig-name descname"><span class="pre">volume_numerical</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">drop_negative_vols</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.PtolemyCoordinates.volume_numerical" title="Link to this definition"></a></dt>
698
695
  <dd><p>Turn into (Galois conjugate) numerical solutions and compute volumes.
699
696
  If already numerical, only return the one volume.
700
697
  See numerical().</p>
@@ -706,10 +703,10 @@ only return non-negative volumes.</p>
706
703
 
707
704
  </section>
708
705
  <section id="crossratios">
709
- <h2>CrossRatios<a class="headerlink" href="#crossratios" title="Permalink to this heading"></a></h2>
706
+ <h2>CrossRatios<a class="headerlink" href="#crossratios" title="Link to this heading"></a></h2>
710
707
  <dl class="py class">
711
708
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios">
712
- <em class="property"><span class="pre">class</span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">snappy.ptolemy.coordinates.</span></span><span class="sig-name descname"><span class="pre">CrossRatios</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">d</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">is_numerical</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">True</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">manifold_thunk</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios" title="Permalink to this definition"></a></dt>
709
+ <em class="property"><span class="pre">class</span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">snappy.ptolemy.coordinates.</span></span><span class="sig-name descname"><span class="pre">CrossRatios</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">d</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">is_numerical</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">True</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">manifold_thunk</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios" title="Link to this definition"></a></dt>
713
710
  <dd><p>Represents assigned shape parameters/cross ratios as
714
711
  dictionary. The cross ratios are according to SnapPy convention, so we
715
712
  have:</p>
@@ -725,17 +722,17 @@ have:</p>
725
722
  <p>Note that this is different from the convention used in
726
723
  Garoufalidis, Goerner, Zickert:
727
724
  Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
728
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
725
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
729
726
  <dl class="py method">
730
727
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.N">
731
- <span class="sig-name descname"><span class="pre">N</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.N" title="Permalink to this definition"></a></dt>
728
+ <span class="sig-name descname"><span class="pre">N</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.N" title="Link to this definition"></a></dt>
732
729
  <dd><p>Get the N such that these cross ratios are for
733
730
  SL/PSL(N,C)-representations.</p>
734
731
  </dd></dl>
735
732
 
736
733
  <dl class="py method">
737
734
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.check_against_manifold">
738
- <span class="sig-name descname"><span class="pre">check_against_manifold</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">M</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">epsilon</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.check_against_manifold" title="Permalink to this definition"></a></dt>
735
+ <span class="sig-name descname"><span class="pre">check_against_manifold</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">M</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">epsilon</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.check_against_manifold" title="Link to this definition"></a></dt>
739
736
  <dd><p>Checks that the given solution really is a solution to the PGL(N,C) gluing
740
737
  equations of a manifold. Usage similar to check_against_manifold of
741
738
  PtolemyCoordinates. See help(ptolemy.PtolemtyCoordinates) for example.</p>
@@ -747,7 +744,7 @@ None for exact comparison.</p>
747
744
 
748
745
  <dl class="py method">
749
746
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.evaluate_word">
750
- <span class="sig-name descname"><span class="pre">evaluate_word</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">word</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">G</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.evaluate_word" title="Permalink to this definition"></a></dt>
747
+ <span class="sig-name descname"><span class="pre">evaluate_word</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">word</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">G</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.evaluate_word" title="Link to this definition"></a></dt>
751
748
  <dd><p>Given a word in the generators of the fundamental group,
752
749
  compute the corresponding matrix. By default, these are the
753
750
  generators of the unsimplified presentation of the fundamental
@@ -761,7 +758,7 @@ M.fundamental_group(True).</p>
761
758
 
762
759
  <dl class="py method">
763
760
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.from_snappy_manifold">
764
- <em class="property"><span class="pre">static</span><span class="w"> </span></em><span class="sig-name descname"><span class="pre">from_snappy_manifold</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">M</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">dec_prec</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">bits_prec</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">intervals</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.from_snappy_manifold" title="Permalink to this definition"></a></dt>
761
+ <em class="property"><span class="pre">static</span><span class="w"> </span></em><span class="sig-name descname"><span class="pre">from_snappy_manifold</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">M</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">dec_prec</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">bits_prec</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">intervals</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.from_snappy_manifold" title="Link to this definition"></a></dt>
765
762
  <dd><p>Constructs an assignment of shape parameters/cross ratios using
766
763
  the tetrahehdra_shapes method of a given SnapPy manifold. The optional
767
764
  parameters are the same as that of tetrahedra_shapes.</p>
@@ -769,21 +766,21 @@ parameters are the same as that of tetrahedra_shapes.</p>
769
766
 
770
767
  <dl class="py method">
771
768
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.get_manifold">
772
- <span class="sig-name descname"><span class="pre">get_manifold</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.get_manifold" title="Permalink to this definition"></a></dt>
769
+ <span class="sig-name descname"><span class="pre">get_manifold</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.get_manifold" title="Link to this definition"></a></dt>
773
770
  <dd><p>Get the manifold for which this structure represents a solution
774
771
  to the gluing equations.</p>
775
772
  </dd></dl>
776
773
 
777
774
  <dl class="py method">
778
775
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.induced_representation">
779
- <span class="sig-name descname"><span class="pre">induced_representation</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">N</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.induced_representation" title="Permalink to this definition"></a></dt>
776
+ <span class="sig-name descname"><span class="pre">induced_representation</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">N</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.induced_representation" title="Link to this definition"></a></dt>
780
777
  <dd><p>Given a PSL(2,C) representation constructs the induced representation
781
778
  for the given N.
782
779
  The induced representation is in SL(N,C) if N is odd and
783
780
  SL(N,C) / {+1,-1} if N is even and is described in the Introduction of
784
781
  Garoufalidis, Thurston, Zickert
785
782
  The Complex Volume of SL(n,C)-Representations of 3-Manifolds
786
- <a class="reference external" href="http://arxiv.org/abs/1111.2828">http://arxiv.org/abs/1111.2828</a></p>
783
+ <a class="reference external" href="https://arxiv.org/abs/1111.2828">https://arxiv.org/abs/1111.2828</a></p>
787
784
  <p>There is a canonical group homomorphism SL(2,C)-&gt;SL(N,C) coming from
788
785
  the the natural SL(2,C)-action on the vector space Sym^{N-1}(C^2).
789
786
  This homomorphisms decends to a homomorphism from PSL(2,C) if one
@@ -794,7 +791,7 @@ representation.</p>
794
791
 
795
792
  <dl class="py method">
796
793
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.is_geometric">
797
- <span class="sig-name descname"><span class="pre">is_geometric</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">epsilon</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">1e-06</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.is_geometric" title="Permalink to this definition"></a></dt>
794
+ <span class="sig-name descname"><span class="pre">is_geometric</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">epsilon</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">1e-06</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.is_geometric" title="Link to this definition"></a></dt>
798
795
  <dd><p>Returns true if all shapes corresponding to this solution have positive
799
796
  imaginary part.</p>
800
797
  <p>If the solutions are exact, it returns true if one of the corresponding
@@ -805,7 +802,7 @@ considered positive if it is larger than this epsilon.</p>
805
802
 
806
803
  <dl class="py method">
807
804
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.is_induced_from_psl2">
808
- <span class="sig-name descname"><span class="pre">is_induced_from_psl2</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">epsilon</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.is_induced_from_psl2" title="Permalink to this definition"></a></dt>
805
+ <span class="sig-name descname"><span class="pre">is_induced_from_psl2</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">epsilon</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.is_induced_from_psl2" title="Link to this definition"></a></dt>
809
806
  <dd><p>For each simplex and each edges, checks that all cross ratios of that
810
807
  simplex that are parallel to that each are the same (maximal absolute
811
808
  difference is the epsilon given as argument).
@@ -815,7 +812,7 @@ PSL(2,C) representation.</p>
815
812
 
816
813
  <dl class="py method">
817
814
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.is_pu_2_1_representation">
818
- <span class="sig-name descname"><span class="pre">is_pu_2_1_representation</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">epsilon</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">epsilon2</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.is_pu_2_1_representation" title="Permalink to this definition"></a></dt>
815
+ <span class="sig-name descname"><span class="pre">is_pu_2_1_representation</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">epsilon</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">epsilon2</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.is_pu_2_1_representation" title="Link to this definition"></a></dt>
819
816
  <dd><p>Returns True if the representation is also a
820
817
  PU(2,1)-representation. This uses Proposition 3.5 and the
821
818
  remark following that proposition in <a class="reference internal" href="#fkr2013" id="id1"><span>[FKR2013]</span></a>.</p>
@@ -842,7 +839,7 @@ hold or just because of numerical noise.</p>
842
839
 
843
840
  <dl class="py method">
844
841
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.is_real">
845
- <span class="sig-name descname"><span class="pre">is_real</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">epsilon</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.is_real" title="Permalink to this definition"></a></dt>
842
+ <span class="sig-name descname"><span class="pre">is_real</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">epsilon</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.is_real" title="Link to this definition"></a></dt>
846
843
  <dd><p>Returns True if all cross ratios are real (have absolute imaginary
847
844
  part &lt; epsilon where epsilon is given as argument).
848
845
  This means that the corresponding representation is in PSL(N,R).</p>
@@ -850,35 +847,35 @@ This means that the corresponding representation is in PSL(N,R).</p>
850
847
 
851
848
  <dl class="py method">
852
849
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.long_edge">
853
- <span class="sig-name descname"><span class="pre">long_edge</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">tet</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v0</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v1</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v2</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.long_edge" title="Permalink to this definition"></a></dt>
850
+ <span class="sig-name descname"><span class="pre">long_edge</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">tet</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v0</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v1</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v2</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.long_edge" title="Link to this definition"></a></dt>
854
851
  <dd><p>The matrix that labels a long edge starting at vertex (v0, v1, v2)
855
852
  of a doubly truncated simplex corresponding to the ideal tetrahedron
856
853
  with index tet.</p>
857
854
  <p>This matrix was labeled alpha^{v0v1v2} in Figure 18 of
858
855
  Garoufalidis, Goerner, Zickert:
859
856
  Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
860
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
857
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
861
858
  <p>It is computed using equation 10.22.</p>
862
859
  <p>The resulting matrix is given as a python list of lists.</p>
863
860
  </dd></dl>
864
861
 
865
862
  <dl class="py method">
866
863
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.middle_edge">
867
- <span class="sig-name descname"><span class="pre">middle_edge</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">tet</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v0</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v1</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v2</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.middle_edge" title="Permalink to this definition"></a></dt>
864
+ <span class="sig-name descname"><span class="pre">middle_edge</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">tet</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v0</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v1</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v2</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.middle_edge" title="Link to this definition"></a></dt>
868
865
  <dd><p>The matrix that labels a middle edge starting at vertex (v0, v1, v2)
869
866
  of a doubly truncated simplex corresponding to the ideal tetrahedron
870
867
  with index tet.</p>
871
868
  <p>This matrix was labeled beta^{v0v1v2} in Figure 18 of
872
869
  Garoufalidis, Goerner, Zickert:
873
870
  Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
874
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
871
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
875
872
  <p>It is computed using equation 10.22.</p>
876
873
  <p>The resulting matrix is given as a python list of lists.</p>
877
874
  </dd></dl>
878
875
 
879
876
  <dl class="py method">
880
877
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.multiply_and_simplify_terms_in_RUR">
881
- <span class="sig-name descname"><span class="pre">multiply_and_simplify_terms_in_RUR</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.multiply_and_simplify_terms_in_RUR" title="Permalink to this definition"></a></dt>
878
+ <span class="sig-name descname"><span class="pre">multiply_and_simplify_terms_in_RUR</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.multiply_and_simplify_terms_in_RUR" title="Link to this definition"></a></dt>
882
879
  <dd><p>If a cross ratio is given as Rational Univariate Representation
883
880
  with numerator and denominator being a product, multiply the terms,
884
881
  reduce the fraction and return the result.</p>
@@ -889,7 +886,7 @@ factorised.</p>
889
886
 
890
887
  <dl class="py method">
891
888
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.multiply_terms_in_RUR">
892
- <span class="sig-name descname"><span class="pre">multiply_terms_in_RUR</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.multiply_terms_in_RUR" title="Permalink to this definition"></a></dt>
889
+ <span class="sig-name descname"><span class="pre">multiply_terms_in_RUR</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.multiply_terms_in_RUR" title="Link to this definition"></a></dt>
893
890
  <dd><p>If a cross ratio is given as Rational Univariate Representation
894
891
  with numerator and denominator being a product, multiply the terms and
895
892
  return the result.</p>
@@ -900,13 +897,13 @@ factorised.</p>
900
897
 
901
898
  <dl class="py method">
902
899
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.num_tetrahedra">
903
- <span class="sig-name descname"><span class="pre">num_tetrahedra</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.num_tetrahedra" title="Permalink to this definition"></a></dt>
900
+ <span class="sig-name descname"><span class="pre">num_tetrahedra</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.num_tetrahedra" title="Link to this definition"></a></dt>
904
901
  <dd><p>The number of tetrahedra for which we have cross ratios.</p>
905
902
  </dd></dl>
906
903
 
907
904
  <dl class="py method">
908
905
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.numerical">
909
- <span class="sig-name descname"><span class="pre">numerical</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.numerical" title="Permalink to this definition"></a></dt>
906
+ <span class="sig-name descname"><span class="pre">numerical</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.numerical" title="Link to this definition"></a></dt>
910
907
  <dd><p>Turn exact solutions into numerical solutions using pari. Similar to
911
908
  numerical() of PtolemyCoordinates. See help(ptolemy.PtolemyCoordinates)
912
909
  for example.</p>
@@ -914,21 +911,21 @@ for example.</p>
914
911
 
915
912
  <dl class="py method">
916
913
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.short_edge">
917
- <span class="sig-name descname"><span class="pre">short_edge</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">tet</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v0</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v1</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v2</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.short_edge" title="Permalink to this definition"></a></dt>
914
+ <span class="sig-name descname"><span class="pre">short_edge</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">tet</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v0</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v1</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">v2</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.short_edge" title="Link to this definition"></a></dt>
918
915
  <dd><p>The matrix that labels a long edge starting at vertex (v0, v1, v2)
919
916
  of a doubly truncated simplex corresponding to the ideal tetrahedron
920
917
  with index tet.</p>
921
918
  <p>This matrix was labeled gamma^{v0v1v2} in Figure 18 of
922
919
  Garoufalidis, Goerner, Zickert:
923
920
  Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
924
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
921
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
925
922
  <p>It is computed using equation 10.22.</p>
926
923
  <p>The resulting matrix is given as a python list of lists.</p>
927
924
  </dd></dl>
928
925
 
929
926
  <dl class="py method">
930
927
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.to_PUR">
931
- <span class="sig-name descname"><span class="pre">to_PUR</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.to_PUR" title="Permalink to this definition"></a></dt>
928
+ <span class="sig-name descname"><span class="pre">to_PUR</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.to_PUR" title="Link to this definition"></a></dt>
932
929
  <dd><p>If any Ptolemy coordinates are given as Rational Univariate
933
930
  Representation, convert them to Polynomial Univariate Representation and
934
931
  return the result.</p>
@@ -938,7 +935,7 @@ return the result.</p>
938
935
 
939
936
  <dl class="py method">
940
937
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.volume_numerical">
941
- <span class="sig-name descname"><span class="pre">volume_numerical</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">drop_negative_vols</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.volume_numerical" title="Permalink to this definition"></a></dt>
938
+ <span class="sig-name descname"><span class="pre">volume_numerical</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">drop_negative_vols</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.volume_numerical" title="Link to this definition"></a></dt>
942
939
  <dd><p>Turn into (Galois conjugate) numerical solutions and compute volumes.
943
940
  If already numerical, only compute the one volume.
944
941
  See numerical().</p>
@@ -948,23 +945,23 @@ only return non-negative volumes.</p>
948
945
 
949
946
  <dl class="py method">
950
947
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.x_coordinate">
951
- <span class="sig-name descname"><span class="pre">x_coordinate</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">tet</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">pt</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.x_coordinate" title="Permalink to this definition"></a></dt>
948
+ <span class="sig-name descname"><span class="pre">x_coordinate</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">tet</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">pt</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.CrossRatios.x_coordinate" title="Link to this definition"></a></dt>
952
949
  <dd><p>Returns the X-coordinate for the tetrahedron with index tet
953
950
  at the point pt (quadruple of integers adding up to N).</p>
954
951
  <p>See Definition 10.9:
955
952
  Garoufalidis, Goerner, Zickert:
956
953
  Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
957
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
954
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
958
955
  </dd></dl>
959
956
 
960
957
  </dd></dl>
961
958
 
962
959
  </section>
963
960
  <section id="flattenings">
964
- <h2>Flattenings<a class="headerlink" href="#flattenings" title="Permalink to this heading"></a></h2>
961
+ <h2>Flattenings<a class="headerlink" href="#flattenings" title="Link to this heading"></a></h2>
965
962
  <dl class="py class">
966
963
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.Flattenings">
967
- <em class="property"><span class="pre">class</span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">snappy.ptolemy.coordinates.</span></span><span class="sig-name descname"><span class="pre">Flattenings</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">d</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">manifold_thunk=&lt;function</span> <span class="pre">Flattenings.&lt;lambda&gt;&gt;</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">evenN=2</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.Flattenings" title="Permalink to this definition"></a></dt>
964
+ <em class="property"><span class="pre">class</span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">snappy.ptolemy.coordinates.</span></span><span class="sig-name descname"><span class="pre">Flattenings</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">d</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">manifold_thunk=&lt;function</span> <span class="pre">Flattenings.&lt;lambda&gt;&gt;</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">evenN=2</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.Flattenings" title="Link to this definition"></a></dt>
968
965
  <dd><p>Represents a flattening assigned to each edge of a simplex as dictionary.</p>
969
966
  <p>We assign to each pair of parallel edges of each simplex a triple (w, z, p)
970
967
  such that:</p>
@@ -974,7 +971,7 @@ such that:</p>
974
971
  <p>For N = 2, the three triples belonging to a simplex form a combinatorial
975
972
  flattening (w0, w1, w2) as defined in Definition 3.1 in
976
973
  Walter D. Neumann, Extended Bloch group and the Cheeger-Chern-Simons class
977
- <a class="reference external" href="http://arxiv.org/abs/math.GT/0307092">http://arxiv.org/abs/math.GT/0307092</a></p>
974
+ <a class="reference external" href="https://arxiv.org/abs/math.GT/0307092">https://arxiv.org/abs/math.GT/0307092</a></p>
978
975
  <p>For N &gt; 2, the three triples form a generalized combinatorial flattening
979
976
  (w0, w1, w2) that gives an element in the generalized Extended Bloch group
980
977
  which is the Extended Bloch group corresponding to the Riemann surface
@@ -996,14 +993,14 @@ A representation in PSL(n,C) with n odd in the group for N = 2 * n.</p>
996
993
  </div>
997
994
  <dl class="py method">
998
995
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.Flattenings.N">
999
- <span class="sig-name descname"><span class="pre">N</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.Flattenings.N" title="Permalink to this definition"></a></dt>
996
+ <span class="sig-name descname"><span class="pre">N</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.Flattenings.N" title="Link to this definition"></a></dt>
1000
997
  <dd><p>Get the N such that these cross ratios are for
1001
998
  SL/PSL(N,C)-representations.</p>
1002
999
  </dd></dl>
1003
1000
 
1004
1001
  <dl class="py method">
1005
1002
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.Flattenings.check_against_manifold">
1006
- <span class="sig-name descname"><span class="pre">check_against_manifold</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">M</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">epsilon</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">1e-10</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.Flattenings.check_against_manifold" title="Permalink to this definition"></a></dt>
1003
+ <span class="sig-name descname"><span class="pre">check_against_manifold</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">M</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">epsilon</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">1e-10</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.Flattenings.check_against_manifold" title="Link to this definition"></a></dt>
1007
1004
  <dd><p>Checks that the flattening really is a solution to the logarithmic
1008
1005
  PGL(N,C) gluing equations of a manifold. Usage similar to
1009
1006
  check_against_manifold of Ptolemy Coordinates, see
@@ -1015,7 +1012,7 @@ epsilon — maximal allowed error when checking the equations</p>
1015
1012
 
1016
1013
  <dl class="py method">
1017
1014
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.Flattenings.complex_volume">
1018
- <span class="sig-name descname"><span class="pre">complex_volume</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">with_modulo</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.Flattenings.complex_volume" title="Permalink to this definition"></a></dt>
1015
+ <span class="sig-name descname"><span class="pre">complex_volume</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">with_modulo</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.Flattenings.complex_volume" title="Link to this definition"></a></dt>
1019
1016
  <dd><p>Compute complex volume. The complex volume is defined only up to
1020
1017
  some multiple of m where m = i * pi**2/6 for PSL(2,C) and SL(N,C)
1021
1018
  and m = i * pi**2/18 for PSL(3,C).</p>
@@ -1025,7 +1022,7 @@ and m = i * pi**2/18 for PSL(3,C).</p>
1025
1022
 
1026
1023
  <dl class="py method">
1027
1024
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.Flattenings.from_tetrahedra_shapes_of_manifold">
1028
- <em class="property"><span class="pre">classmethod</span><span class="w"> </span></em><span class="sig-name descname"><span class="pre">from_tetrahedra_shapes_of_manifold</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">M</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.Flattenings.from_tetrahedra_shapes_of_manifold" title="Permalink to this definition"></a></dt>
1025
+ <em class="property"><span class="pre">classmethod</span><span class="w"> </span></em><span class="sig-name descname"><span class="pre">from_tetrahedra_shapes_of_manifold</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">M</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.Flattenings.from_tetrahedra_shapes_of_manifold" title="Link to this definition"></a></dt>
1029
1026
  <dd><p>Takes as argument a manifold and produces (weak) flattenings using
1030
1027
  the tetrahedra_shapes of the manifold M.</p>
1031
1028
  <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="kn">from</span> <span class="nn">snappy</span> <span class="kn">import</span> <span class="n">Manifold</span>
@@ -1039,13 +1036,13 @@ the tetrahedra_shapes of the manifold M.</p>
1039
1036
 
1040
1037
  <dl class="py method">
1041
1038
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.Flattenings.get_manifold">
1042
- <span class="sig-name descname"><span class="pre">get_manifold</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.Flattenings.get_manifold" title="Permalink to this definition"></a></dt>
1039
+ <span class="sig-name descname"><span class="pre">get_manifold</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.Flattenings.get_manifold" title="Link to this definition"></a></dt>
1043
1040
  <dd><p>Get the manifold for which this structure represents a flattening.</p>
1044
1041
  </dd></dl>
1045
1042
 
1046
1043
  <dl class="py method">
1047
1044
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.Flattenings.get_order">
1048
- <span class="sig-name descname"><span class="pre">get_order</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.Flattenings.get_order" title="Permalink to this definition"></a></dt>
1045
+ <span class="sig-name descname"><span class="pre">get_order</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.Flattenings.get_order" title="Link to this definition"></a></dt>
1049
1046
  <dd><p>Returns the number N. This flattening represents an element in the
1050
1047
  generalized Extended Bloch group for the Riemann surface given by
1051
1048
  u1 * e^w0 + u2 * e^w1 = 1 where u1^N = u2^N = 1.</p>
@@ -1053,17 +1050,17 @@ u1 * e^w0 + u2 * e^w1 = 1 where u1^N = u2^N = 1.</p>
1053
1050
 
1054
1051
  <dl class="py method">
1055
1052
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.Flattenings.get_zpq_triple">
1056
- <span class="sig-name descname"><span class="pre">get_zpq_triple</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">key_z</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.Flattenings.get_zpq_triple" title="Permalink to this definition"></a></dt>
1053
+ <span class="sig-name descname"><span class="pre">get_zpq_triple</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">key_z</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.Flattenings.get_zpq_triple" title="Link to this definition"></a></dt>
1057
1054
  <dd><p>Gives a flattening as triple [z;p,q] representing an element
1058
1055
  in the generalized Extended Bloch group similar to the way the
1059
1056
  triple [z;p,q] is used in Lemma 3.2 in
1060
1057
  Walter D. Neumann, Extended Bloch group and the Cheeger-Chern-Simons class
1061
- <a class="reference external" href="http://arxiv.org/abs/math.GT/0307092">http://arxiv.org/abs/math.GT/0307092</a></p>
1058
+ <a class="reference external" href="https://arxiv.org/abs/math.GT/0307092">https://arxiv.org/abs/math.GT/0307092</a></p>
1062
1059
  </dd></dl>
1063
1060
 
1064
1061
  <dl class="py method">
1065
1062
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.Flattenings.num_tetrahedra">
1066
- <span class="sig-name descname"><span class="pre">num_tetrahedra</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.Flattenings.num_tetrahedra" title="Permalink to this definition"></a></dt>
1063
+ <span class="sig-name descname"><span class="pre">num_tetrahedra</span></span><span class="sig-paren">(</span><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.coordinates.Flattenings.num_tetrahedra" title="Link to this definition"></a></dt>
1067
1064
  <dd><p>The number of tetrahedra for which we have cross ratios.</p>
1068
1065
  </dd></dl>
1069
1066
 
@@ -1071,10 +1068,10 @@ Walter D. Neumann, Extended Bloch group and the Cheeger-Chern-Simons class
1071
1068
 
1072
1069
  </section>
1073
1070
  <section id="nonzerodimensionalcomponent">
1074
- <h2>NonZeroDimensionalComponent<a class="headerlink" href="#nonzerodimensionalcomponent" title="Permalink to this heading"></a></h2>
1071
+ <h2>NonZeroDimensionalComponent<a class="headerlink" href="#nonzerodimensionalcomponent" title="Link to this heading"></a></h2>
1075
1072
  <dl class="py class">
1076
1073
  <dt class="sig sig-object py" id="snappy.ptolemy.component.NonZeroDimensionalComponent">
1077
- <em class="property"><span class="pre">class</span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">snappy.ptolemy.component.</span></span><span class="sig-name descname"><span class="pre">NonZeroDimensionalComponent</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">witnesses</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">[]</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">dimension</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">'unknown'</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">free_variables</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">genus</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">p</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.component.NonZeroDimensionalComponent" title="Permalink to this definition"></a></dt>
1074
+ <em class="property"><span class="pre">class</span><span class="w"> </span></em><span class="sig-prename descclassname"><span class="pre">snappy.ptolemy.component.</span></span><span class="sig-name descname"><span class="pre">NonZeroDimensionalComponent</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">witnesses</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">[]</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">dimension</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">'unknown'</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">free_variables</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">genus</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">p</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">None</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.component.NonZeroDimensionalComponent" title="Link to this definition"></a></dt>
1078
1075
  <dd><p>Represents a non-zero dimensional component in the
1079
1076
  Ptolemy variety. It is a list that can hold points sampled from that
1080
1077
  component (witnesses).</p>
@@ -1082,10 +1079,10 @@ component (witnesses).</p>
1082
1079
 
1083
1080
  </section>
1084
1081
  <section id="other-functions">
1085
- <h2>Other functions<a class="headerlink" href="#other-functions" title="Permalink to this heading"></a></h2>
1082
+ <h2>Other functions<a class="headerlink" href="#other-functions" title="Link to this heading"></a></h2>
1086
1083
  <dl class="py function">
1087
1084
  <dt class="sig sig-object py" id="snappy.ptolemy.solutions_from_magma">
1088
- <span class="sig-prename descclassname"><span class="pre">snappy.ptolemy.</span></span><span class="sig-name descname"><span class="pre">solutions_from_magma</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">output</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">numerical</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.solutions_from_magma" title="Permalink to this definition"></a></dt>
1085
+ <span class="sig-prename descclassname"><span class="pre">snappy.ptolemy.</span></span><span class="sig-name descname"><span class="pre">solutions_from_magma</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">output</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">numerical</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.solutions_from_magma" title="Link to this definition"></a></dt>
1089
1086
  <dd><p>Obsolete, use processFileDispatch.parse_solutions instead.</p>
1090
1087
  <p>Assumes the given string is the output of a magma computation, parses
1091
1088
  it and returns a list of solutions.
@@ -1095,7 +1092,7 @@ NonZeroDimensionalComponent.</p>
1095
1092
 
1096
1093
  <dl class="py function">
1097
1094
  <dt class="sig sig-object py" id="snappy.ptolemy.solutions_from_magma_file">
1098
- <span class="sig-prename descclassname"><span class="pre">snappy.ptolemy.</span></span><span class="sig-name descname"><span class="pre">solutions_from_magma_file</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">filename</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">numerical</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.solutions_from_magma_file" title="Permalink to this definition"></a></dt>
1095
+ <span class="sig-prename descclassname"><span class="pre">snappy.ptolemy.</span></span><span class="sig-name descname"><span class="pre">solutions_from_magma_file</span></span><span class="sig-paren">(</span><em class="sig-param"><span class="n"><span class="pre">filename</span></span></em>, <em class="sig-param"><span class="n"><span class="pre">numerical</span></span><span class="o"><span class="pre">=</span></span><span class="default_value"><span class="pre">False</span></span></em><span class="sig-paren">)</span><a class="headerlink" href="#snappy.ptolemy.solutions_from_magma_file" title="Link to this definition"></a></dt>
1099
1096
  <dd><p>Obsolete, use processFileDispatch.parse_solutions_from_file instead.</p>
1100
1097
  <p>Reads the output from a magma computation from the file with the given
1101
1098
  filename and returns a list of solutions. Also see solutions_from_magma.
@@ -1124,7 +1121,7 @@ NonZeroDimensionalComponent.</p>
1124
1121
  <hr/>
1125
1122
 
1126
1123
  <div role="contentinfo">
1127
- <p>&#169; Copyright 2009-2023, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
1124
+ <p>&#169; Copyright 2009-2025, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
1128
1125
  </div>
1129
1126
 
1130
1127
  Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a