snappy 3.0.3__cp38-cp38-macosx_11_0_arm64.whl → 3.2__cp38-cp38-macosx_11_0_arm64.whl

Sign up to get free protection for your applications and to get access to all the features.
Files changed (401) hide show
  1. snappy/CyOpenGL.cpython-38-darwin.so +0 -0
  2. snappy/SnapPy.cpython-38-darwin.so +0 -0
  3. snappy/SnapPyHP.cpython-38-darwin.so +0 -0
  4. snappy/__init__.py +373 -426
  5. snappy/app.py +240 -75
  6. snappy/app_menus.py +93 -78
  7. snappy/browser.py +87 -63
  8. snappy/cache.py +5 -8
  9. snappy/canonical.py +249 -0
  10. snappy/{verify/cusp_shapes.py → cusps/__init__.py} +11 -19
  11. snappy/cusps/cusp_area_matrix.py +101 -0
  12. snappy/{verify/cusp_areas.py → cusps/cusp_areas_from_matrix.py} +39 -54
  13. snappy/cusps/maximal_cusp_area_matrix.py +136 -0
  14. snappy/cusps/test.py +21 -0
  15. snappy/cusps/trig_cusp_area_matrix.py +63 -0
  16. snappy/database.py +40 -31
  17. snappy/db_utilities.py +13 -14
  18. snappy/decorated_isosig.py +377 -133
  19. snappy/dev/extended_ptolemy/complexVolumesClosed.py +42 -9
  20. snappy/dev/extended_ptolemy/extended.py +32 -25
  21. snappy/dev/extended_ptolemy/giac_rur.py +23 -8
  22. snappy/dev/extended_ptolemy/phc_wrapper.py +10 -10
  23. snappy/dev/vericlosed/computeApproxHyperbolicStructureOrb.py +2 -1
  24. snappy/dev/vericlosed/gimbalLoopFinder.py +5 -5
  25. snappy/dev/vericlosed/hyperbolicStructure.py +3 -3
  26. snappy/dev/vericlosed/oneVertexTruncatedComplex.py +2 -2
  27. snappy/dev/vericlosed/truncatedComplex.py +3 -2
  28. snappy/dev/vericlosed/verifyHyperbolicStructureEngine.py +4 -3
  29. snappy/doc/_images/geodesics.jpg +0 -0
  30. snappy/doc/_images/m004_paper_plane_on_systole.jpg +0 -0
  31. snappy/doc/_images/m125_paper_plane.jpg +0 -0
  32. snappy/doc/_images/o9_00000_systole_paper_plane.jpg +0 -0
  33. snappy/doc/_images/o9_00000_systole_paper_plane_closer.jpg +0 -0
  34. snappy/doc/_sources/additional_classes.rst.txt +1 -0
  35. snappy/doc/_sources/credits.rst.txt +6 -1
  36. snappy/doc/_sources/development.rst.txt +69 -50
  37. snappy/doc/_sources/index.rst.txt +101 -66
  38. snappy/doc/_sources/installing.rst.txt +148 -165
  39. snappy/doc/_sources/news.rst.txt +136 -32
  40. snappy/doc/_sources/ptolemy.rst.txt +1 -1
  41. snappy/doc/_sources/ptolemy_examples1.rst.txt +9 -8
  42. snappy/doc/_sources/ptolemy_examples2.rst.txt +3 -3
  43. snappy/doc/_sources/ptolemy_examples3.rst.txt +14 -14
  44. snappy/doc/_sources/ptolemy_prelim.rst.txt +1 -1
  45. snappy/doc/_sources/snap.rst.txt +2 -2
  46. snappy/doc/_sources/snappy.rst.txt +1 -1
  47. snappy/doc/_sources/triangulation.rst.txt +3 -2
  48. snappy/doc/_sources/verify.rst.txt +89 -29
  49. snappy/doc/_sources/verify_internals.rst.txt +5 -16
  50. snappy/doc/_static/SnapPy-horizontal-128.png +0 -0
  51. snappy/doc/_static/SnapPy.ico +0 -0
  52. snappy/doc/_static/_sphinx_javascript_frameworks_compat.js +123 -0
  53. snappy/doc/_static/basic.css +47 -27
  54. snappy/doc/_static/css/badge_only.css +1 -0
  55. snappy/doc/_static/css/fonts/Roboto-Slab-Bold.woff +0 -0
  56. snappy/doc/_static/css/fonts/Roboto-Slab-Bold.woff2 +0 -0
  57. snappy/doc/_static/css/fonts/Roboto-Slab-Regular.woff +0 -0
  58. snappy/doc/_static/css/fonts/Roboto-Slab-Regular.woff2 +0 -0
  59. snappy/doc/_static/css/fonts/fontawesome-webfont.eot +0 -0
  60. snappy/doc/_static/css/fonts/fontawesome-webfont.svg +2671 -0
  61. snappy/doc/_static/css/fonts/fontawesome-webfont.ttf +0 -0
  62. snappy/doc/_static/css/fonts/fontawesome-webfont.woff +0 -0
  63. snappy/doc/_static/css/fonts/fontawesome-webfont.woff2 +0 -0
  64. snappy/doc/_static/css/fonts/lato-bold-italic.woff +0 -0
  65. snappy/doc/_static/css/fonts/lato-bold-italic.woff2 +0 -0
  66. snappy/doc/_static/css/fonts/lato-bold.woff +0 -0
  67. snappy/doc/_static/css/fonts/lato-bold.woff2 +0 -0
  68. snappy/doc/_static/css/fonts/lato-normal-italic.woff +0 -0
  69. snappy/doc/_static/css/fonts/lato-normal-italic.woff2 +0 -0
  70. snappy/doc/_static/css/fonts/lato-normal.woff +0 -0
  71. snappy/doc/_static/css/fonts/lato-normal.woff2 +0 -0
  72. snappy/doc/_static/css/theme.css +4 -0
  73. snappy/doc/_static/doctools.js +107 -274
  74. snappy/doc/_static/documentation_options.js +6 -5
  75. snappy/doc/_static/fonts/Lato/lato-bold.eot +0 -0
  76. snappy/doc/_static/fonts/Lato/lato-bold.ttf +0 -0
  77. snappy/doc/_static/fonts/Lato/lato-bold.woff +0 -0
  78. snappy/doc/_static/fonts/Lato/lato-bold.woff2 +0 -0
  79. snappy/doc/_static/fonts/Lato/lato-bolditalic.eot +0 -0
  80. snappy/doc/_static/fonts/Lato/lato-bolditalic.ttf +0 -0
  81. snappy/doc/_static/fonts/Lato/lato-bolditalic.woff +0 -0
  82. snappy/doc/_static/fonts/Lato/lato-bolditalic.woff2 +0 -0
  83. snappy/doc/_static/fonts/Lato/lato-italic.eot +0 -0
  84. snappy/doc/_static/fonts/Lato/lato-italic.ttf +0 -0
  85. snappy/doc/_static/fonts/Lato/lato-italic.woff +0 -0
  86. snappy/doc/_static/fonts/Lato/lato-italic.woff2 +0 -0
  87. snappy/doc/_static/fonts/Lato/lato-regular.eot +0 -0
  88. snappy/doc/_static/fonts/Lato/lato-regular.ttf +0 -0
  89. snappy/doc/_static/fonts/Lato/lato-regular.woff +0 -0
  90. snappy/doc/_static/fonts/Lato/lato-regular.woff2 +0 -0
  91. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.eot +0 -0
  92. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.ttf +0 -0
  93. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff +0 -0
  94. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff2 +0 -0
  95. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.eot +0 -0
  96. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.ttf +0 -0
  97. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff +0 -0
  98. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff2 +0 -0
  99. snappy/doc/_static/jquery.js +2 -2
  100. snappy/doc/_static/js/badge_only.js +1 -0
  101. snappy/doc/_static/js/theme.js +1 -0
  102. snappy/doc/_static/js/versions.js +228 -0
  103. snappy/doc/_static/language_data.js +3 -101
  104. snappy/doc/_static/pygments.css +1 -0
  105. snappy/doc/_static/searchtools.js +489 -398
  106. snappy/doc/_static/snappy_furo.css +33 -0
  107. snappy/doc/_static/snappy_sphinx_rtd_theme.css +42 -0
  108. snappy/doc/_static/sphinx_highlight.js +154 -0
  109. snappy/doc/additional_classes.html +688 -263
  110. snappy/doc/bugs.html +107 -94
  111. snappy/doc/censuses.html +155 -127
  112. snappy/doc/credits.html +115 -104
  113. snappy/doc/development.html +184 -146
  114. snappy/doc/genindex.html +287 -204
  115. snappy/doc/index.html +189 -150
  116. snappy/doc/installing.html +259 -266
  117. snappy/doc/manifold.html +1626 -592
  118. snappy/doc/manifoldhp.html +119 -105
  119. snappy/doc/news.html +198 -104
  120. snappy/doc/objects.inv +0 -0
  121. snappy/doc/other.html +117 -105
  122. snappy/doc/platonic_census.html +161 -114
  123. snappy/doc/plink.html +113 -105
  124. snappy/doc/ptolemy.html +131 -108
  125. snappy/doc/ptolemy_classes.html +242 -223
  126. snappy/doc/ptolemy_examples1.html +144 -130
  127. snappy/doc/ptolemy_examples2.html +141 -129
  128. snappy/doc/ptolemy_examples3.html +148 -132
  129. snappy/doc/ptolemy_examples4.html +131 -111
  130. snappy/doc/ptolemy_prelim.html +162 -138
  131. snappy/doc/py-modindex.html +104 -69
  132. snappy/doc/screenshots.html +117 -108
  133. snappy/doc/search.html +115 -84
  134. snappy/doc/searchindex.js +1 -1
  135. snappy/doc/snap.html +109 -96
  136. snappy/doc/snappy.html +134 -97
  137. snappy/doc/spherogram.html +259 -187
  138. snappy/doc/todo.html +107 -94
  139. snappy/doc/triangulation.html +1380 -111
  140. snappy/doc/tutorial.html +107 -94
  141. snappy/doc/verify.html +194 -125
  142. snappy/doc/verify_internals.html +248 -686
  143. snappy/drilling/__init__.py +456 -0
  144. snappy/drilling/barycentric.py +103 -0
  145. snappy/drilling/constants.py +5 -0
  146. snappy/drilling/crush.py +270 -0
  147. snappy/drilling/cusps.py +125 -0
  148. snappy/drilling/debug.py +242 -0
  149. snappy/drilling/epsilons.py +6 -0
  150. snappy/drilling/exceptions.py +55 -0
  151. snappy/drilling/moves.py +620 -0
  152. snappy/drilling/peripheral_curves.py +210 -0
  153. snappy/drilling/perturb.py +188 -0
  154. snappy/drilling/shorten.py +36 -0
  155. snappy/drilling/subdivide.py +274 -0
  156. snappy/drilling/test.py +23 -0
  157. snappy/drilling/test_cases.py +126 -0
  158. snappy/drilling/tracing.py +351 -0
  159. snappy/exceptions.py +23 -3
  160. snappy/export_stl.py +20 -14
  161. snappy/exterior_to_link/__init__.py +2 -0
  162. snappy/exterior_to_link/barycentric_geometry.py +463 -0
  163. snappy/exterior_to_link/exceptions.py +6 -0
  164. snappy/exterior_to_link/geodesic_map.json +14408 -0
  165. snappy/exterior_to_link/hyp_utils.py +112 -0
  166. snappy/exterior_to_link/link_projection.py +323 -0
  167. snappy/exterior_to_link/main.py +197 -0
  168. snappy/exterior_to_link/mcomplex_with_expansion.py +261 -0
  169. snappy/exterior_to_link/mcomplex_with_link.py +687 -0
  170. snappy/exterior_to_link/mcomplex_with_memory.py +162 -0
  171. snappy/exterior_to_link/pl_utils.py +491 -0
  172. snappy/exterior_to_link/put_in_S3.py +156 -0
  173. snappy/exterior_to_link/rational_linear_algebra.py +123 -0
  174. snappy/exterior_to_link/rational_linear_algebra_wrapped.py +135 -0
  175. snappy/exterior_to_link/simplify_to_base_tri.py +114 -0
  176. snappy/exterior_to_link/stored_moves.py +475 -0
  177. snappy/exterior_to_link/test.py +31 -0
  178. snappy/geometric_structure/__init__.py +212 -0
  179. snappy/geometric_structure/cusp_neighborhood/__init__.py +3 -0
  180. snappy/geometric_structure/cusp_neighborhood/complex_cusp_cross_section.py +697 -0
  181. snappy/geometric_structure/cusp_neighborhood/cusp_cross_section_base.py +484 -0
  182. snappy/geometric_structure/cusp_neighborhood/exceptions.py +42 -0
  183. snappy/geometric_structure/cusp_neighborhood/real_cusp_cross_section.py +298 -0
  184. snappy/geometric_structure/cusp_neighborhood/tiles_for_cusp_neighborhood.py +159 -0
  185. snappy/geometric_structure/cusp_neighborhood/vertices.py +32 -0
  186. snappy/geometric_structure/geodesic/__init__.py +0 -0
  187. snappy/geometric_structure/geodesic/add_core_curves.py +152 -0
  188. snappy/geometric_structure/geodesic/avoid_core_curves.py +369 -0
  189. snappy/geometric_structure/geodesic/canonical_keys.py +52 -0
  190. snappy/geometric_structure/geodesic/check_away_from_core_curve.py +60 -0
  191. snappy/geometric_structure/geodesic/constants.py +6 -0
  192. snappy/geometric_structure/geodesic/exceptions.py +22 -0
  193. snappy/geometric_structure/geodesic/fixed_points.py +93 -0
  194. snappy/geometric_structure/geodesic/geodesic_start_point_info.py +435 -0
  195. snappy/geometric_structure/geodesic/graph_trace_helper.py +67 -0
  196. snappy/geometric_structure/geodesic/line.py +30 -0
  197. snappy/geometric_structure/geodesic/multiplicity.py +127 -0
  198. snappy/geometric_structure/geodesic/tiles_for_geodesic.py +101 -0
  199. snappy/geometric_structure/test.py +22 -0
  200. snappy/gui.py +36 -36
  201. snappy/horoviewer.py +50 -48
  202. snappy/hyperboloid/__init__.py +212 -0
  203. snappy/hyperboloid/distances.py +245 -0
  204. snappy/hyperboloid/horoball.py +19 -0
  205. snappy/hyperboloid/line.py +35 -0
  206. snappy/hyperboloid/point.py +9 -0
  207. snappy/hyperboloid/triangle.py +29 -0
  208. snappy/{infodialog.py → infowindow.py} +32 -33
  209. snappy/isometry_signature.py +382 -0
  210. snappy/len_spec/__init__.py +596 -0
  211. snappy/len_spec/geodesic_info.py +110 -0
  212. snappy/len_spec/geodesic_key_info_dict.py +117 -0
  213. snappy/len_spec/geodesic_piece.py +143 -0
  214. snappy/len_spec/geometric_structure.py +182 -0
  215. snappy/len_spec/geometry.py +80 -0
  216. snappy/len_spec/length_spectrum_geodesic_info.py +170 -0
  217. snappy/len_spec/spine.py +206 -0
  218. snappy/len_spec/test.py +24 -0
  219. snappy/len_spec/test_cases.py +69 -0
  220. snappy/len_spec/tile.py +275 -0
  221. snappy/len_spec/word.py +86 -0
  222. snappy/manifolds/__init__.py +1 -1
  223. snappy/math_basics.py +176 -0
  224. snappy/matrix.py +525 -0
  225. snappy/number.py +97 -21
  226. snappy/numeric_output_checker.py +37 -27
  227. snappy/pari.py +30 -69
  228. snappy/phone_home.py +25 -20
  229. snappy/polyviewer.py +39 -37
  230. snappy/ptolemy/__init__.py +4 -6
  231. snappy/ptolemy/component.py +14 -12
  232. snappy/ptolemy/coordinates.py +312 -295
  233. snappy/ptolemy/fieldExtensions.py +14 -12
  234. snappy/ptolemy/findLoops.py +43 -31
  235. snappy/ptolemy/geometricRep.py +24 -26
  236. snappy/ptolemy/homology.py +12 -7
  237. snappy/ptolemy/manifoldMethods.py +69 -70
  238. snappy/ptolemy/matrix.py +65 -26
  239. snappy/ptolemy/numericalSolutionsToGroebnerBasis.py +18 -14
  240. snappy/ptolemy/polynomial.py +125 -119
  241. snappy/ptolemy/processComponents.py +36 -30
  242. snappy/ptolemy/processFileBase.py +79 -18
  243. snappy/ptolemy/processFileDispatch.py +13 -14
  244. snappy/ptolemy/processMagmaFile.py +44 -39
  245. snappy/ptolemy/processRurFile.py +18 -11
  246. snappy/ptolemy/ptolemyGeneralizedObstructionClass.py +20 -17
  247. snappy/ptolemy/ptolemyObstructionClass.py +13 -17
  248. snappy/ptolemy/ptolemyVariety.py +190 -121
  249. snappy/ptolemy/ptolemyVarietyPrimeIdealGroebnerBasis.py +20 -19
  250. snappy/ptolemy/reginaWrapper.py +25 -29
  251. snappy/ptolemy/rur.py +6 -14
  252. snappy/ptolemy/solutionsToPrimeIdealGroebnerBasis.py +27 -22
  253. snappy/ptolemy/test.py +247 -188
  254. snappy/ptolemy/utilities.py +41 -43
  255. snappy/raytracing/__init__.py +64 -0
  256. snappy/raytracing/additional_horospheres.py +64 -0
  257. snappy/raytracing/additional_len_spec_choices.py +63 -0
  258. snappy/raytracing/cohomology_fractal.py +10 -6
  259. snappy/raytracing/eyeball.py +123 -0
  260. snappy/raytracing/finite_raytracing_data.py +48 -38
  261. snappy/raytracing/finite_viewer.py +218 -210
  262. snappy/raytracing/geodesic_tube_info.py +174 -0
  263. snappy/raytracing/geodesics.py +246 -0
  264. snappy/raytracing/geodesics_window.py +258 -0
  265. snappy/raytracing/gui_utilities.py +152 -40
  266. snappy/raytracing/hyperboloid_navigation.py +102 -52
  267. snappy/raytracing/hyperboloid_utilities.py +114 -261
  268. snappy/raytracing/ideal_raytracing_data.py +256 -179
  269. snappy/raytracing/inside_viewer.py +522 -253
  270. snappy/raytracing/pack.py +22 -0
  271. snappy/raytracing/raytracing_data.py +46 -34
  272. snappy/raytracing/raytracing_view.py +190 -109
  273. snappy/raytracing/shaders/Eye.png +0 -0
  274. snappy/raytracing/shaders/NonGeometric.png +0 -0
  275. snappy/raytracing/shaders/__init__.py +60 -4
  276. snappy/raytracing/shaders/fragment.glsl +575 -148
  277. snappy/raytracing/test.py +29 -0
  278. snappy/raytracing/tooltip.py +146 -0
  279. snappy/raytracing/upper_halfspace_utilities.py +98 -0
  280. snappy/raytracing/view_scale_controller.py +98 -0
  281. snappy/raytracing/zoom_slider/__init__.py +32 -29
  282. snappy/raytracing/zoom_slider/test.py +2 -0
  283. snappy/sage_helper.py +69 -123
  284. snappy/{preferences.py → settings.py} +167 -145
  285. snappy/shell.py +4 -0
  286. snappy/snap/__init__.py +12 -8
  287. snappy/snap/character_varieties.py +24 -18
  288. snappy/snap/find_field.py +35 -34
  289. snappy/snap/fundamental_polyhedron.py +99 -85
  290. snappy/snap/generators.py +6 -8
  291. snappy/snap/interval_reps.py +18 -6
  292. snappy/snap/kernel_structures.py +8 -3
  293. snappy/snap/mcomplex_base.py +1 -2
  294. snappy/snap/nsagetools.py +107 -53
  295. snappy/snap/peripheral/__init__.py +1 -1
  296. snappy/snap/peripheral/dual_cellulation.py +15 -7
  297. snappy/snap/peripheral/link.py +20 -16
  298. snappy/snap/peripheral/peripheral.py +22 -14
  299. snappy/snap/peripheral/surface.py +47 -50
  300. snappy/snap/peripheral/test.py +8 -8
  301. snappy/snap/polished_reps.py +65 -40
  302. snappy/snap/shapes.py +41 -22
  303. snappy/snap/slice_obs_HKL.py +64 -25
  304. snappy/snap/t3mlite/arrow.py +88 -51
  305. snappy/snap/t3mlite/corner.py +5 -6
  306. snappy/snap/t3mlite/edge.py +32 -21
  307. snappy/snap/t3mlite/face.py +7 -9
  308. snappy/snap/t3mlite/files.py +31 -23
  309. snappy/snap/t3mlite/homology.py +14 -10
  310. snappy/snap/t3mlite/linalg.py +158 -56
  311. snappy/snap/t3mlite/mcomplex.py +739 -291
  312. snappy/snap/t3mlite/perm4.py +236 -84
  313. snappy/snap/t3mlite/setup.py +9 -10
  314. snappy/snap/t3mlite/simplex.py +65 -48
  315. snappy/snap/t3mlite/spun.py +42 -30
  316. snappy/snap/t3mlite/surface.py +45 -45
  317. snappy/snap/t3mlite/test.py +3 -0
  318. snappy/snap/t3mlite/test_vs_regina.py +17 -13
  319. snappy/snap/t3mlite/tetrahedron.py +25 -24
  320. snappy/snap/t3mlite/vertex.py +8 -13
  321. snappy/snap/test.py +45 -52
  322. snappy/snap/utilities.py +66 -65
  323. snappy/test.py +155 -158
  324. snappy/test_cases.py +263 -0
  325. snappy/testing.py +131 -0
  326. snappy/tiling/__init__.py +2 -0
  327. snappy/tiling/canonical_key_dict.py +59 -0
  328. snappy/tiling/dict_based_set.py +79 -0
  329. snappy/tiling/floor.py +49 -0
  330. snappy/tiling/hyperboloid_dict.py +54 -0
  331. snappy/tiling/iter_utils.py +78 -0
  332. snappy/tiling/lifted_tetrahedron.py +22 -0
  333. snappy/tiling/lifted_tetrahedron_set.py +54 -0
  334. snappy/tiling/real_hash_dict.py +164 -0
  335. snappy/tiling/test.py +23 -0
  336. snappy/tiling/tile.py +215 -0
  337. snappy/tiling/triangle.py +33 -0
  338. snappy/tkterminal.py +313 -203
  339. snappy/twister/main.py +1 -8
  340. snappy/twister/twister_core.cpython-38-darwin.so +0 -0
  341. snappy/upper_halfspace/__init__.py +146 -0
  342. snappy/upper_halfspace/ideal_point.py +26 -0
  343. snappy/verify/__init__.py +4 -8
  344. snappy/verify/{verifyCanonical.py → canonical.py} +114 -97
  345. snappy/verify/complex_volume/__init__.py +3 -2
  346. snappy/verify/complex_volume/adjust_torsion.py +13 -11
  347. snappy/verify/complex_volume/closed.py +29 -24
  348. snappy/verify/complex_volume/compute_ptolemys.py +8 -6
  349. snappy/verify/complex_volume/cusped.py +10 -9
  350. snappy/verify/complex_volume/extended_bloch.py +14 -12
  351. snappy/verify/{cuspTranslations.py → cusp_translations.py} +15 -14
  352. snappy/verify/edge_equations.py +80 -0
  353. snappy/verify/exceptions.py +23 -56
  354. snappy/verify/{verifyHyperbolicity.py → hyperbolicity.py} +19 -15
  355. snappy/verify/interval_newton_shapes_engine.py +51 -211
  356. snappy/verify/interval_tree.py +27 -25
  357. snappy/verify/krawczyk_shapes_engine.py +47 -50
  358. snappy/verify/maximal_cusp_area_matrix/__init__.py +17 -86
  359. snappy/verify/maximal_cusp_area_matrix/cusp_tiling_engine.py +58 -48
  360. snappy/verify/maximal_cusp_area_matrix/cusp_translate_engine.py +53 -57
  361. snappy/verify/{realAlgebra.py → real_algebra.py} +26 -20
  362. snappy/verify/shapes.py +10 -7
  363. snappy/verify/short_slopes.py +41 -42
  364. snappy/verify/{squareExtensions.py → square_extensions.py} +96 -92
  365. snappy/verify/test.py +59 -57
  366. snappy/verify/upper_halfspace/extended_matrix.py +5 -5
  367. snappy/verify/upper_halfspace/finite_point.py +44 -31
  368. snappy/verify/upper_halfspace/ideal_point.py +69 -57
  369. snappy/verify/volume.py +15 -12
  370. snappy/version.py +2 -3
  371. {snappy-3.0.3.dist-info → snappy-3.2.dist-info}/METADATA +14 -12
  372. snappy-3.2.dist-info/RECORD +503 -0
  373. {snappy-3.0.3.dist-info → snappy-3.2.dist-info}/WHEEL +1 -1
  374. {snappy-3.0.3.dist-info → snappy-3.2.dist-info}/entry_points.txt +0 -1
  375. {snappy-3.0.3.dist-info → snappy-3.2.dist-info}/top_level.txt +10 -1
  376. snappy/doc/_sources/verify_canon.rst.txt +0 -90
  377. snappy/doc/_static/classic.css +0 -266
  378. snappy/doc/_static/jquery-3.5.1.js +0 -10872
  379. snappy/doc/_static/sidebar.js +0 -159
  380. snappy/doc/_static/underscore-1.13.1.js +0 -2042
  381. snappy/doc/_static/underscore.js +0 -6
  382. snappy/doc/verify_canon.html +0 -283
  383. snappy/ppm_to_png.py +0 -243
  384. snappy/togl/__init__.py +0 -3
  385. snappy/togl/darwin-tk8.6/Togl2.1/LICENSE +0 -28
  386. snappy/togl/darwin-tk8.6/Togl2.1/libTogl2.1.dylib +0 -0
  387. snappy/togl/darwin-tk8.6/Togl2.1/pkgIndex.tcl +0 -5
  388. snappy/togl/linux2-x86_64-tk8.6/Togl2.1/LICENSE +0 -28
  389. snappy/togl/linux2-x86_64-tk8.6/Togl2.1/libTogl2.1.so +0 -0
  390. snappy/togl/linux2-x86_64-tk8.6/Togl2.1/pkgIndex.tcl +0 -5
  391. snappy/togl/win32VC-tk8.6/Togl2.1/LICENSE +0 -28
  392. snappy/togl/win32VC-tk8.6/Togl2.1/Togl21.dll +0 -0
  393. snappy/togl/win32VC-tk8.6/Togl2.1/Togl21.lib +0 -0
  394. snappy/togl/win32VC-tk8.6/Togl2.1/pkgIndex.tcl +0 -6
  395. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/LICENSE +0 -28
  396. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/Togl21.dll +0 -0
  397. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/Togl21.lib +0 -0
  398. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/pkgIndex.tcl +0 -6
  399. snappy/verify/cuspCrossSection.py +0 -1413
  400. snappy/verify/mathHelpers.py +0 -64
  401. snappy-3.0.3.dist-info/RECORD +0 -360
@@ -1,60 +1,119 @@
1
1
 
2
- <!DOCTYPE html>
3
2
 
4
- <html>
5
- <head>
6
- <meta charset="utf-8" />
7
- <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.17.1: http://docutils.sourceforge.net/" />
8
-
9
- <title>Classes &#8212; SnapPy 3.0.3 documentation</title>
10
- <link rel="stylesheet" type="text/css" href="_static/pygments.css" />
11
- <link rel="stylesheet" type="text/css" href="_static/classic.css" />
12
-
13
- <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js"></script>
14
- <script src="_static/jquery.js"></script>
15
- <script src="_static/underscore.js"></script>
16
- <script src="_static/doctools.js"></script>
17
- <script async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
18
-
3
+ <!DOCTYPE html>
4
+ <html class="writer-html5" lang="en" data-content_root="./">
5
+ <head>
6
+ <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
7
+
8
+ <meta name="viewport" content="width=device-width, initial-scale=1.0" />
9
+ <title>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
+
14
+
15
+ <link rel="shortcut icon" href="_static/SnapPy.ico"/>
16
+ <script src="_static/jquery.js?v=5d32c60e"></script>
17
+ <script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
18
+ <script src="_static/documentation_options.js?v=828ea960"></script>
19
+ <script src="_static/doctools.js?v=9a2dae69"></script>
20
+ <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
21
+ <script async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
22
+ <script src="_static/js/theme.js"></script>
19
23
  <link rel="index" title="Index" href="genindex.html" />
20
24
  <link rel="search" title="Search" href="search.html" />
21
25
  <link rel="next" title="News" href="news.html" />
22
26
  <link rel="prev" title="Step-by-step examples: Part 4" href="ptolemy_examples4.html" />
23
- </head><body>
24
- <div class="related" role="navigation" aria-label="related navigation">
25
- <h3>Navigation</h3>
26
- <ul>
27
- <li class="right" style="margin-right: 10px">
28
- <a href="genindex.html" title="General Index"
29
- accesskey="I">index</a></li>
30
- <li class="right" >
31
- <a href="py-modindex.html" title="Python Module Index"
32
- >modules</a> |</li>
33
- <li class="right" >
34
- <a href="news.html" title="News"
35
- accesskey="N">next</a> |</li>
36
- <li class="right" >
37
- <a href="ptolemy_examples4.html" title="Step-by-step examples: Part 4"
38
- accesskey="P">previous</a> |</li>
39
- <li class="nav-item nav-item-0"><a href="index.html">SnapPy 3.0.3 documentation</a> &#187;</li>
40
- <li class="nav-item nav-item-1"><a href="other.html" >Other components</a> &#187;</li>
41
- <li class="nav-item nav-item-2"><a href="ptolemy.html" accesskey="U">The ptolemy module</a> &#187;</li>
42
- <li class="nav-item nav-item-this"><a href="">Classes</a></li>
43
- </ul>
44
- </div>
45
-
46
- <div class="document">
47
- <div class="documentwrapper">
48
- <div class="bodywrapper">
49
- <div class="body" role="main">
50
-
27
+ </head>
28
+
29
+ <body class="wy-body-for-nav">
30
+ <div class="wy-grid-for-nav">
31
+ <nav data-toggle="wy-nav-shift" class="wy-nav-side">
32
+ <div class="wy-side-scroll">
33
+ <div class="wy-side-nav-search" >
34
+
35
+
36
+
37
+ <a href="index.html" class="icon icon-home">
38
+ SnapPy
39
+ <img src="_static/SnapPy-horizontal-128.png" class="logo" alt="Logo"/>
40
+ </a>
41
+ <div role="search">
42
+ <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
43
+ <input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
44
+ <input type="hidden" name="check_keywords" value="yes" />
45
+ <input type="hidden" name="area" value="default" />
46
+ </form>
47
+ </div>
48
+ </div><div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="Navigation menu">
49
+ <ul class="current">
50
+ <li class="toctree-l1"><a class="reference internal" href="installing.html">Installing SnapPy</a></li>
51
+ <li class="toctree-l1"><a class="reference internal" href="screenshots.html">Screenshots: SnapPy in action</a></li>
52
+ <li class="toctree-l1"><a class="reference internal" href="tutorial.html">Tutorial</a></li>
53
+ <li class="toctree-l1"><a class="reference internal" href="snappy.html">The snappy module and its classes</a></li>
54
+ <li class="toctree-l1"><a class="reference internal" href="plink.html">Using SnapPy’s link editor</a></li>
55
+ <li class="toctree-l1"><a class="reference internal" href="spherogram.html">Links: planar diagrams and invariants</a></li>
56
+ <li class="toctree-l1"><a class="reference internal" href="snap.html">Number theory of hyperbolic 3-manifolds</a></li>
57
+ <li class="toctree-l1"><a class="reference internal" href="verify.html">Verified computations</a></li>
58
+ <li class="toctree-l1 current"><a class="reference internal" href="other.html">Other components</a><ul class="current">
59
+ <li class="toctree-l2 current"><a class="reference internal" href="other.html#ptolemy-module">Ptolemy module</a><ul class="current">
60
+ <li class="toctree-l3 current"><a class="reference internal" href="ptolemy.html">The ptolemy module</a><ul class="current">
61
+ <li class="toctree-l4"><a class="reference internal" href="ptolemy.html#what-is-the-ptolemy-module">What is the ptolemy module?</a></li>
62
+ <li class="toctree-l4 current"><a class="reference internal" href="ptolemy.html#documentation">Documentation</a><ul class="current">
63
+ <li class="toctree-l5"><a class="reference internal" href="ptolemy_prelim.html">Mathematical preliminaries</a></li>
64
+ <li class="toctree-l5"><a class="reference internal" href="ptolemy_examples1.html">Step-by-step examples: Part 1</a></li>
65
+ <li class="toctree-l5"><a class="reference internal" href="ptolemy_examples2.html">Step-by-step examples: Part 2</a></li>
66
+ <li class="toctree-l5"><a class="reference internal" href="ptolemy_examples3.html">Step-by-step examples: Part 3</a></li>
67
+ <li class="toctree-l5"><a class="reference internal" href="ptolemy_examples4.html">Step-by-step examples: Part 4</a></li>
68
+ <li class="toctree-l5 current"><a class="current reference internal" href="#">Classes</a></li>
69
+ </ul>
70
+ </li>
71
+ </ul>
72
+ </li>
73
+ </ul>
74
+ </li>
75
+ <li class="toctree-l2"><a class="reference internal" href="other.html#twister">Twister</a></li>
76
+ </ul>
77
+ </li>
78
+ <li class="toctree-l1"><a class="reference internal" href="news.html">News</a></li>
79
+ <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
80
+ <li class="toctree-l1"><a class="reference internal" href="bugs.html">Reporting bugs and other problems</a></li>
81
+ <li class="toctree-l1"><a class="reference internal" href="todo.html">To Do List</a></li>
82
+ <li class="toctree-l1"><a class="reference internal" href="development.html">Development Basics</a></li>
83
+ </ul>
84
+
85
+ </div>
86
+ </div>
87
+ </nav>
88
+
89
+ <section data-toggle="wy-nav-shift" class="wy-nav-content-wrap"><nav class="wy-nav-top" aria-label="Mobile navigation menu" >
90
+ <i data-toggle="wy-nav-top" class="fa fa-bars"></i>
91
+ <a href="index.html">SnapPy</a>
92
+ </nav>
93
+
94
+ <div class="wy-nav-content">
95
+ <div class="rst-content">
96
+ <div role="navigation" aria-label="Page navigation">
97
+ <ul class="wy-breadcrumbs">
98
+ <li><a href="index.html" class="icon icon-home" aria-label="Home"></a></li>
99
+ <li class="breadcrumb-item"><a href="other.html">Other components</a></li>
100
+ <li class="breadcrumb-item"><a href="ptolemy.html">The ptolemy module</a></li>
101
+ <li class="breadcrumb-item active">Classes</li>
102
+ <li class="wy-breadcrumbs-aside">
103
+ </li>
104
+ </ul>
105
+ <hr/>
106
+ </div>
107
+ <div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
108
+ <div itemprop="articleBody">
109
+
51
110
  <section id="classes">
52
- <h1>Classes<a class="headerlink" href="#classes" title="Permalink to this headline">¶</a></h1>
111
+ <h1>Classes<a class="headerlink" href="#classes" title="Link to this heading"></a></h1>
53
112
  <section id="ptolemyvariety">
54
- <h2>PtolemyVariety<a class="headerlink" href="#ptolemyvariety" title="Permalink to this headline">¶</a></h2>
113
+ <h2>PtolemyVariety<a class="headerlink" href="#ptolemyvariety" title="Link to this heading"></a></h2>
55
114
  <dl class="py class">
56
115
  <dt class="sig sig-object py" id="snappy.ptolemy.ptolemyVariety.PtolemyVariety">
57
- <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>
58
117
  <dd><p>Holds a reduced Ptolemy variety.</p>
59
118
  <p>=== Examples ===</p>
60
119
  <p>To generate such a variety, call:</p>
@@ -98,7 +157,7 @@ python section by py_eval_variable_dict().)</p>
98
157
  </div>
99
158
  <dl class="py method">
100
159
  <dt class="sig sig-object py" id="snappy.ptolemy.ptolemyVariety.PtolemyVariety.compute_decomposition">
101
- <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>
102
161
  <dd><p>Starts an engine such as magma to compute the
103
162
  radical decomposition of the Ptolemy variety.</p>
104
163
  <p>If started in sage, uses sage, otherwise, uses magma.</p>
@@ -111,7 +170,7 @@ verbose — print extra information</p>
111
170
 
112
171
  <dl class="py method">
113
172
  <dt class="sig sig-object py" id="snappy.ptolemy.ptolemyVariety.PtolemyVariety.compute_solutions">
114
- <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>
115
174
  <dd><p>Starts an engine such as magma to compute the
116
175
  radical decomposition of the ideal and computes exact solutions.</p>
117
176
  <p>If started in sage, uses sage, otherwise, uses magma.</p>
@@ -125,7 +184,7 @@ verbose — print extra information</p>
125
184
 
126
185
  <dl class="py method">
127
186
  <dt class="sig sig-object py" id="snappy.ptolemy.ptolemyVariety.PtolemyVariety.degree_to_shapes">
128
- <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>
129
188
  <dd><p>In general, there can be d different solutions to the (reduced) Ptolemy
130
189
  variety for each solution to the gluing equations (with peripheral
131
190
  equations). This method computes d which is also the number of elements
@@ -157,7 +216,7 @@ Thus the following call returns 2 = 4 / 2</p>
157
216
 
158
217
  <dl class="py method">
159
218
  <dt class="sig sig-object py" id="snappy.ptolemy.ptolemyVariety.PtolemyVariety.filename_base">
160
- <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>
161
220
  <dd><p>Preferred filename base for writing out this Ptolemy variety</p>
162
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>
163
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>
@@ -175,7 +234,7 @@ Thus the following call returns 2 = 4 / 2</p>
175
234
 
176
235
  <dl class="py method">
177
236
  <dt class="sig sig-object py" id="snappy.ptolemy.ptolemyVariety.PtolemyVariety.py_eval_section">
178
- <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>
179
238
  <dd><p>Returns a string that can be evaluated in python and contains extra
180
239
  information needed to recover solutions from a simplified Ptolemy
181
240
  variety.</p>
@@ -187,7 +246,7 @@ variety.</p>
187
246
  <p>Get extra information</p>
188
247
  <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">eval_section</span> <span class="o">=</span> <span class="n">p</span><span class="o">.</span><span class="n">py_eval_section</span><span class="p">()</span>
189
248
  <span class="gp">&gt;&gt;&gt; </span><span class="nb">print</span><span class="p">(</span><span class="n">eval_section</span><span class="p">)</span>
190
- <span class="go">{&#39;variable_dict&#39; : </span>
249
+ <span class="go">{&#39;variable_dict&#39; :</span>
191
250
  <span class="go"> (lambda d: {</span>
192
251
  <span class="go"> ...</span>
193
252
  </pre></div>
@@ -219,7 +278,7 @@ Ptolemy variety to a full solution.</p>
219
278
 
220
279
  <dl class="py method">
221
280
  <dt class="sig sig-object py" id="snappy.ptolemy.ptolemyVariety.PtolemyVariety.to_magma">
222
- <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>
223
282
  <dd><p>Returns a string with the ideal that can be used as input for magma.</p>
224
283
  <p>The advanced user can provide a template string to write own magma
225
284
  code to process the equations.</p>
@@ -239,7 +298,7 @@ True</p>
239
298
 
240
299
  <dl class="py method">
241
300
  <dt class="sig sig-object py" id="snappy.ptolemy.ptolemyVariety.PtolemyVariety.to_magma_file">
242
- <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>
243
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>
244
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>
245
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>
@@ -254,10 +313,10 @@ True</p>
254
313
 
255
314
  </section>
256
315
  <section id="ptolemycoordinates">
257
- <h2>PtolemyCoordinates<a class="headerlink" href="#ptolemycoordinates" title="Permalink to this headline">¶</a></h2>
316
+ <h2>PtolemyCoordinates<a class="headerlink" href="#ptolemycoordinates" title="Link to this heading"></a></h2>
258
317
  <dl class="py class">
259
318
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates">
260
- <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>
261
320
  <dd><p>Represents a solution of a Ptolemy variety as python dictionary.</p>
262
321
  <p>=== Examples ===</p>
263
322
  <p>Construct solution from magma output:</p>
@@ -349,13 +408,13 @@ according to SnapPy convention, see help(solution.cross_ratios):</p>
349
408
  </div>
350
409
  <dl class="py method">
351
410
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.N">
352
- <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>
353
412
  <dd><p>Get the <em>N</em> where these coordinates are for SL/PSL(<em>N</em>, <strong>C</strong>)-representations.</p>
354
413
  </dd></dl>
355
414
 
356
415
  <dl class="py method">
357
416
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.check_against_manifold">
358
- <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>
359
418
  <dd><p>Checks that the given solution really is a solution to the Ptolemy
360
419
  variety of a manifold. See help(ptolemy.PtolemyCoordinates) for
361
420
  more example.</p>
@@ -369,7 +428,7 @@ None for exact comparison.</p></li>
369
428
 
370
429
  <dl class="py method">
371
430
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.complex_volume_numerical">
372
- <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>
373
432
  <dd><p>Turn into (Galois conjugate) numerical solutions and compute complex
374
433
  volumes. If already numerical, return the volume.</p>
375
434
  <p>Complex volume is defined up to i*pi**2/6.</p>
@@ -379,7 +438,7 @@ argument, only return complex volumes with non-negative real part.</p>
379
438
 
380
439
  <dl class="py method">
381
440
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.cross_ratios">
382
- <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>
383
442
  <dd><p>Compute cross ratios from Ptolemy coordinates. The cross ratios are
384
443
  according to the SnapPy convention, so we have:</p>
385
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>
@@ -391,10 +450,10 @@ according to the SnapPy convention, so we have:</p>
391
450
  <span class="n">zpp</span> <span class="ow">is</span> <span class="n">at</span> <span class="n">the</span> <span class="n">edge</span> <span class="mi">03</span> <span class="ow">and</span> <span class="n">equal</span> <span class="n">to</span> <span class="n">s0</span> <span class="o">*</span> <span class="n">s3</span> <span class="o">*</span> <span class="p">(</span><span class="n">c_1100</span> <span class="o">*</span> <span class="n">c_0011</span><span class="p">)</span> <span class="o">/</span> <span class="p">(</span><span class="n">c_0101</span> <span class="o">*</span> <span class="n">c_1010</span><span class="p">)</span><span class="o">.</span>
392
451
  </pre></div>
393
452
  </div>
394
- <p>Note that this is different from the convention used in
453
+ <p>Note that this is different from the convention used in
395
454
  Garoufalidis, Goerner, Zickert:
396
- Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
397
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
455
+ Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
456
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
398
457
  <p>Take an exact solution:</p>
399
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>
400
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>
@@ -428,26 +487,26 @@ Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
428
487
 
429
488
  <dl class="py method">
430
489
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.cross_ratios_numerical">
431
- <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>
432
491
  <dd><p>Turn exact solutions into numerical and then compute cross ratios.
433
492
  See numerical() and cross_ratios().</p>
434
493
  </dd></dl>
435
494
 
436
495
  <dl class="py method">
437
496
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.diamond_coordinate">
438
- <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>
439
498
  <dd><p>Returns the diamond coordinate for tetrahedron with index tet
440
499
  for the face with vertices v0, v1, v2 (integers between 0 and 3) and
441
500
  integral point pt (quadruple adding up to N-2).</p>
442
501
  <p>See Definition 10.1:
443
502
  Garoufalidis, Goerner, Zickert:
444
- Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
445
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
503
+ Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
504
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
446
505
  </dd></dl>
447
506
 
448
507
  <dl class="py method">
449
508
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.evaluate_word">
450
- <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>
451
510
  <dd><p>Given a word in the generators of the fundamental group,
452
511
  compute the corresponding matrix. By default, these are the
453
512
  generators of the unsimplified presentation of the fundamental
@@ -461,8 +520,8 @@ M.fundamental_group(True).</p>
461
520
 
462
521
  <dl class="py method">
463
522
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.flattenings_numerical">
464
- <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>
465
- <dd><p>Turn into numerical solutions and compute flattenings, see
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>
524
+ <dd><p>Turn into numerical solutions and compute flattenings, see
466
525
  help(snappy.ptolemy.coordinates.Flattenings)
467
526
  Also see numerical()</p>
468
527
  <p>Get Ptolemy coordinates.</p>
@@ -471,7 +530,7 @@ Also see numerical()</p>
471
530
  <span class="gp">&gt;&gt;&gt; </span><span class="n">solution</span> <span class="o">=</span> <span class="n">solutions</span><span class="p">[</span><span class="mi">2</span><span class="p">]</span>
472
531
  </pre></div>
473
532
  </div>
474
- <p>Compute a numerical soluton</p>
533
+ <p>Compute a numerical solution</p>
475
534
  <div class="doctest highlight-default notranslate"><div class="highlight"><pre><span></span><span class="gp">&gt;&gt;&gt; </span><span class="n">flattenings</span> <span class="o">=</span> <span class="n">solution</span><span class="o">.</span><span class="n">flattenings_numerical</span><span class="p">()</span>
476
535
  </pre></div>
477
536
  </div>
@@ -480,21 +539,21 @@ Also see numerical()</p>
480
539
 
481
540
  <dl class="py method">
482
541
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.get_manifold">
483
- <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>
484
543
  <dd><p>Get the manifold for which this structure represents a solution
485
544
  to the Ptolemy variety.</p>
486
545
  </dd></dl>
487
546
 
488
547
  <dl class="py method">
489
548
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.has_obstruction">
490
- <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>
491
550
  <dd><p>Whether the Ptolemy variety has legacy obstruction class that
492
551
  modifies the Ptolemy relation to</p>
493
552
  </dd></dl>
494
553
 
495
554
  <dl class="py method">
496
555
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.is_geometric">
497
- <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>
498
557
  <dd><p>Returns true if all shapes corresponding to this solution have positive
499
558
  imaginary part.</p>
500
559
  <p>If the solutions are exact, it returns true if one of the corresponding
@@ -505,15 +564,15 @@ considered positive if it is larger than this epsilon.</p>
505
564
 
506
565
  <dl class="py method">
507
566
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.long_edge">
508
- <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>
509
568
  <dd><p>The matrix that labels a long edge from v0 to v1 (integers between 0
510
569
  and 3) of a (doubly) truncated simplex corresponding to an ideal
511
570
  tetrahedron with index tet.</p>
512
571
  <p>This matrix was labeled alpha^{v0v1v2} (v2 does not matter for non
513
572
  double-truncated simplex) in Figure 18 of
514
573
  Garoufalidis, Goerner, Zickert:
515
- Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
516
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
574
+ Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
575
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
517
576
  <p>It is computed using equation 10.4. Note that the ratio coordinate
518
577
  is different from the definition in the paper (see ratio_coordinate).</p>
519
578
  <p>The resulting matrix is given as a python list of lists.</p>
@@ -521,22 +580,22 @@ is different from the definition in the paper (see ratio_coordinate).</p>
521
580
 
522
581
  <dl class="py method">
523
582
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.middle_edge">
524
- <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>
525
584
  <dd><p>The matrix that labels a middle edge on the face v0, v1, v2 (integers
526
585
  between 0 and 3) of a doubly truncated simplex (or a short edge of the
527
586
  truncated simplex) corresponding to an ideal tetrahedron with index
528
587
  tet.</p>
529
588
  <p>This matrix was labeled beta^{v0v1v2} in Figure 18 of
530
589
  Garoufalidis, Goerner, Zickert:
531
- Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
532
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
590
+ Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
591
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
533
592
  <p>It is computed using equation 10.4.</p>
534
593
  <p>The resulting matrix is given as a python list of lists.</p>
535
594
  </dd></dl>
536
595
 
537
596
  <dl class="py method">
538
597
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.multiply_and_simplify_terms_in_RUR">
539
- <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>
540
599
  <dd><p>If a Ptolemy coordinate is given as Rational Univariate Representation
541
600
  with numerator and denominator being a product, multiply the terms,
542
601
  reduce the fraction and return the result.</p>
@@ -547,7 +606,7 @@ factorised.</p>
547
606
 
548
607
  <dl class="py method">
549
608
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.multiply_terms_in_RUR">
550
- <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>
551
610
  <dd><p>If a Ptolemy coordinate is given as Rational Univariate Representation
552
611
  with numerator and denominator being a product, multiply the terms and
553
612
  return the result.</p>
@@ -558,20 +617,20 @@ factorised.</p>
558
617
 
559
618
  <dl class="py method">
560
619
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.num_tetrahedra">
561
- <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>
562
621
  <dd><p>The number of tetrahedra for which we have Ptolemy coordinates.</p>
563
622
  </dd></dl>
564
623
 
565
624
  <dl class="py method">
566
625
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.number_field">
567
- <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>
568
627
  <dd><p>For an exact solution, return the number_field spanned by the
569
628
  Ptolemy coordinates. If number_field is Q, return None.</p>
570
629
  </dd></dl>
571
630
 
572
631
  <dl class="py method">
573
632
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.numerical">
574
- <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>
575
634
  <dd><p>Turn exact solutions into numerical solutions using pari.</p>
576
635
  <p>Take an exact solution:</p>
577
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>
@@ -595,34 +654,34 @@ Ptolemy coordinates. If number_field is Q, return None.</p>
595
654
 
596
655
  <dl class="py method">
597
656
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.ratio_coordinate">
598
- <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>
599
658
  <dd><p>Returns the ratio coordinate for tetrahedron with index tet
600
659
  for the edge from v0 to v1 (integers between 0 and 3) and integral
601
660
  point pt (quadruple adding up N-1) on the edge.</p>
602
661
  <p>See Definition 10.2:
603
662
  Garoufalidis, Goerner, Zickert:
604
- Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
605
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
663
+ Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
664
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
606
665
  <p>Note that this definition turned out to have the wrong sign. Multiply
607
666
  the result by -1 if v1 &lt; v0 and N is even.</p>
608
667
  </dd></dl>
609
668
 
610
669
  <dl class="py method">
611
670
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.short_edge">
612
- <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>
613
672
  <dd><p>Returns the identity. This is because we can think of the matrices
614
673
  given by Ptolemy coordinates of living on truncated simplices which
615
674
  can be though of as doubly truncated simplices where all short edges
616
675
  are collapsed, hence labeled by the identity.</p>
617
- <p>See equation 10.4 in
676
+ <p>See equation 10.4 in
618
677
  Garoufalidis, Goerner, Zickert:
619
- Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
620
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
678
+ Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
679
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
621
680
  </dd></dl>
622
681
 
623
682
  <dl class="py method">
624
683
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.to_PUR">
625
- <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>
626
685
  <dd><p>If any Ptolemy coordinates are given as Rational Univariate
627
686
  Representation, convert them to Polynomial Univariate Representation and
628
687
  return the result.</p>
@@ -632,7 +691,7 @@ return the result.</p>
632
691
 
633
692
  <dl class="py method">
634
693
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.PtolemyCoordinates.volume_numerical">
635
- <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>
636
695
  <dd><p>Turn into (Galois conjugate) numerical solutions and compute volumes.
637
696
  If already numerical, only return the one volume.
638
697
  See numerical().</p>
@@ -644,10 +703,10 @@ only return non-negative volumes.</p>
644
703
 
645
704
  </section>
646
705
  <section id="crossratios">
647
- <h2>CrossRatios<a class="headerlink" href="#crossratios" title="Permalink to this headline">¶</a></h2>
706
+ <h2>CrossRatios<a class="headerlink" href="#crossratios" title="Link to this heading"></a></h2>
648
707
  <dl class="py class">
649
708
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios">
650
- <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>
651
710
  <dd><p>Represents assigned shape parameters/cross ratios as
652
711
  dictionary. The cross ratios are according to SnapPy convention, so we
653
712
  have:</p>
@@ -660,20 +719,20 @@ have:</p>
660
719
  <span class="n">zpp</span> <span class="ow">is</span> <span class="n">at</span> <span class="n">the</span> <span class="n">edge</span> <span class="mi">03</span> <span class="ow">and</span> <span class="n">equal</span> <span class="n">to</span> <span class="n">s0</span> <span class="o">*</span> <span class="n">s3</span> <span class="o">*</span> <span class="p">(</span><span class="n">c_1100</span> <span class="o">*</span> <span class="n">c_0011</span><span class="p">)</span> <span class="o">/</span> <span class="p">(</span><span class="n">c_0101</span> <span class="o">*</span> <span class="n">c_1010</span><span class="p">)</span><span class="o">.</span>
661
720
  </pre></div>
662
721
  </div>
663
- <p>Note that this is different from the convention used in
722
+ <p>Note that this is different from the convention used in
664
723
  Garoufalidis, Goerner, Zickert:
665
- Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
666
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
724
+ Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
725
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
667
726
  <dl class="py method">
668
727
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.N">
669
- <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>
670
729
  <dd><p>Get the N such that these cross ratios are for
671
730
  SL/PSL(N,C)-representations.</p>
672
731
  </dd></dl>
673
732
 
674
733
  <dl class="py method">
675
734
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.check_against_manifold">
676
- <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>
677
736
  <dd><p>Checks that the given solution really is a solution to the PGL(N,C) gluing
678
737
  equations of a manifold. Usage similar to check_against_manifold of
679
738
  PtolemyCoordinates. See help(ptolemy.PtolemtyCoordinates) for example.</p>
@@ -685,7 +744,7 @@ None for exact comparison.</p>
685
744
 
686
745
  <dl class="py method">
687
746
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.evaluate_word">
688
- <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>
689
748
  <dd><p>Given a word in the generators of the fundamental group,
690
749
  compute the corresponding matrix. By default, these are the
691
750
  generators of the unsimplified presentation of the fundamental
@@ -699,7 +758,7 @@ M.fundamental_group(True).</p>
699
758
 
700
759
  <dl class="py method">
701
760
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.from_snappy_manifold">
702
- <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>
703
762
  <dd><p>Constructs an assignment of shape parameters/cross ratios using
704
763
  the tetrahehdra_shapes method of a given SnapPy manifold. The optional
705
764
  parameters are the same as that of tetrahedra_shapes.</p>
@@ -707,21 +766,21 @@ parameters are the same as that of tetrahedra_shapes.</p>
707
766
 
708
767
  <dl class="py method">
709
768
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.get_manifold">
710
- <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>
711
770
  <dd><p>Get the manifold for which this structure represents a solution
712
771
  to the gluing equations.</p>
713
772
  </dd></dl>
714
773
 
715
774
  <dl class="py method">
716
775
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.induced_representation">
717
- <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>
718
777
  <dd><p>Given a PSL(2,C) representation constructs the induced representation
719
778
  for the given N.
720
779
  The induced representation is in SL(N,C) if N is odd and
721
780
  SL(N,C) / {+1,-1} if N is even and is described in the Introduction of
722
781
  Garoufalidis, Thurston, Zickert
723
782
  The Complex Volume of SL(n,C)-Representations of 3-Manifolds
724
- <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>
725
784
  <p>There is a canonical group homomorphism SL(2,C)-&gt;SL(N,C) coming from
726
785
  the the natural SL(2,C)-action on the vector space Sym^{N-1}(C^2).
727
786
  This homomorphisms decends to a homomorphism from PSL(2,C) if one
@@ -732,7 +791,7 @@ representation.</p>
732
791
 
733
792
  <dl class="py method">
734
793
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.is_geometric">
735
- <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>
736
795
  <dd><p>Returns true if all shapes corresponding to this solution have positive
737
796
  imaginary part.</p>
738
797
  <p>If the solutions are exact, it returns true if one of the corresponding
@@ -743,7 +802,7 @@ considered positive if it is larger than this epsilon.</p>
743
802
 
744
803
  <dl class="py method">
745
804
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.is_induced_from_psl2">
746
- <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>
747
806
  <dd><p>For each simplex and each edges, checks that all cross ratios of that
748
807
  simplex that are parallel to that each are the same (maximal absolute
749
808
  difference is the epsilon given as argument).
@@ -753,7 +812,7 @@ PSL(2,C) representation.</p>
753
812
 
754
813
  <dl class="py method">
755
814
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.is_pu_2_1_representation">
756
- <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>
757
816
  <dd><p>Returns True if the representation is also a
758
817
  PU(2,1)-representation. This uses Proposition 3.5 and the
759
818
  remark following that proposition in <a class="reference internal" href="#fkr2013" id="id1"><span>[FKR2013]</span></a>.</p>
@@ -780,7 +839,7 @@ hold or just because of numerical noise.</p>
780
839
 
781
840
  <dl class="py method">
782
841
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.is_real">
783
- <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>
784
843
  <dd><p>Returns True if all cross ratios are real (have absolute imaginary
785
844
  part &lt; epsilon where epsilon is given as argument).
786
845
  This means that the corresponding representation is in PSL(N,R).</p>
@@ -788,35 +847,35 @@ This means that the corresponding representation is in PSL(N,R).</p>
788
847
 
789
848
  <dl class="py method">
790
849
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.long_edge">
791
- <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>
792
851
  <dd><p>The matrix that labels a long edge starting at vertex (v0, v1, v2)
793
852
  of a doubly truncated simplex corresponding to the ideal tetrahedron
794
853
  with index tet.</p>
795
854
  <p>This matrix was labeled alpha^{v0v1v2} in Figure 18 of
796
855
  Garoufalidis, Goerner, Zickert:
797
- Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
798
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
856
+ Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
857
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
799
858
  <p>It is computed using equation 10.22.</p>
800
859
  <p>The resulting matrix is given as a python list of lists.</p>
801
860
  </dd></dl>
802
861
 
803
862
  <dl class="py method">
804
863
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.middle_edge">
805
- <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>
806
865
  <dd><p>The matrix that labels a middle edge starting at vertex (v0, v1, v2)
807
866
  of a doubly truncated simplex corresponding to the ideal tetrahedron
808
867
  with index tet.</p>
809
868
  <p>This matrix was labeled beta^{v0v1v2} in Figure 18 of
810
869
  Garoufalidis, Goerner, Zickert:
811
- Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
812
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
870
+ Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
871
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
813
872
  <p>It is computed using equation 10.22.</p>
814
873
  <p>The resulting matrix is given as a python list of lists.</p>
815
874
  </dd></dl>
816
875
 
817
876
  <dl class="py method">
818
877
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.multiply_and_simplify_terms_in_RUR">
819
- <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>
820
879
  <dd><p>If a cross ratio is given as Rational Univariate Representation
821
880
  with numerator and denominator being a product, multiply the terms,
822
881
  reduce the fraction and return the result.</p>
@@ -827,7 +886,7 @@ factorised.</p>
827
886
 
828
887
  <dl class="py method">
829
888
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.multiply_terms_in_RUR">
830
- <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>
831
890
  <dd><p>If a cross ratio is given as Rational Univariate Representation
832
891
  with numerator and denominator being a product, multiply the terms and
833
892
  return the result.</p>
@@ -838,13 +897,13 @@ factorised.</p>
838
897
 
839
898
  <dl class="py method">
840
899
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.num_tetrahedra">
841
- <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>
842
901
  <dd><p>The number of tetrahedra for which we have cross ratios.</p>
843
902
  </dd></dl>
844
903
 
845
904
  <dl class="py method">
846
905
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.numerical">
847
- <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>
848
907
  <dd><p>Turn exact solutions into numerical solutions using pari. Similar to
849
908
  numerical() of PtolemyCoordinates. See help(ptolemy.PtolemyCoordinates)
850
909
  for example.</p>
@@ -852,21 +911,21 @@ for example.</p>
852
911
 
853
912
  <dl class="py method">
854
913
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.short_edge">
855
- <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>
856
915
  <dd><p>The matrix that labels a long edge starting at vertex (v0, v1, v2)
857
916
  of a doubly truncated simplex corresponding to the ideal tetrahedron
858
917
  with index tet.</p>
859
918
  <p>This matrix was labeled gamma^{v0v1v2} in Figure 18 of
860
919
  Garoufalidis, Goerner, Zickert:
861
- Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
862
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
920
+ Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
921
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
863
922
  <p>It is computed using equation 10.22.</p>
864
923
  <p>The resulting matrix is given as a python list of lists.</p>
865
924
  </dd></dl>
866
925
 
867
926
  <dl class="py method">
868
927
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.to_PUR">
869
- <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>
870
929
  <dd><p>If any Ptolemy coordinates are given as Rational Univariate
871
930
  Representation, convert them to Polynomial Univariate Representation and
872
931
  return the result.</p>
@@ -876,7 +935,7 @@ return the result.</p>
876
935
 
877
936
  <dl class="py method">
878
937
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.volume_numerical">
879
- <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>
880
939
  <dd><p>Turn into (Galois conjugate) numerical solutions and compute volumes.
881
940
  If already numerical, only compute the one volume.
882
941
  See numerical().</p>
@@ -886,23 +945,23 @@ only return non-negative volumes.</p>
886
945
 
887
946
  <dl class="py method">
888
947
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.CrossRatios.x_coordinate">
889
- <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>
890
949
  <dd><p>Returns the X-coordinate for the tetrahedron with index tet
891
950
  at the point pt (quadruple of integers adding up to N).</p>
892
951
  <p>See Definition 10.9:
893
952
  Garoufalidis, Goerner, Zickert:
894
- Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
895
- <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
953
+ Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
954
+ <a class="reference external" href="https://arxiv.org/abs/1207.6711">https://arxiv.org/abs/1207.6711</a></p>
896
955
  </dd></dl>
897
956
 
898
957
  </dd></dl>
899
958
 
900
959
  </section>
901
960
  <section id="flattenings">
902
- <h2>Flattenings<a class="headerlink" href="#flattenings" title="Permalink to this headline">¶</a></h2>
961
+ <h2>Flattenings<a class="headerlink" href="#flattenings" title="Link to this heading"></a></h2>
903
962
  <dl class="py class">
904
963
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.Flattenings">
905
- <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>
906
965
  <dd><p>Represents a flattening assigned to each edge of a simplex as dictionary.</p>
907
966
  <p>We assign to each pair of parallel edges of each simplex a triple (w, z, p)
908
967
  such that:</p>
@@ -912,7 +971,7 @@ such that:</p>
912
971
  <p>For N = 2, the three triples belonging to a simplex form a combinatorial
913
972
  flattening (w0, w1, w2) as defined in Definition 3.1 in
914
973
  Walter D. Neumann, Extended Bloch group and the Cheeger-Chern-Simons class
915
- <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>
916
975
  <p>For N &gt; 2, the three triples form a generalized combinatorial flattening
917
976
  (w0, w1, w2) that gives an element in the generalized Extended Bloch group
918
977
  which is the Extended Bloch group corresponding to the Riemann surface
@@ -934,17 +993,17 @@ A representation in PSL(n,C) with n odd in the group for N = 2 * n.</p>
934
993
  </div>
935
994
  <dl class="py method">
936
995
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.Flattenings.N">
937
- <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>
938
997
  <dd><p>Get the N such that these cross ratios are for
939
998
  SL/PSL(N,C)-representations.</p>
940
999
  </dd></dl>
941
1000
 
942
1001
  <dl class="py method">
943
1002
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.Flattenings.check_against_manifold">
944
- <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>
945
1004
  <dd><p>Checks that the flattening really is a solution to the logarithmic
946
- PGL(N,C) gluing equations of a manifold. Usage similar to
947
- check_against_manifold of Ptolemy Coordinates, see
1005
+ PGL(N,C) gluing equations of a manifold. Usage similar to
1006
+ check_against_manifold of Ptolemy Coordinates, see
948
1007
  help(ptolemy.Coordinates) for similar examples.</p>
949
1008
  <p>=== Arguments ===</p>
950
1009
  <p>M — manifold to check this for
@@ -953,7 +1012,7 @@ epsilon — maximal allowed error when checking the equations</p>
953
1012
 
954
1013
  <dl class="py method">
955
1014
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.Flattenings.complex_volume">
956
- <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>
957
1016
  <dd><p>Compute complex volume. The complex volume is defined only up to
958
1017
  some multiple of m where m = i * pi**2/6 for PSL(2,C) and SL(N,C)
959
1018
  and m = i * pi**2/18 for PSL(3,C).</p>
@@ -963,7 +1022,7 @@ and m = i * pi**2/18 for PSL(3,C).</p>
963
1022
 
964
1023
  <dl class="py method">
965
1024
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.Flattenings.from_tetrahedra_shapes_of_manifold">
966
- <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>
967
1026
  <dd><p>Takes as argument a manifold and produces (weak) flattenings using
968
1027
  the tetrahedra_shapes of the manifold M.</p>
969
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>
@@ -977,13 +1036,13 @@ the tetrahedra_shapes of the manifold M.</p>
977
1036
 
978
1037
  <dl class="py method">
979
1038
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.Flattenings.get_manifold">
980
- <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>
981
1040
  <dd><p>Get the manifold for which this structure represents a flattening.</p>
982
1041
  </dd></dl>
983
1042
 
984
1043
  <dl class="py method">
985
1044
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.Flattenings.get_order">
986
- <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>
987
1046
  <dd><p>Returns the number N. This flattening represents an element in the
988
1047
  generalized Extended Bloch group for the Riemann surface given by
989
1048
  u1 * e^w0 + u2 * e^w1 = 1 where u1^N = u2^N = 1.</p>
@@ -991,17 +1050,17 @@ u1 * e^w0 + u2 * e^w1 = 1 where u1^N = u2^N = 1.</p>
991
1050
 
992
1051
  <dl class="py method">
993
1052
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.Flattenings.get_zpq_triple">
994
- <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>
995
1054
  <dd><p>Gives a flattening as triple [z;p,q] representing an element
996
1055
  in the generalized Extended Bloch group similar to the way the
997
- triple [z;p,q] is used in Lemma 3.2 in
1056
+ triple [z;p,q] is used in Lemma 3.2 in
998
1057
  Walter D. Neumann, Extended Bloch group and the Cheeger-Chern-Simons class
999
- <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>
1000
1059
  </dd></dl>
1001
1060
 
1002
1061
  <dl class="py method">
1003
1062
  <dt class="sig sig-object py" id="snappy.ptolemy.coordinates.Flattenings.num_tetrahedra">
1004
- <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>
1005
1064
  <dd><p>The number of tetrahedra for which we have cross ratios.</p>
1006
1065
  </dd></dl>
1007
1066
 
@@ -1009,21 +1068,21 @@ Walter D. Neumann, Extended Bloch group and the Cheeger-Chern-Simons class
1009
1068
 
1010
1069
  </section>
1011
1070
  <section id="nonzerodimensionalcomponent">
1012
- <h2>NonZeroDimensionalComponent<a class="headerlink" href="#nonzerodimensionalcomponent" title="Permalink to this headline">¶</a></h2>
1071
+ <h2>NonZeroDimensionalComponent<a class="headerlink" href="#nonzerodimensionalcomponent" title="Link to this heading"></a></h2>
1013
1072
  <dl class="py class">
1014
1073
  <dt class="sig sig-object py" id="snappy.ptolemy.component.NonZeroDimensionalComponent">
1015
- <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>
1016
- <dd><p>Represents a non-zero dimensinal component in the
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>
1075
+ <dd><p>Represents a non-zero dimensional component in the
1017
1076
  Ptolemy variety. It is a list that can hold points sampled from that
1018
1077
  component (witnesses).</p>
1019
1078
  </dd></dl>
1020
1079
 
1021
1080
  </section>
1022
1081
  <section id="other-functions">
1023
- <h2>Other functions<a class="headerlink" href="#other-functions" title="Permalink to this headline">¶</a></h2>
1082
+ <h2>Other functions<a class="headerlink" href="#other-functions" title="Link to this heading"></a></h2>
1024
1083
  <dl class="py function">
1025
1084
  <dt class="sig sig-object py" id="snappy.ptolemy.solutions_from_magma">
1026
- <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>
1027
1086
  <dd><p>Obsolete, use processFileDispatch.parse_solutions instead.</p>
1028
1087
  <p>Assumes the given string is the output of a magma computation, parses
1029
1088
  it and returns a list of solutions.
@@ -1033,7 +1092,7 @@ NonZeroDimensionalComponent.</p>
1033
1092
 
1034
1093
  <dl class="py function">
1035
1094
  <dt class="sig sig-object py" id="snappy.ptolemy.solutions_from_magma_file">
1036
- <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>
1037
1096
  <dd><p>Obsolete, use processFileDispatch.parse_solutions_from_file instead.</p>
1038
1097
  <p>Reads the output from a magma computation from the file with the given
1039
1098
  filename and returns a list of solutions. Also see solutions_from_magma.
@@ -1041,85 +1100,45 @@ A non-zero dimensional component of the variety is reported as
1041
1100
  NonZeroDimensionalComponent.</p>
1042
1101
  </dd></dl>
1043
1102
 
1044
- <dl class="citation">
1045
- <dt class="label" id="fkr2013"><span class="brackets">FKR2013</span><span class="fn-backref">(<a href="#id1">1</a>,<a href="#id2">2</a>)</span></dt>
1046
- <dd><p>Falbel, Koseleff, Rouillier: Representations of Fundamental Groups of 3-Manifolds into PGL(3,C): Exact Computations in Low Complexity, <a class="reference external" href="http://arxiv.org/abs/1307.6697">http://arxiv.org/abs/1307.6697</a></p>
1047
- </dd>
1048
- </dl>
1103
+ <div role="list" class="citation-list">
1104
+ <div class="citation" id="fkr2013" role="doc-biblioentry">
1105
+ <span class="label"><span class="fn-bracket">[</span>FKR2013<span class="fn-bracket">]</span></span>
1106
+ <span class="backrefs">(<a role="doc-backlink" href="#id1">1</a>,<a role="doc-backlink" href="#id2">2</a>)</span>
1107
+ <p>Falbel, Koseleff, Rouillier: Representations of Fundamental Groups of 3-Manifolds into PGL(3,C): Exact Computations in Low Complexity, <a class="reference external" href="http://arxiv.org/abs/1307.6697">http://arxiv.org/abs/1307.6697</a></p>
1108
+ </div>
1109
+ </div>
1049
1110
  </section>
1050
1111
  </section>
1051
1112
 
1052
1113
 
1053
- <div class="clearer"></div>
1114
+ </div>
1054
1115
  </div>
1055
- </div>
1056
- </div>
1057
- <div class="sphinxsidebar" role="navigation" aria-label="main navigation">
1058
- <div class="sphinxsidebarwrapper">
1059
- <h3><a href="index.html">Table of Contents</a></h3>
1060
- <ul>
1061
- <li><a class="reference internal" href="#">Classes</a><ul>
1062
- <li><a class="reference internal" href="#ptolemyvariety">PtolemyVariety</a></li>
1063
- <li><a class="reference internal" href="#ptolemycoordinates">PtolemyCoordinates</a></li>
1064
- <li><a class="reference internal" href="#crossratios">CrossRatios</a></li>
1065
- <li><a class="reference internal" href="#flattenings">Flattenings</a></li>
1066
- <li><a class="reference internal" href="#nonzerodimensionalcomponent">NonZeroDimensionalComponent</a></li>
1067
- <li><a class="reference internal" href="#other-functions">Other functions</a></li>
1068
- </ul>
1069
- </li>
1070
- </ul>
1071
-
1072
- <h4>Previous topic</h4>
1073
- <p class="topless"><a href="ptolemy_examples4.html"
1074
- title="previous chapter">Step-by-step examples: Part 4</a></p>
1075
- <h4>Next topic</h4>
1076
- <p class="topless"><a href="news.html"
1077
- title="next chapter">News</a></p>
1078
- <div role="note" aria-label="source link">
1079
- <h3>This Page</h3>
1080
- <ul class="this-page-menu">
1081
- <li><a href="_sources/ptolemy_classes.rst.txt"
1082
- rel="nofollow">Show Source</a></li>
1083
- </ul>
1084
- </div>
1085
- <div id="searchbox" style="display: none" role="search">
1086
- <h3 id="searchlabel">Quick search</h3>
1087
- <div class="searchformwrapper">
1088
- <form class="search" action="search.html" method="get">
1089
- <input type="text" name="q" aria-labelledby="searchlabel" autocomplete="off" autocorrect="off" autocapitalize="off" spellcheck="false"/>
1090
- <input type="submit" value="Go" />
1091
- </form>
1116
+ <footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
1117
+ <a href="ptolemy_examples4.html" class="btn btn-neutral float-left" title="Step-by-step examples: Part 4" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
1118
+ <a href="news.html" class="btn btn-neutral float-right" title="News" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
1092
1119
  </div>
1093
- </div>
1094
- <script>$('#searchbox').show(0);</script>
1120
+
1121
+ <hr/>
1122
+
1123
+ <div role="contentinfo">
1124
+ <p>&#169; Copyright 2009-2025, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
1125
+ </div>
1126
+
1127
+ Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
1128
+ <a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
1129
+ provided by <a href="https://readthedocs.org">Read the Docs</a>.
1130
+
1131
+
1132
+ </footer>
1095
1133
  </div>
1096
1134
  </div>
1097
- <div class="clearer"></div>
1098
- </div>
1099
- <div class="related" role="navigation" aria-label="related navigation">
1100
- <h3>Navigation</h3>
1101
- <ul>
1102
- <li class="right" style="margin-right: 10px">
1103
- <a href="genindex.html" title="General Index"
1104
- >index</a></li>
1105
- <li class="right" >
1106
- <a href="py-modindex.html" title="Python Module Index"
1107
- >modules</a> |</li>
1108
- <li class="right" >
1109
- <a href="news.html" title="News"
1110
- >next</a> |</li>
1111
- <li class="right" >
1112
- <a href="ptolemy_examples4.html" title="Step-by-step examples: Part 4"
1113
- >previous</a> |</li>
1114
- <li class="nav-item nav-item-0"><a href="index.html">SnapPy 3.0.3 documentation</a> &#187;</li>
1115
- <li class="nav-item nav-item-1"><a href="other.html" >Other components</a> &#187;</li>
1116
- <li class="nav-item nav-item-2"><a href="ptolemy.html" >The ptolemy module</a> &#187;</li>
1117
- <li class="nav-item nav-item-this"><a href="">Classes</a></li>
1118
- </ul>
1119
- </div>
1120
- <div class="footer" role="contentinfo">
1121
- &#169; Copyright 2009-2021, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.
1122
- Created using <a href="https://www.sphinx-doc.org/">Sphinx</a> 4.3.1.
1123
- </div>
1124
- </body>
1135
+ </section>
1136
+ </div>
1137
+ <script>
1138
+ jQuery(function () {
1139
+ SphinxRtdTheme.Navigation.enable(true);
1140
+ });
1141
+ </script>
1142
+
1143
+ </body>
1125
1144
  </html>