snappy 3.1.1__cp39-cp39-win_amd64.whl → 3.2__cp39-cp39-win_amd64.whl

Sign up to get free protection for your applications and to get access to all the features.
Files changed (476) hide show
  1. snappy/CyOpenGL.cp39-win_amd64.pyd +0 -0
  2. snappy/SnapPy.cp39-win_amd64.pyd +0 -0
  3. snappy/SnapPyHP.cp39-win_amd64.pyd +0 -0
  4. snappy/__init__.py +299 -402
  5. snappy/app.py +70 -20
  6. snappy/browser.py +18 -17
  7. snappy/canonical.py +249 -0
  8. snappy/{verify/cusp_shapes.py → cusps/__init__.py} +8 -18
  9. snappy/cusps/cusp_area_matrix.py +101 -0
  10. snappy/{verify/cusp_areas.py → cusps/cusp_areas_from_matrix.py} +23 -39
  11. snappy/cusps/maximal_cusp_area_matrix.py +136 -0
  12. snappy/cusps/test.py +21 -0
  13. snappy/cusps/trig_cusp_area_matrix.py +63 -0
  14. snappy/database.py +10 -9
  15. snappy/decorated_isosig.py +337 -114
  16. snappy/dev/extended_ptolemy/complexVolumesClosed.py +40 -7
  17. snappy/dev/extended_ptolemy/extended.py +3 -3
  18. snappy/dev/extended_ptolemy/phc_wrapper.py +10 -10
  19. snappy/dev/vericlosed/oneVertexTruncatedComplex.py +1 -1
  20. snappy/doc/_images/m004_paper_plane_on_systole.jpg +0 -0
  21. snappy/doc/_images/m125_paper_plane.jpg +0 -0
  22. snappy/doc/_images/o9_00000_systole_paper_plane.jpg +0 -0
  23. snappy/doc/_images/o9_00000_systole_paper_plane_closer.jpg +0 -0
  24. snappy/doc/_sources/additional_classes.rst.txt +40 -40
  25. snappy/doc/_sources/bugs.rst.txt +14 -14
  26. snappy/doc/_sources/censuses.rst.txt +51 -51
  27. snappy/doc/_sources/credits.rst.txt +75 -75
  28. snappy/doc/_sources/development.rst.txt +259 -239
  29. snappy/doc/_sources/index.rst.txt +182 -115
  30. snappy/doc/_sources/installing.rst.txt +247 -264
  31. snappy/doc/_sources/manifold.rst.txt +6 -6
  32. snappy/doc/_sources/manifoldhp.rst.txt +46 -46
  33. snappy/doc/_sources/news.rst.txt +355 -283
  34. snappy/doc/_sources/other.rst.txt +25 -25
  35. snappy/doc/_sources/platonic_census.rst.txt +20 -20
  36. snappy/doc/_sources/plink.rst.txt +102 -102
  37. snappy/doc/_sources/ptolemy.rst.txt +66 -66
  38. snappy/doc/_sources/ptolemy_classes.rst.txt +42 -42
  39. snappy/doc/_sources/ptolemy_examples1.rst.txt +298 -297
  40. snappy/doc/_sources/ptolemy_examples2.rst.txt +363 -363
  41. snappy/doc/_sources/ptolemy_examples3.rst.txt +301 -301
  42. snappy/doc/_sources/ptolemy_examples4.rst.txt +61 -61
  43. snappy/doc/_sources/ptolemy_prelim.rst.txt +105 -105
  44. snappy/doc/_sources/screenshots.rst.txt +21 -21
  45. snappy/doc/_sources/snap.rst.txt +87 -87
  46. snappy/doc/_sources/snappy.rst.txt +28 -28
  47. snappy/doc/_sources/spherogram.rst.txt +103 -103
  48. snappy/doc/_sources/todo.rst.txt +47 -47
  49. snappy/doc/_sources/triangulation.rst.txt +11 -11
  50. snappy/doc/_sources/tutorial.rst.txt +49 -49
  51. snappy/doc/_sources/verify.rst.txt +210 -150
  52. snappy/doc/_sources/verify_internals.rst.txt +79 -90
  53. snappy/doc/_static/basic.css +924 -902
  54. snappy/doc/_static/css/badge_only.css +1 -1
  55. snappy/doc/_static/css/theme.css +1 -1
  56. snappy/doc/_static/doctools.js +1 -1
  57. snappy/doc/_static/documentation_options.js +12 -13
  58. snappy/doc/_static/fonts/Lato/lato-bold.eot +0 -0
  59. snappy/doc/_static/fonts/Lato/lato-bold.ttf +0 -0
  60. snappy/doc/_static/fonts/Lato/lato-bold.woff +0 -0
  61. snappy/doc/_static/fonts/Lato/lato-bold.woff2 +0 -0
  62. snappy/doc/_static/fonts/Lato/lato-bolditalic.eot +0 -0
  63. snappy/doc/_static/fonts/Lato/lato-bolditalic.ttf +0 -0
  64. snappy/doc/_static/fonts/Lato/lato-bolditalic.woff +0 -0
  65. snappy/doc/_static/fonts/Lato/lato-bolditalic.woff2 +0 -0
  66. snappy/doc/_static/fonts/Lato/lato-italic.eot +0 -0
  67. snappy/doc/_static/fonts/Lato/lato-italic.ttf +0 -0
  68. snappy/doc/_static/fonts/Lato/lato-italic.woff +0 -0
  69. snappy/doc/_static/fonts/Lato/lato-italic.woff2 +0 -0
  70. snappy/doc/_static/fonts/Lato/lato-regular.eot +0 -0
  71. snappy/doc/_static/fonts/Lato/lato-regular.ttf +0 -0
  72. snappy/doc/_static/fonts/Lato/lato-regular.woff +0 -0
  73. snappy/doc/_static/fonts/Lato/lato-regular.woff2 +0 -0
  74. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.eot +0 -0
  75. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.ttf +0 -0
  76. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff +0 -0
  77. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff2 +0 -0
  78. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.eot +0 -0
  79. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.ttf +0 -0
  80. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff +0 -0
  81. snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff2 +0 -0
  82. snappy/doc/_static/js/versions.js +228 -0
  83. snappy/doc/_static/language_data.js +199 -199
  84. snappy/doc/_static/pygments.css +74 -73
  85. snappy/doc/_static/searchtools.js +125 -71
  86. snappy/doc/_static/snappy_furo.css +33 -33
  87. snappy/doc/_static/snappy_sphinx_rtd_theme.css +42 -42
  88. snappy/doc/_static/sphinx_highlight.js +13 -3
  89. snappy/doc/additional_classes.html +1499 -1330
  90. snappy/doc/bugs.html +131 -134
  91. snappy/doc/censuses.html +426 -445
  92. snappy/doc/credits.html +180 -183
  93. snappy/doc/development.html +383 -363
  94. snappy/doc/genindex.html +1330 -1409
  95. snappy/doc/index.html +261 -206
  96. snappy/doc/installing.html +345 -363
  97. snappy/doc/manifold.html +3451 -2839
  98. snappy/doc/manifoldhp.html +179 -182
  99. snappy/doc/news.html +387 -329
  100. snappy/doc/objects.inv +0 -0
  101. snappy/doc/other.html +160 -162
  102. snappy/doc/platonic_census.html +374 -377
  103. snappy/doc/plink.html +209 -212
  104. snappy/doc/ptolemy.html +253 -255
  105. snappy/doc/ptolemy_classes.html +1143 -1146
  106. snappy/doc/ptolemy_examples1.html +408 -410
  107. snappy/doc/ptolemy_examples2.html +470 -473
  108. snappy/doc/ptolemy_examples3.html +413 -416
  109. snappy/doc/ptolemy_examples4.html +194 -197
  110. snappy/doc/ptolemy_prelim.html +247 -250
  111. snappy/doc/py-modindex.html +164 -167
  112. snappy/doc/screenshots.html +140 -142
  113. snappy/doc/search.html +134 -137
  114. snappy/doc/searchindex.js +1 -1
  115. snappy/doc/snap.html +201 -204
  116. snappy/doc/snappy.html +180 -182
  117. snappy/doc/spherogram.html +1210 -1213
  118. snappy/doc/todo.html +165 -168
  119. snappy/doc/triangulation.html +1583 -1474
  120. snappy/doc/tutorial.html +158 -161
  121. snappy/doc/verify.html +329 -275
  122. snappy/doc/verify_internals.html +1234 -1691
  123. snappy/drilling/__init__.py +153 -235
  124. snappy/drilling/barycentric.py +103 -0
  125. snappy/drilling/constants.py +0 -2
  126. snappy/drilling/crush.py +56 -130
  127. snappy/drilling/cusps.py +12 -6
  128. snappy/drilling/debug.py +2 -1
  129. snappy/drilling/exceptions.py +7 -40
  130. snappy/drilling/moves.py +302 -243
  131. snappy/drilling/perturb.py +63 -37
  132. snappy/drilling/shorten.py +36 -0
  133. snappy/drilling/subdivide.py +0 -5
  134. snappy/drilling/test.py +23 -0
  135. snappy/drilling/test_cases.py +126 -0
  136. snappy/drilling/tracing.py +9 -37
  137. snappy/exceptions.py +18 -5
  138. snappy/exterior_to_link/barycentric_geometry.py +2 -4
  139. snappy/exterior_to_link/main.py +8 -7
  140. snappy/exterior_to_link/mcomplex_with_link.py +2 -2
  141. snappy/exterior_to_link/rational_linear_algebra.py +1 -1
  142. snappy/exterior_to_link/rational_linear_algebra_wrapped.py +1 -1
  143. snappy/exterior_to_link/test.py +21 -33
  144. snappy/geometric_structure/__init__.py +212 -0
  145. snappy/geometric_structure/cusp_neighborhood/__init__.py +3 -0
  146. snappy/geometric_structure/cusp_neighborhood/complex_cusp_cross_section.py +697 -0
  147. snappy/geometric_structure/cusp_neighborhood/cusp_cross_section_base.py +484 -0
  148. snappy/geometric_structure/cusp_neighborhood/exceptions.py +42 -0
  149. snappy/geometric_structure/cusp_neighborhood/real_cusp_cross_section.py +298 -0
  150. snappy/geometric_structure/cusp_neighborhood/tiles_for_cusp_neighborhood.py +159 -0
  151. snappy/geometric_structure/cusp_neighborhood/vertices.py +32 -0
  152. snappy/geometric_structure/geodesic/__init__.py +0 -0
  153. snappy/geometric_structure/geodesic/add_core_curves.py +152 -0
  154. snappy/geometric_structure/geodesic/avoid_core_curves.py +369 -0
  155. snappy/geometric_structure/geodesic/canonical_keys.py +52 -0
  156. snappy/geometric_structure/geodesic/check_away_from_core_curve.py +60 -0
  157. snappy/geometric_structure/geodesic/constants.py +6 -0
  158. snappy/geometric_structure/geodesic/exceptions.py +22 -0
  159. snappy/{drilling → geometric_structure/geodesic}/fixed_points.py +34 -9
  160. snappy/{drilling/geodesic_info.py → geometric_structure/geodesic/geodesic_start_point_info.py} +139 -180
  161. snappy/geometric_structure/geodesic/graph_trace_helper.py +67 -0
  162. snappy/geometric_structure/geodesic/line.py +30 -0
  163. snappy/geometric_structure/geodesic/multiplicity.py +127 -0
  164. snappy/geometric_structure/geodesic/tiles_for_geodesic.py +101 -0
  165. snappy/geometric_structure/test.py +22 -0
  166. snappy/gui.py +23 -13
  167. snappy/horoviewer.py +7 -7
  168. snappy/hyperboloid/__init__.py +96 -31
  169. snappy/hyperboloid/distances.py +245 -0
  170. snappy/hyperboloid/horoball.py +19 -0
  171. snappy/hyperboloid/line.py +35 -0
  172. snappy/hyperboloid/point.py +9 -0
  173. snappy/hyperboloid/triangle.py +29 -0
  174. snappy/isometry_signature.py +382 -0
  175. snappy/len_spec/__init__.py +596 -0
  176. snappy/len_spec/geodesic_info.py +110 -0
  177. snappy/len_spec/geodesic_key_info_dict.py +117 -0
  178. snappy/len_spec/geodesic_piece.py +143 -0
  179. snappy/len_spec/geometric_structure.py +182 -0
  180. snappy/len_spec/geometry.py +80 -0
  181. snappy/len_spec/length_spectrum_geodesic_info.py +170 -0
  182. snappy/len_spec/spine.py +206 -0
  183. snappy/len_spec/test.py +24 -0
  184. snappy/len_spec/test_cases.py +69 -0
  185. snappy/len_spec/tile.py +275 -0
  186. snappy/len_spec/word.py +86 -0
  187. snappy/math_basics.py +39 -13
  188. snappy/matrix.py +52 -9
  189. snappy/number.py +12 -6
  190. snappy/numeric_output_checker.py +2 -3
  191. snappy/pari.py +8 -4
  192. snappy/phone_home.py +2 -1
  193. snappy/polyviewer.py +8 -8
  194. snappy/ptolemy/__init__.py +1 -1
  195. snappy/ptolemy/component.py +2 -2
  196. snappy/ptolemy/coordinates.py +25 -25
  197. snappy/ptolemy/findLoops.py +9 -9
  198. snappy/ptolemy/manifoldMethods.py +27 -29
  199. snappy/ptolemy/polynomial.py +50 -57
  200. snappy/ptolemy/processFileBase.py +60 -0
  201. snappy/ptolemy/ptolemyVariety.py +109 -41
  202. snappy/ptolemy/reginaWrapper.py +4 -4
  203. snappy/ptolemy/rur.py +1 -1
  204. snappy/ptolemy/solutionsToPrimeIdealGroebnerBasis.py +9 -9
  205. snappy/ptolemy/test.py +99 -54
  206. snappy/ptolemy/utilities.py +1 -1
  207. snappy/raytracing/__init__.py +64 -0
  208. snappy/raytracing/additional_horospheres.py +64 -0
  209. snappy/raytracing/additional_len_spec_choices.py +63 -0
  210. snappy/raytracing/cohomology_fractal.py +0 -3
  211. snappy/raytracing/eyeball.py +123 -0
  212. snappy/raytracing/finite_raytracing_data.py +17 -17
  213. snappy/raytracing/finite_viewer.py +15 -15
  214. snappy/raytracing/geodesic_tube_info.py +93 -63
  215. snappy/raytracing/geodesics.py +94 -64
  216. snappy/raytracing/geodesics_window.py +56 -34
  217. snappy/raytracing/gui_utilities.py +21 -6
  218. snappy/raytracing/hyperboloid_navigation.py +29 -4
  219. snappy/raytracing/hyperboloid_utilities.py +73 -73
  220. snappy/raytracing/ideal_raytracing_data.py +121 -91
  221. snappy/raytracing/inside_viewer.py +199 -66
  222. snappy/raytracing/pack.py +22 -0
  223. snappy/raytracing/raytracing_data.py +37 -25
  224. snappy/raytracing/raytracing_view.py +70 -65
  225. snappy/raytracing/shaders/Eye.png +0 -0
  226. snappy/raytracing/shaders/NonGeometric.png +0 -0
  227. snappy/raytracing/shaders/__init__.py +39 -3
  228. snappy/raytracing/shaders/fragment.glsl +451 -133
  229. snappy/raytracing/test.py +29 -0
  230. snappy/raytracing/tooltip.py +146 -0
  231. snappy/raytracing/upper_halfspace_utilities.py +42 -9
  232. snappy/sage_helper.py +67 -134
  233. snappy/settings.py +90 -77
  234. snappy/shell.py +2 -0
  235. snappy/snap/character_varieties.py +2 -2
  236. snappy/snap/find_field.py +4 -3
  237. snappy/snap/fundamental_polyhedron.py +2 -2
  238. snappy/snap/kernel_structures.py +5 -1
  239. snappy/snap/nsagetools.py +9 -8
  240. snappy/snap/peripheral/dual_cellulation.py +4 -3
  241. snappy/snap/peripheral/peripheral.py +2 -2
  242. snappy/snap/peripheral/surface.py +5 -5
  243. snappy/snap/peripheral/test.py +1 -1
  244. snappy/snap/polished_reps.py +8 -8
  245. snappy/snap/slice_obs_HKL.py +16 -14
  246. snappy/snap/t3mlite/arrow.py +3 -3
  247. snappy/snap/t3mlite/edge.py +3 -3
  248. snappy/snap/t3mlite/homology.py +2 -2
  249. snappy/snap/t3mlite/mcomplex.py +3 -3
  250. snappy/snap/t3mlite/simplex.py +12 -0
  251. snappy/snap/t3mlite/spun.py +18 -17
  252. snappy/snap/t3mlite/test_vs_regina.py +4 -4
  253. snappy/snap/test.py +37 -53
  254. snappy/snap/utilities.py +4 -5
  255. snappy/test.py +121 -138
  256. snappy/test_cases.py +263 -0
  257. snappy/testing.py +131 -0
  258. snappy/tiling/__init__.py +2 -0
  259. snappy/tiling/canonical_key_dict.py +59 -0
  260. snappy/tiling/dict_based_set.py +79 -0
  261. snappy/tiling/floor.py +49 -0
  262. snappy/tiling/hyperboloid_dict.py +54 -0
  263. snappy/tiling/iter_utils.py +78 -0
  264. snappy/tiling/lifted_tetrahedron.py +22 -0
  265. snappy/tiling/lifted_tetrahedron_set.py +54 -0
  266. snappy/tiling/real_hash_dict.py +164 -0
  267. snappy/tiling/test.py +23 -0
  268. snappy/tiling/tile.py +215 -0
  269. snappy/tiling/triangle.py +33 -0
  270. snappy/tkterminal.py +113 -84
  271. snappy/twister/main.py +1 -7
  272. snappy/twister/twister_core.cp39-win_amd64.pyd +0 -0
  273. snappy/upper_halfspace/__init__.py +78 -17
  274. snappy/verify/__init__.py +3 -7
  275. snappy/verify/{verifyCanonical.py → canonical.py} +78 -70
  276. snappy/verify/complex_volume/adjust_torsion.py +1 -2
  277. snappy/verify/complex_volume/closed.py +13 -13
  278. snappy/verify/complex_volume/cusped.py +6 -6
  279. snappy/verify/complex_volume/extended_bloch.py +5 -8
  280. snappy/verify/{cuspTranslations.py → cusp_translations.py} +1 -1
  281. snappy/verify/edge_equations.py +80 -0
  282. snappy/verify/exceptions.py +0 -55
  283. snappy/verify/{verifyHyperbolicity.py → hyperbolicity.py} +3 -3
  284. snappy/verify/interval_newton_shapes_engine.py +7 -5
  285. snappy/verify/interval_tree.py +5 -5
  286. snappy/verify/krawczyk_shapes_engine.py +17 -18
  287. snappy/verify/maximal_cusp_area_matrix/__init__.py +7 -74
  288. snappy/verify/maximal_cusp_area_matrix/cusp_tiling_engine.py +3 -4
  289. snappy/verify/maximal_cusp_area_matrix/cusp_translate_engine.py +1 -1
  290. snappy/verify/{realAlgebra.py → real_algebra.py} +1 -1
  291. snappy/verify/shapes.py +5 -3
  292. snappy/verify/short_slopes.py +39 -41
  293. snappy/verify/{squareExtensions.py → square_extensions.py} +14 -11
  294. snappy/verify/test.py +57 -60
  295. snappy/verify/upper_halfspace/extended_matrix.py +1 -1
  296. snappy/verify/upper_halfspace/finite_point.py +3 -4
  297. snappy/verify/upper_halfspace/ideal_point.py +9 -9
  298. snappy/verify/volume.py +2 -2
  299. snappy/version.py +2 -2
  300. {snappy-3.1.1.dist-info → snappy-3.2.dist-info}/METADATA +26 -11
  301. snappy-3.2.dist-info/RECORD +503 -0
  302. {snappy-3.1.1.dist-info → snappy-3.2.dist-info}/WHEEL +1 -1
  303. {snappy-3.1.1.dist-info → snappy-3.2.dist-info}/top_level.txt +6 -1
  304. snappy/__pycache__/__init__.cpython-39.pyc +0 -0
  305. snappy/__pycache__/browser.cpython-39.pyc +0 -0
  306. snappy/__pycache__/cache.cpython-39.pyc +0 -0
  307. snappy/__pycache__/database.cpython-39.pyc +0 -0
  308. snappy/__pycache__/db_utilities.cpython-39.pyc +0 -0
  309. snappy/__pycache__/decorated_isosig.cpython-39.pyc +0 -0
  310. snappy/__pycache__/exceptions.cpython-39.pyc +0 -0
  311. snappy/__pycache__/export_stl.cpython-39.pyc +0 -0
  312. snappy/__pycache__/filedialog.cpython-39.pyc +0 -0
  313. snappy/__pycache__/gui.cpython-39.pyc +0 -0
  314. snappy/__pycache__/horoviewer.cpython-39.pyc +0 -0
  315. snappy/__pycache__/math_basics.cpython-39.pyc +0 -0
  316. snappy/__pycache__/matrix.cpython-39.pyc +0 -0
  317. snappy/__pycache__/number.cpython-39.pyc +0 -0
  318. snappy/__pycache__/numeric_output_checker.cpython-39.pyc +0 -0
  319. snappy/__pycache__/pari.cpython-39.pyc +0 -0
  320. snappy/__pycache__/polyviewer.cpython-39.pyc +0 -0
  321. snappy/__pycache__/sage_helper.cpython-39.pyc +0 -0
  322. snappy/__pycache__/version.cpython-39.pyc +0 -0
  323. snappy/doc/_sources/verify_canon.rst.txt +0 -90
  324. snappy/doc/_static/jquery-3.6.0.js +0 -10881
  325. snappy/doc/_static/js/html5shiv-printshiv.min.js +0 -4
  326. snappy/doc/_static/js/html5shiv.min.js +0 -4
  327. snappy/doc/_static/underscore-1.13.1.js +0 -2042
  328. snappy/doc/_static/underscore.js +0 -6
  329. snappy/doc/verify_canon.html +0 -304
  330. snappy/drilling/__pycache__/__init__.cpython-39.pyc +0 -0
  331. snappy/drilling/__pycache__/constants.cpython-39.pyc +0 -0
  332. snappy/drilling/__pycache__/crush.cpython-39.pyc +0 -0
  333. snappy/drilling/__pycache__/cusps.cpython-39.pyc +0 -0
  334. snappy/drilling/__pycache__/debug.cpython-39.pyc +0 -0
  335. snappy/drilling/__pycache__/epsilons.cpython-39.pyc +0 -0
  336. snappy/drilling/__pycache__/exceptions.cpython-39.pyc +0 -0
  337. snappy/drilling/__pycache__/fixed_points.cpython-39.pyc +0 -0
  338. snappy/drilling/__pycache__/geodesic_info.cpython-39.pyc +0 -0
  339. snappy/drilling/__pycache__/geodesic_tube.cpython-39.pyc +0 -0
  340. snappy/drilling/__pycache__/geometric_structure.cpython-39.pyc +0 -0
  341. snappy/drilling/__pycache__/line.cpython-39.pyc +0 -0
  342. snappy/drilling/__pycache__/moves.cpython-39.pyc +0 -0
  343. snappy/drilling/__pycache__/peripheral_curves.cpython-39.pyc +0 -0
  344. snappy/drilling/__pycache__/perturb.cpython-39.pyc +0 -0
  345. snappy/drilling/__pycache__/quotient_space.cpython-39.pyc +0 -0
  346. snappy/drilling/__pycache__/spatial_dict.cpython-39.pyc +0 -0
  347. snappy/drilling/__pycache__/subdivide.cpython-39.pyc +0 -0
  348. snappy/drilling/__pycache__/tracing.cpython-39.pyc +0 -0
  349. snappy/drilling/geodesic_tube.py +0 -441
  350. snappy/drilling/geometric_structure.py +0 -366
  351. snappy/drilling/line.py +0 -122
  352. snappy/drilling/quotient_space.py +0 -94
  353. snappy/drilling/spatial_dict.py +0 -128
  354. snappy/exterior_to_link/__pycache__/__init__.cpython-39.pyc +0 -0
  355. snappy/exterior_to_link/__pycache__/barycentric_geometry.cpython-39.pyc +0 -0
  356. snappy/exterior_to_link/__pycache__/exceptions.cpython-39.pyc +0 -0
  357. snappy/exterior_to_link/__pycache__/hyp_utils.cpython-39.pyc +0 -0
  358. snappy/exterior_to_link/__pycache__/link_projection.cpython-39.pyc +0 -0
  359. snappy/exterior_to_link/__pycache__/main.cpython-39.pyc +0 -0
  360. snappy/exterior_to_link/__pycache__/mcomplex_with_expansion.cpython-39.pyc +0 -0
  361. snappy/exterior_to_link/__pycache__/mcomplex_with_link.cpython-39.pyc +0 -0
  362. snappy/exterior_to_link/__pycache__/mcomplex_with_memory.cpython-39.pyc +0 -0
  363. snappy/exterior_to_link/__pycache__/pl_utils.cpython-39.pyc +0 -0
  364. snappy/exterior_to_link/__pycache__/put_in_S3.cpython-39.pyc +0 -0
  365. snappy/exterior_to_link/__pycache__/rational_linear_algebra.cpython-39.pyc +0 -0
  366. snappy/exterior_to_link/__pycache__/simplify_to_base_tri.cpython-39.pyc +0 -0
  367. snappy/exterior_to_link/__pycache__/stored_moves.cpython-39.pyc +0 -0
  368. snappy/hyperboloid/__pycache__/__init__.cpython-39.pyc +0 -0
  369. snappy/manifolds/__pycache__/__init__.cpython-39.pyc +0 -0
  370. snappy/ptolemy/__pycache__/__init__.cpython-39.pyc +0 -0
  371. snappy/ptolemy/__pycache__/component.cpython-39.pyc +0 -0
  372. snappy/ptolemy/__pycache__/coordinates.cpython-39.pyc +0 -0
  373. snappy/ptolemy/__pycache__/fieldExtensions.cpython-39.pyc +0 -0
  374. snappy/ptolemy/__pycache__/findLoops.cpython-39.pyc +0 -0
  375. snappy/ptolemy/__pycache__/homology.cpython-39.pyc +0 -0
  376. snappy/ptolemy/__pycache__/manifoldMethods.cpython-39.pyc +0 -0
  377. snappy/ptolemy/__pycache__/matrix.cpython-39.pyc +0 -0
  378. snappy/ptolemy/__pycache__/numericalSolutionsToGroebnerBasis.cpython-39.pyc +0 -0
  379. snappy/ptolemy/__pycache__/polynomial.cpython-39.pyc +0 -0
  380. snappy/ptolemy/__pycache__/processComponents.cpython-39.pyc +0 -0
  381. snappy/ptolemy/__pycache__/processFileBase.cpython-39.pyc +0 -0
  382. snappy/ptolemy/__pycache__/processFileDispatch.cpython-39.pyc +0 -0
  383. snappy/ptolemy/__pycache__/processMagmaFile.cpython-39.pyc +0 -0
  384. snappy/ptolemy/__pycache__/processRurFile.cpython-39.pyc +0 -0
  385. snappy/ptolemy/__pycache__/ptolemyGeneralizedObstructionClass.cpython-39.pyc +0 -0
  386. snappy/ptolemy/__pycache__/ptolemyObstructionClass.cpython-39.pyc +0 -0
  387. snappy/ptolemy/__pycache__/ptolemyVariety.cpython-39.pyc +0 -0
  388. snappy/ptolemy/__pycache__/ptolemyVarietyPrimeIdealGroebnerBasis.cpython-39.pyc +0 -0
  389. snappy/ptolemy/__pycache__/rur.cpython-39.pyc +0 -0
  390. snappy/ptolemy/__pycache__/solutionsToPrimeIdealGroebnerBasis.cpython-39.pyc +0 -0
  391. snappy/ptolemy/__pycache__/utilities.cpython-39.pyc +0 -0
  392. snappy/snap/__pycache__/__init__.cpython-39.pyc +0 -0
  393. snappy/snap/__pycache__/character_varieties.cpython-39.pyc +0 -0
  394. snappy/snap/__pycache__/fundamental_polyhedron.cpython-39.pyc +0 -0
  395. snappy/snap/__pycache__/interval_reps.cpython-39.pyc +0 -0
  396. snappy/snap/__pycache__/kernel_structures.cpython-39.pyc +0 -0
  397. snappy/snap/__pycache__/mcomplex_base.cpython-39.pyc +0 -0
  398. snappy/snap/__pycache__/nsagetools.cpython-39.pyc +0 -0
  399. snappy/snap/__pycache__/polished_reps.cpython-39.pyc +0 -0
  400. snappy/snap/__pycache__/shapes.cpython-39.pyc +0 -0
  401. snappy/snap/__pycache__/slice_obs_HKL.cpython-39.pyc +0 -0
  402. snappy/snap/__pycache__/utilities.cpython-39.pyc +0 -0
  403. snappy/snap/peripheral/__pycache__/__init__.cpython-39.pyc +0 -0
  404. snappy/snap/peripheral/__pycache__/dual_cellulation.cpython-39.pyc +0 -0
  405. snappy/snap/peripheral/__pycache__/link.cpython-39.pyc +0 -0
  406. snappy/snap/peripheral/__pycache__/peripheral.cpython-39.pyc +0 -0
  407. snappy/snap/peripheral/__pycache__/surface.cpython-39.pyc +0 -0
  408. snappy/snap/t3mlite/__pycache__/__init__.cpython-39.pyc +0 -0
  409. snappy/snap/t3mlite/__pycache__/arrow.cpython-39.pyc +0 -0
  410. snappy/snap/t3mlite/__pycache__/corner.cpython-39.pyc +0 -0
  411. snappy/snap/t3mlite/__pycache__/edge.cpython-39.pyc +0 -0
  412. snappy/snap/t3mlite/__pycache__/face.cpython-39.pyc +0 -0
  413. snappy/snap/t3mlite/__pycache__/files.cpython-39.pyc +0 -0
  414. snappy/snap/t3mlite/__pycache__/homology.cpython-39.pyc +0 -0
  415. snappy/snap/t3mlite/__pycache__/linalg.cpython-39.pyc +0 -0
  416. snappy/snap/t3mlite/__pycache__/mcomplex.cpython-39.pyc +0 -0
  417. snappy/snap/t3mlite/__pycache__/perm4.cpython-39.pyc +0 -0
  418. snappy/snap/t3mlite/__pycache__/simplex.cpython-39.pyc +0 -0
  419. snappy/snap/t3mlite/__pycache__/spun.cpython-39.pyc +0 -0
  420. snappy/snap/t3mlite/__pycache__/surface.cpython-39.pyc +0 -0
  421. snappy/snap/t3mlite/__pycache__/tetrahedron.cpython-39.pyc +0 -0
  422. snappy/snap/t3mlite/__pycache__/vertex.cpython-39.pyc +0 -0
  423. snappy/togl/__init__.py +0 -3
  424. snappy/togl/darwin-tk8.6/Togl2.1/LICENSE +0 -28
  425. snappy/togl/darwin-tk8.6/Togl2.1/libTogl2.1.dylib +0 -0
  426. snappy/togl/darwin-tk8.6/Togl2.1/pkgIndex.tcl +0 -5
  427. snappy/togl/darwin-tk8.7/Togl2.1/LICENSE +0 -28
  428. snappy/togl/darwin-tk8.7/Togl2.1/libTogl2.1.dylib +0 -0
  429. snappy/togl/darwin-tk8.7/Togl2.1/pkgIndex.tcl +0 -5
  430. snappy/togl/linux2-x86_64-tk8.6/Togl2.1/LICENSE +0 -28
  431. snappy/togl/linux2-x86_64-tk8.6/Togl2.1/libTogl2.1.so +0 -0
  432. snappy/togl/linux2-x86_64-tk8.6/Togl2.1/pkgIndex.tcl +0 -5
  433. snappy/togl/win32VC-tk8.6/Togl2.1/LICENSE +0 -28
  434. snappy/togl/win32VC-tk8.6/Togl2.1/Togl21.dll +0 -0
  435. snappy/togl/win32VC-tk8.6/Togl2.1/Togl21.lib +0 -0
  436. snappy/togl/win32VC-tk8.6/Togl2.1/pkgIndex.tcl +0 -6
  437. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/LICENSE +0 -28
  438. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/Togl21.dll +0 -0
  439. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/Togl21.lib +0 -0
  440. snappy/togl/win32VC-x86_64-tk8.6/Togl2.1/pkgIndex.tcl +0 -6
  441. snappy/twister/__pycache__/__init__.cpython-39.pyc +0 -0
  442. snappy/twister/__pycache__/main.cpython-39.pyc +0 -0
  443. snappy/upper_halfspace/__pycache__/__init__.cpython-39.pyc +0 -0
  444. snappy/upper_halfspace/__pycache__/ideal_point.cpython-39.pyc +0 -0
  445. snappy/verify/__pycache__/__init__.cpython-39.pyc +0 -0
  446. snappy/verify/__pycache__/cuspCrossSection.cpython-39.pyc +0 -0
  447. snappy/verify/__pycache__/cuspTranslations.cpython-39.pyc +0 -0
  448. snappy/verify/__pycache__/cusp_areas.cpython-39.pyc +0 -0
  449. snappy/verify/__pycache__/cusp_shapes.cpython-39.pyc +0 -0
  450. snappy/verify/__pycache__/exceptions.cpython-39.pyc +0 -0
  451. snappy/verify/__pycache__/interval_newton_shapes_engine.cpython-39.pyc +0 -0
  452. snappy/verify/__pycache__/interval_tree.cpython-39.pyc +0 -0
  453. snappy/verify/__pycache__/krawczyk_shapes_engine.cpython-39.pyc +0 -0
  454. snappy/verify/__pycache__/realAlgebra.cpython-39.pyc +0 -0
  455. snappy/verify/__pycache__/shapes.cpython-39.pyc +0 -0
  456. snappy/verify/__pycache__/short_slopes.cpython-39.pyc +0 -0
  457. snappy/verify/__pycache__/squareExtensions.cpython-39.pyc +0 -0
  458. snappy/verify/__pycache__/verifyCanonical.cpython-39.pyc +0 -0
  459. snappy/verify/__pycache__/verifyHyperbolicity.cpython-39.pyc +0 -0
  460. snappy/verify/__pycache__/volume.cpython-39.pyc +0 -0
  461. snappy/verify/complex_volume/__pycache__/__init__.cpython-39.pyc +0 -0
  462. snappy/verify/complex_volume/__pycache__/adjust_torsion.cpython-39.pyc +0 -0
  463. snappy/verify/complex_volume/__pycache__/closed.cpython-39.pyc +0 -0
  464. snappy/verify/complex_volume/__pycache__/compute_ptolemys.cpython-39.pyc +0 -0
  465. snappy/verify/complex_volume/__pycache__/cusped.cpython-39.pyc +0 -0
  466. snappy/verify/complex_volume/__pycache__/extended_bloch.cpython-39.pyc +0 -0
  467. snappy/verify/cuspCrossSection.py +0 -1422
  468. snappy/verify/maximal_cusp_area_matrix/__pycache__/__init__.cpython-39.pyc +0 -0
  469. snappy/verify/maximal_cusp_area_matrix/__pycache__/cusp_tiling_engine.cpython-39.pyc +0 -0
  470. snappy/verify/maximal_cusp_area_matrix/__pycache__/cusp_translate_engine.cpython-39.pyc +0 -0
  471. snappy/verify/upper_halfspace/__pycache__/__init__.cpython-39.pyc +0 -0
  472. snappy/verify/upper_halfspace/__pycache__/extended_matrix.cpython-39.pyc +0 -0
  473. snappy/verify/upper_halfspace/__pycache__/finite_point.cpython-39.pyc +0 -0
  474. snappy/verify/upper_halfspace/__pycache__/ideal_point.cpython-39.pyc +0 -0
  475. snappy-3.1.1.dist-info/RECORD +0 -575
  476. {snappy-3.1.1.dist-info → snappy-3.2.dist-info}/entry_points.txt +0 -0
snappy/doc/ptolemy_prelim.html CHANGED
@@ -1,251 +1,248 @@
1
- <!DOCTYPE html>
2
- <html class="writer-html5" lang="en" >
3
- <head>
4
- <meta charset="utf-8" /><meta name="generator" content="Docutils 0.18.1: http://docutils.sourceforge.net/" />
5
-
6
- <meta name="viewport" content="width=device-width, initial-scale=1.0" />
7
- <title>Mathematical preliminaries &mdash; SnapPy 3.1.1 documentation</title>
8
- <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
9
- <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
10
- <link rel="stylesheet" href="_static/snappy_sphinx_rtd_theme.css" type="text/css" />
11
- <link rel="shortcut icon" href="_static/SnapPy.ico"/>
12
- <!--[if lt IE 9]>
13
- <script src="_static/js/html5shiv.min.js"></script>
14
- <![endif]-->
15
-
16
- <script src="_static/jquery.js"></script>
17
- <script src="_static/_sphinx_javascript_frameworks_compat.js"></script>
18
- <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js"></script>
19
- <script src="_static/doctools.js"></script>
20
- <script src="_static/sphinx_highlight.js"></script>
21
- <script async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
22
- <script src="_static/js/theme.js"></script>
23
- <link rel="index" title="Index" href="genindex.html" />
24
- <link rel="search" title="Search" href="search.html" />
25
- <link rel="next" title="Step-by-step examples: Part 1" href="ptolemy_examples1.html" />
26
- <link rel="prev" title="The ptolemy module" href="ptolemy.html" />
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 class="version">
42
- 3.1.1
43
- </div>
44
- <div role="search">
45
- <form id="rtd-search-form" class="wy-form" action="search.html" method="get">
46
- <input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
47
- <input type="hidden" name="check_keywords" value="yes" />
48
- <input type="hidden" name="area" value="default" />
49
- </form>
50
- </div>
51
- </div><div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="Navigation menu">
52
- <ul class="current">
53
- <li class="toctree-l1"><a class="reference internal" href="installing.html">Installing SnapPy</a></li>
54
- <li class="toctree-l1"><a class="reference internal" href="screenshots.html">Screenshots: SnapPy in action</a></li>
55
- <li class="toctree-l1"><a class="reference internal" href="tutorial.html">Tutorial</a></li>
56
- <li class="toctree-l1"><a class="reference internal" href="snappy.html">The snappy module and its classes</a></li>
57
- <li class="toctree-l1"><a class="reference internal" href="plink.html">Using SnapPy’s link editor</a></li>
58
- <li class="toctree-l1"><a class="reference internal" href="spherogram.html">Links: planar diagrams and invariants</a></li>
59
- <li class="toctree-l1"><a class="reference internal" href="snap.html">Number theory of hyperbolic 3-manifolds</a></li>
60
- <li class="toctree-l1"><a class="reference internal" href="verify.html">Verified computations</a></li>
61
- <li class="toctree-l1 current"><a class="reference internal" href="other.html">Other components</a><ul class="current">
62
- <li class="toctree-l2 current"><a class="reference internal" href="other.html#ptolemy-module">Ptolemy module</a><ul class="current">
63
- <li class="toctree-l3 current"><a class="reference internal" href="ptolemy.html">The ptolemy module</a><ul class="current">
64
- <li class="toctree-l4"><a class="reference internal" href="ptolemy.html#what-is-the-ptolemy-module">What is the ptolemy module?</a></li>
65
- <li class="toctree-l4 current"><a class="reference internal" href="ptolemy.html#documentation">Documentation</a><ul class="current">
66
- <li class="toctree-l5 current"><a class="current reference internal" href="#">Mathematical preliminaries</a></li>
67
- <li class="toctree-l5"><a class="reference internal" href="ptolemy_examples1.html">Step-by-step examples: Part 1</a></li>
68
- <li class="toctree-l5"><a class="reference internal" href="ptolemy_examples2.html">Step-by-step examples: Part 2</a></li>
69
- <li class="toctree-l5"><a class="reference internal" href="ptolemy_examples3.html">Step-by-step examples: Part 3</a></li>
70
- <li class="toctree-l5"><a class="reference internal" href="ptolemy_examples4.html">Step-by-step examples: Part 4</a></li>
71
- <li class="toctree-l5"><a class="reference internal" href="ptolemy_classes.html">Classes</a></li>
72
- </ul>
73
- </li>
74
- </ul>
75
- </li>
76
- </ul>
77
- </li>
78
- <li class="toctree-l2"><a class="reference internal" href="other.html#twister">Twister</a></li>
79
- </ul>
80
- </li>
81
- <li class="toctree-l1"><a class="reference internal" href="news.html">News</a></li>
82
- <li class="toctree-l1"><a class="reference internal" href="credits.html">Credits</a></li>
83
- <li class="toctree-l1"><a class="reference internal" href="bugs.html">Reporting bugs and other problems</a></li>
84
- <li class="toctree-l1"><a class="reference internal" href="todo.html">To Do List</a></li>
85
- <li class="toctree-l1"><a class="reference internal" href="development.html">Development Basics</a></li>
86
- </ul>
87
-
88
- </div>
89
- </div>
90
- </nav>
91
-
92
- <section data-toggle="wy-nav-shift" class="wy-nav-content-wrap"><nav class="wy-nav-top" aria-label="Mobile navigation menu" >
93
- <i data-toggle="wy-nav-top" class="fa fa-bars"></i>
94
- <a href="index.html">SnapPy</a>
95
- </nav>
96
-
97
- <div class="wy-nav-content">
98
- <div class="rst-content">
99
- <div role="navigation" aria-label="Page navigation">
100
- <ul class="wy-breadcrumbs">
101
- <li><a href="index.html" class="icon icon-home" aria-label="Home"></a></li>
102
- <li class="breadcrumb-item"><a href="other.html">Other components</a></li>
103
- <li class="breadcrumb-item"><a href="ptolemy.html">The ptolemy module</a></li>
104
- <li class="breadcrumb-item active">Mathematical preliminaries</li>
105
- <li class="wy-breadcrumbs-aside">
106
- </li>
107
- </ul>
108
- <hr/>
109
- </div>
110
- <div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
111
- <div itemprop="articleBody">
112
-
113
- <section id="mathematical-preliminaries">
114
- <h1>Mathematical preliminaries<a class="headerlink" href="#mathematical-preliminaries" title="Permalink to this heading"></a></h1>
115
- <p>Given a triangulation, the ptolemy module will produce a system of equation that is equivalent to
116
- the reduced Ptolemy variety (see <a class="reference internal" href="#gtz2011" id="id1"><span>[GTZ2011]</span></a>, Section 5 of <a class="reference internal" href="#ggz2012" id="id2"><span>[GGZ2012]</span></a>, and Proposition 4.7 of <a class="reference internal" href="#ggz2014" id="id3"><span>[GGZ2014]</span></a>).</p>
117
- <p>A solution
118
- to this system of equations where no Ptolemy coordinate is zero yields a <a class="reference internal" href="#ptolemy-boundary-unipotent"><span class="std std-ref">boundary-unipotent</span></a>
119
- SL(<em>N</em>, <strong>C</strong>)-representation, respectively, PSL(<em>N</em>, <strong>C</strong>)-representation (see <a class="reference internal" href="#obstruction-class"><span class="std std-ref">Obstruction class</span></a>).</p>
120
- <p>Note that a solution where some Ptolemy coordinates are zero might not have enough information
121
- to recover the representation - thus the ptolemy module discards those and thus might miss some
122
- boundary-unipotent representations for the chosen triangulation (see <a class="reference internal" href="#ptolemy-generically-decorated"><span class="std std-ref">Generically decorated representations</span></a>).
123
- This is the same problem that the
124
- gluing equations for finding PGL(2, <strong>C</strong>)-representations suffer from where simplices in the developing
125
- map can be degenerate and yielding cross ratios that are 0, 1, or <span class="math notranslate nohighlight">\(\infty\)</span>.</p>
126
- <section id="boundary-unipotent">
127
- <span id="ptolemy-boundary-unipotent"></span><h2>Boundary-unipotent<a class="headerlink" href="#boundary-unipotent" title="Permalink to this heading"></a></h2>
128
- <p>We call a SL(<em>N</em>, <strong>C</strong>)-representation <em>boundary-unipotent</em> if each peripheral subgroup is taken to
129
- a conjugate of the unipotent group <em>P</em> of upper unit-triangular matrices. Similarly, we call
130
- a PSL(<em>N</em>, <strong>C</strong>)-representation <em>boundary-unipotent</em> if each peripheral subgroup is taken to a conjugate
131
- of the unipotent group of PSL(<em>N</em>, <strong>C</strong>), i.e., the image of <em>P</em> under the projection SL(<em>N</em>, <strong>C</strong>)<span class="math notranslate nohighlight">\(\rightarrow\)</span>PSL(<em>N</em>, <strong>C</strong>).</p>
132
- <p>Note that even when boundary-unipotent PSL(<em>N</em>, <strong>C</strong>)-representation can be lifted to an
133
- SL(<em>N</em>, <strong>C</strong>)-representation, the lift might no longer be boundary-unipotent, i.e., there might be
134
- a peripheral curve whose image now is conjugate to an upper triangular matrix with an <em>N</em>-th root
135
- of unity on the diagonal. For example, if the manifold is hyperbolic and has one cusp,
136
- any lift of the geometric representation will take the longitude
137
- to a matrix with trace -2 and is thus not boundary-unipotent as SL(2, <strong>C</strong>)-representation.</p>
138
- </section>
139
- <section id="obstruction-class">
140
- <span id="id4"></span><h2>Obstruction class<a class="headerlink" href="#obstruction-class" title="Permalink to this heading"></a></h2>
141
- <p>Given a boundary-unipotent PSL(<em>N</em>, <strong>C</strong>)-representation, we obtain an <em>obstruction class</em> in H<sup>2</sup>(M,<span class="math notranslate nohighlight">\(\partial\)</span>M; <strong>Z</strong>/<em>N</em>)
142
- that is trivial if and only if the representations lifts to a boundary-unipotent SL(<em>N</em>, <strong>C</strong>)-representation (see Section 9.1 of <a class="reference internal" href="#gtz2011" id="id5"><span>[GTZ2011]</span></a> and Section 1.3 of <a class="reference internal" href="#ggz2014" id="id6"><span>[GGZ2014]</span></a>).
143
- Given a triangulation and an element in H<sup>2</sup>(M,<span class="math notranslate nohighlight">\(\partial\)</span>M; <strong>Z</strong>/<em>N</em>), the Ptolemy variety can be modified to find
144
- the boundary-unipotent
145
- PSL(<em>N</em>, <strong>C</strong>)-representations with that obstruction class (for <em>N</em> &gt; 2 this is implemented here but has not been published yet).</p>
146
- <p>Note that two elements in H<sup>2</sup>(M,<span class="math notranslate nohighlight">\(\partial\)</span>M; <strong>Z</strong>/<em>N</em>)
147
- related by multiplication by an element in (<strong>Z</strong>/<em>N</em>)<sup>*</sup> yield Ptolemy
148
- varieties corresponding to picking different Galois conjugates for the <em>N</em>-th root of unity. Thus, it is enough
149
- to consider a representative for each element in the quotient H<sup>2</sup>(M,<span class="math notranslate nohighlight">\(\partial\)</span>M; <strong>Z</strong>/<em>N</em>)/(<strong>Z</strong>/<em>N</em>)<sup>*</sup>.</p>
150
- </section>
151
- <section id="sl-n-c-vs-psl-n-c">
152
- <span id="ptolemy-psl-multiplicity"></span><h2>SL(<em>N</em>, <strong>C</strong>) vs PSL(<em>N</em>, <strong>C</strong>)<a class="headerlink" href="#sl-n-c-vs-psl-n-c" title="Permalink to this heading"></a></h2>
153
- <p>The reduced Ptolemy variety for the trivial obstruction class can have several points (say <em>d</em>) giving different SL(<em>N</em>, <strong>C</strong>)-representations that are the same as PSL(<em>N</em>, <strong>C</strong>)-representations. Similarly, for the non-trivial obstruction class we can have <em>d</em> points in the reduced Ptolemy variety yielding the same PSL(<em>N</em>, <strong>C</strong>)-representation.</p>
154
- <p>The degree <em>d</em> of this correspondence is the size of H<sup>1</sup>(<span class="math notranslate nohighlight">\(\hat{M}\)</span>; <strong>Z</strong>/<em>N</em>) where <span class="math notranslate nohighlight">\(\hat{M}\)</span> is the cell complex obtained from collapsing each cusp to a point.</p>
155
- </section>
156
- <section id="generically-decorated-representations">
157
- <span id="ptolemy-generically-decorated"></span><h2>Generically decorated representations<a class="headerlink" href="#generically-decorated-representations" title="Permalink to this heading"></a></h2>
158
- <p>We want to point out two important facts when using the reduced Ptolemy variety to find boundary-unipotent representations:</p>
159
- <ul class="simple">
160
- <li><p>We miss representations that are not generically decorated (as mentioned above). This happens but rarely.</p></li>
161
- <li><dl class="simple">
162
- <dt>A positively dimensional component in the reduced Ptolemy variety might mean two things (which we can distinguish by looking at the images of the peripheral groups):</dt><dd><ul>
163
- <li><p>a positively dimensional family of boundary-unipotent representations or</p></li>
164
- <li><p>a family of decorations of the same representation.</p></li>
165
- </ul>
166
- </dd>
167
- </dl>
168
- </li>
169
- </ul>
170
- <p>The reason for this is that the reduced Ptolmey variety does not parametrize representations but generically decorated representations (which can also be thought of as development maps). We just list the facts about decorations important to us here and refer the reader for details to Section 4 of <a class="reference internal" href="#gtz2011" id="id7"><span>[GTZ2011]</span></a> and Section 8 of <a class="reference internal" href="#ggz2012" id="id8"><span>[GGZ2012]</span></a> (where decoration would be called <em>B</em>-decoration or (SL(<em>N</em>), <strong>C</strong>), <em>B</em>)-decoration with <em>B</em> the Borel group of upper triangular matrices):</p>
171
- <ul class="simple">
172
- <li><p>Every boundary-unipotent representation of a cusped manifold admits a decoration. The set of decorations of a representation is intrinsic to the representation and independent of the triangulation.</p></li>
173
- <li><p>The representation determines the decoration uniquely if and only if the representation is boundary-non-degenerate (which most representations are).</p></li>
174
- <li><p>Given a decorated representation and an ideal triangulation of a cusped manifold, we obtain Ptolemy coordinates.</p></li>
175
- <li><p>If all the resulting Ptolemy coordinates are non-zero, we call the representation <em>generically decorated</em> - a notion that depends on the chosen triangulation.</p></li>
176
- <li><p>The reduced Ptolemy variety parametrizes generically decorated and boundary-unipotent representations.</p></li>
177
- </ul>
178
- </section>
179
- <section id="reduced-ptolemy-variety">
180
- <span id="ptolemy-reduced-variety"></span><h2>Reduced Ptolemy variety<a class="headerlink" href="#reduced-ptolemy-variety" title="Permalink to this heading"></a></h2>
181
- <p>We will actually always use the reduced Ptolemy variety, i.e., the system of equation that consists of the Ptolemy relations (always of the form
182
- <span class="math notranslate nohighlight">\(\pm\)</span> c<sub>…</sub> c<sub>…</sub> <span class="math notranslate nohighlight">\(\pm\)</span> c<sub>…</sub> c<sub>…</sub> <span class="math notranslate nohighlight">\(\pm\)</span> c<sub>…</sub> c<sub>…</sub>) and extra equations fixing an appropriate set of (N-1) Ptolemy coordinates per cusp as described in Proposition 4.7 of <a class="reference internal" href="#ggz2014" id="id9"><span>[GGZ2014]</span></a>. This is because the Ptolemy relations alone admit an action by (<strong>C</strong><sup>*</sup>)<sup>(N-1)</sup> for each cusp that does not change the representation it yields.</p>
183
- <p>In other words, the Ptolemy variety parametrizes <em>P</em>-decorations and the reduced Ptolemy variety parametrizes <em>B</em>-decorations.</p>
184
- </section>
185
- <section id="future-work">
186
- <h2>Future work<a class="headerlink" href="#future-work" title="Permalink to this heading"></a></h2>
187
- <p>In unpublished work, we developed an algorithm that takes some triangulation of a manifold and constructs a set of triangulations and corresponding Ptolemy varieties (with extra edge relations) such that we can guarantee that all boundary-unipotent PSL(2,C)-representations are found - not just the ones that are generically decorated with respect to the chosen triangulation. This is inspired by <a class="reference internal" href="#s2009" id="id10"><span>[S2009]</span></a>. The ptolemy module might support this in the future.</p>
188
- <p>In <a class="reference internal" href="#z2014" id="id11"><span>[Z2014]</span></a>, the Ptolemy variety was extended to detect non boundary-unipotent representations as well. The ptolemy module might produce these varieties in the future. This might offer another way of computing A-polynomials - that when combined with the above algorithm is guaranteed to be the full A-polynomial and not just a factor of it.</p>
189
- </section>
190
- <section id="references">
191
- <h2>References<a class="headerlink" href="#references" title="Permalink to this heading"></a></h2>
192
- <div role="list" class="citation-list">
193
- <div class="citation" id="s2009" role="doc-biblioentry">
194
- <span class="label"><span class="fn-bracket">[</span><a role="doc-backlink" href="#id10">S2009</a><span class="fn-bracket">]</span></span>
195
- <p>Henry Segerman: A generalisation of the deformation variety, <a class="reference external" href="http://arxiv.org/abs/0904.1893">http://arxiv.org/abs/0904.1893</a></p>
196
- </div>
197
- <div class="citation" id="gtz2011" role="doc-biblioentry">
198
- <span class="label"><span class="fn-bracket">[</span>GTZ2011<span class="fn-bracket">]</span></span>
199
- <span class="backrefs">(<a role="doc-backlink" href="#id1">1</a>,<a role="doc-backlink" href="#id5">2</a>,<a role="doc-backlink" href="#id7">3</a>)</span>
200
- <p>Stavros Garoufalidis, Dylan P. Thurston, and Christian K. Zickert: The Complex Volume of SL(n,C)-Representations of 3-Manifolds, <a class="reference external" href="http://arxiv.org/abs/1111.2828">http://arxiv.org/abs/1111.2828</a></p>
201
- </div>
202
- <div class="citation" id="ggz2012" role="doc-biblioentry">
203
- <span class="label"><span class="fn-bracket">[</span>GGZ2012<span class="fn-bracket">]</span></span>
204
- <span class="backrefs">(<a role="doc-backlink" href="#id2">1</a>,<a role="doc-backlink" href="#id8">2</a>)</span>
205
- <p>Stavros Garoufalidis, Matthias Goerner, and Christian K. Zickert: Gluing Equations for PGL(n,C)-Representations of 3-Manifolds, <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
206
- </div>
207
- <div class="citation" id="ggz2014" role="doc-biblioentry">
208
- <span class="label"><span class="fn-bracket">[</span>GGZ2014<span class="fn-bracket">]</span></span>
209
- <span class="backrefs">(<a role="doc-backlink" href="#id3">1</a>,<a role="doc-backlink" href="#id6">2</a>,<a role="doc-backlink" href="#id9">3</a>)</span>
210
- <p>Stavros Garoufalidis, Matthias Goerner, and Christian K. Zickert: The Ptolemy Field of 3-Manifold Representations, <a class="reference external" href="http://arxiv.org/abs/1401.5542">http://arxiv.org/abs/1401.5542</a></p>
211
- </div>
212
- <div class="citation" id="z2014" role="doc-biblioentry">
213
- <span class="label"><span class="fn-bracket">[</span><a role="doc-backlink" href="#id11">Z2014</a><span class="fn-bracket">]</span></span>
214
- <p>Christian K. Zickert: Ptolemy coordinates, Dehn invariant, and the A-polynomial, <a class="reference external" href="http://arxiv.org/abs/1405.0025">http://arxiv.org/abs/1405.0025</a></p>
215
- </div>
216
- </div>
217
- </section>
218
- </section>
219
-
220
-
221
- </div>
222
- </div>
223
- <footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
224
- <a href="ptolemy.html" class="btn btn-neutral float-left" title="The ptolemy module" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
225
- <a href="ptolemy_examples1.html" class="btn btn-neutral float-right" title="Step-by-step examples: Part 1" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
226
- </div>
227
-
228
- <hr/>
229
-
230
- <div role="contentinfo">
231
- <p>&#169; Copyright 2009-2023, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
232
- </div>
233
-
234
- Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
235
- <a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
236
- provided by <a href="https://readthedocs.org">Read the Docs</a>.
237
-
238
-
239
- </footer>
240
- </div>
241
- </div>
242
- </section>
243
- </div>
244
- <script>
245
- jQuery(function () {
246
- SphinxRtdTheme.Navigation.enable(true);
247
- });
248
- </script>
249
-
250
- </body>
1
+
2
+
3
+ <!DOCTYPE html>
4
+ <html class="writer-html5" lang="en" data-content_root="./">
5
+ <head>
6
+ <meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
7
+
8
+ <meta name="viewport" content="width=device-width, initial-scale=1.0" />
9
+ <title>Mathematical preliminaries &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>
23
+ <link rel="index" title="Index" href="genindex.html" />
24
+ <link rel="search" title="Search" href="search.html" />
25
+ <link rel="next" title="Step-by-step examples: Part 1" href="ptolemy_examples1.html" />
26
+ <link rel="prev" title="The ptolemy module" href="ptolemy.html" />
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 current"><a class="current reference internal" href="#">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"><a class="reference internal" href="ptolemy_classes.html">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">Mathematical preliminaries</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
+
110
+ <section id="mathematical-preliminaries">
111
+ <h1>Mathematical preliminaries<a class="headerlink" href="#mathematical-preliminaries" title="Link to this heading"></a></h1>
112
+ <p>Given a triangulation, the ptolemy module will produce a system of equation that is equivalent to
113
+ the reduced Ptolemy variety (see <a class="reference internal" href="#gtz2011" id="id1"><span>[GTZ2011]</span></a>, Section 5 of <a class="reference internal" href="#ggz2012" id="id2"><span>[GGZ2012]</span></a>, and Proposition 4.7 of <a class="reference internal" href="#ggz2014" id="id3"><span>[GGZ2014]</span></a>).</p>
114
+ <p>A solution
115
+ to this system of equations where no Ptolemy coordinate is zero yields a <a class="reference internal" href="#ptolemy-boundary-unipotent"><span class="std std-ref">boundary-unipotent</span></a>
116
+ SL(<em>N</em>, <strong>C</strong>)-representation, respectively, PSL(<em>N</em>, <strong>C</strong>)-representation (see <a class="reference internal" href="#obstruction-class"><span class="std std-ref">Obstruction class</span></a>).</p>
117
+ <p>Note that a solution where some Ptolemy coordinates are zero might not have enough information
118
+ to recover the representation - thus the ptolemy module discards those and thus might miss some
119
+ boundary-unipotent representations for the chosen triangulation (see <a class="reference internal" href="#ptolemy-generically-decorated"><span class="std std-ref">Generically decorated representations</span></a>).
120
+ This is the same problem that the
121
+ gluing equations for finding PGL(2, <strong>C</strong>)-representations suffer from where simplices in the developing
122
+ map can be degenerate and yielding cross ratios that are 0, 1, or <span class="math notranslate nohighlight">\(\infty\)</span>.</p>
123
+ <section id="boundary-unipotent">
124
+ <span id="ptolemy-boundary-unipotent"></span><h2>Boundary-unipotent<a class="headerlink" href="#boundary-unipotent" title="Link to this heading"></a></h2>
125
+ <p>We call a SL(<em>N</em>, <strong>C</strong>)-representation <em>boundary-unipotent</em> if each peripheral subgroup is taken to
126
+ a conjugate of the unipotent group <em>P</em> of upper unit-triangular matrices. Similarly, we call
127
+ a PSL(<em>N</em>, <strong>C</strong>)-representation <em>boundary-unipotent</em> if each peripheral subgroup is taken to a conjugate
128
+ of the unipotent group of PSL(<em>N</em>, <strong>C</strong>), i.e., the image of <em>P</em> under the projection SL(<em>N</em>, <strong>C</strong>)<span class="math notranslate nohighlight">\(\rightarrow\)</span>PSL(<em>N</em>, <strong>C</strong>).</p>
129
+ <p>Note that even when boundary-unipotent PSL(<em>N</em>, <strong>C</strong>)-representation can be lifted to an
130
+ SL(<em>N</em>, <strong>C</strong>)-representation, the lift might no longer be boundary-unipotent, i.e., there might be
131
+ a peripheral curve whose image now is conjugate to an upper triangular matrix with an <em>N</em>-th root
132
+ of unity on the diagonal. For example, if the manifold is hyperbolic and has one cusp,
133
+ any lift of the geometric representation will take the longitude
134
+ to a matrix with trace -2 and is thus not boundary-unipotent as SL(2, <strong>C</strong>)-representation.</p>
135
+ </section>
136
+ <section id="obstruction-class">
137
+ <span id="id4"></span><h2>Obstruction class<a class="headerlink" href="#obstruction-class" title="Link to this heading"></a></h2>
138
+ <p>Given a boundary-unipotent PSL(<em>N</em>, <strong>C</strong>)-representation, we obtain an <em>obstruction class</em> in H<sup>2</sup>(M,<span class="math notranslate nohighlight">\(\partial\)</span>M; <strong>Z</strong>/<em>N</em>)
139
+ that is trivial if and only if the representations lifts to a boundary-unipotent SL(<em>N</em>, <strong>C</strong>)-representation (see Section 9.1 of <a class="reference internal" href="#gtz2011" id="id5"><span>[GTZ2011]</span></a> and Section 1.3 of <a class="reference internal" href="#ggz2014" id="id6"><span>[GGZ2014]</span></a>).
140
+ Given a triangulation and an element in H<sup>2</sup>(M,<span class="math notranslate nohighlight">\(\partial\)</span>M; <strong>Z</strong>/<em>N</em>), the Ptolemy variety can be modified to find
141
+ the boundary-unipotent
142
+ PSL(<em>N</em>, <strong>C</strong>)-representations with that obstruction class (for <em>N</em> &gt; 2 this is implemented here but has not been published yet).</p>
143
+ <p>Note that two elements in H<sup>2</sup>(M,<span class="math notranslate nohighlight">\(\partial\)</span>M; <strong>Z</strong>/<em>N</em>)
144
+ related by multiplication by an element in (<strong>Z</strong>/<em>N</em>)<sup>*</sup> yield Ptolemy
145
+ varieties corresponding to picking different Galois conjugates for the <em>N</em>-th root of unity. Thus, it is enough
146
+ to consider a representative for each element in the quotient H<sup>2</sup>(M,<span class="math notranslate nohighlight">\(\partial\)</span>M; <strong>Z</strong>/<em>N</em>)/(<strong>Z</strong>/<em>N</em>)<sup>*</sup>.</p>
147
+ </section>
148
+ <section id="sl-n-c-vs-psl-n-c">
149
+ <span id="ptolemy-psl-multiplicity"></span><h2>SL(<em>N</em>, <strong>C</strong>) vs PSL(<em>N</em>, <strong>C</strong>)<a class="headerlink" href="#sl-n-c-vs-psl-n-c" title="Link to this heading"></a></h2>
150
+ <p>The reduced Ptolemy variety for the trivial obstruction class can have several points (say <em>d</em>) giving different SL(<em>N</em>, <strong>C</strong>)-representations that are the same as PSL(<em>N</em>, <strong>C</strong>)-representations. Similarly, for the non-trivial obstruction class we can have <em>d</em> points in the reduced Ptolemy variety yielding the same PSL(<em>N</em>, <strong>C</strong>)-representation.</p>
151
+ <p>The degree <em>d</em> of this correspondence is the size of H<sup>1</sup>(<span class="math notranslate nohighlight">\(\hat{M}\)</span>; <strong>Z</strong>/<em>N</em>) where <span class="math notranslate nohighlight">\(\hat{M}\)</span> is the cell complex obtained from collapsing each cusp to a point.</p>
152
+ </section>
153
+ <section id="generically-decorated-representations">
154
+ <span id="ptolemy-generically-decorated"></span><h2>Generically decorated representations<a class="headerlink" href="#generically-decorated-representations" title="Link to this heading"></a></h2>
155
+ <p>We want to point out two important facts when using the reduced Ptolemy variety to find boundary-unipotent representations:</p>
156
+ <ul class="simple">
157
+ <li><p>We miss representations that are not generically decorated (as mentioned above). This happens but rarely.</p></li>
158
+ <li><dl class="simple">
159
+ <dt>A positively dimensional component in the reduced Ptolemy variety might mean two things (which we can distinguish by looking at the images of the peripheral groups):</dt><dd><ul>
160
+ <li><p>a positively dimensional family of boundary-unipotent representations or</p></li>
161
+ <li><p>a family of decorations of the same representation.</p></li>
162
+ </ul>
163
+ </dd>
164
+ </dl>
165
+ </li>
166
+ </ul>
167
+ <p>The reason for this is that the reduced Ptolmey variety does not parametrize representations but generically decorated representations (which can also be thought of as development maps). We just list the facts about decorations important to us here and refer the reader for details to Section 4 of <a class="reference internal" href="#gtz2011" id="id7"><span>[GTZ2011]</span></a> and Section 8 of <a class="reference internal" href="#ggz2012" id="id8"><span>[GGZ2012]</span></a> (where decoration would be called <em>B</em>-decoration or (SL(<em>N</em>), <strong>C</strong>), <em>B</em>)-decoration with <em>B</em> the Borel group of upper triangular matrices):</p>
168
+ <ul class="simple">
169
+ <li><p>Every boundary-unipotent representation of a cusped manifold admits a decoration. The set of decorations of a representation is intrinsic to the representation and independent of the triangulation.</p></li>
170
+ <li><p>The representation determines the decoration uniquely if and only if the representation is boundary-non-degenerate (which most representations are).</p></li>
171
+ <li><p>Given a decorated representation and an ideal triangulation of a cusped manifold, we obtain Ptolemy coordinates.</p></li>
172
+ <li><p>If all the resulting Ptolemy coordinates are non-zero, we call the representation <em>generically decorated</em> - a notion that depends on the chosen triangulation.</p></li>
173
+ <li><p>The reduced Ptolemy variety parametrizes generically decorated and boundary-unipotent representations.</p></li>
174
+ </ul>
175
+ </section>
176
+ <section id="reduced-ptolemy-variety">
177
+ <span id="ptolemy-reduced-variety"></span><h2>Reduced Ptolemy variety<a class="headerlink" href="#reduced-ptolemy-variety" title="Link to this heading"></a></h2>
178
+ <p>We will actually always use the reduced Ptolemy variety, i.e., the system of equation that consists of the Ptolemy relations (always of the form
179
+ <span class="math notranslate nohighlight">\(\pm\)</span> c<sub>…</sub> c<sub>…</sub> <span class="math notranslate nohighlight">\(\pm\)</span> c<sub>…</sub> c<sub>…</sub> <span class="math notranslate nohighlight">\(\pm\)</span> c<sub>…</sub> c<sub>…</sub>) and extra equations fixing an appropriate set of (N-1) Ptolemy coordinates per cusp as described in Proposition 4.7 of <a class="reference internal" href="#ggz2014" id="id9"><span>[GGZ2014]</span></a>. This is because the Ptolemy relations alone admit an action by (<strong>C</strong><sup>*</sup>)<sup>(N-1)</sup> for each cusp that does not change the representation it yields.</p>
180
+ <p>In other words, the Ptolemy variety parametrizes <em>P</em>-decorations and the reduced Ptolemy variety parametrizes <em>B</em>-decorations.</p>
181
+ </section>
182
+ <section id="future-work">
183
+ <h2>Future work<a class="headerlink" href="#future-work" title="Link to this heading"></a></h2>
184
+ <p>In unpublished work, we developed an algorithm that takes some triangulation of a manifold and constructs a set of triangulations and corresponding Ptolemy varieties (with extra edge relations) such that we can guarantee that all boundary-unipotent PSL(2,C)-representations are found - not just the ones that are generically decorated with respect to the chosen triangulation. This is inspired by <a class="reference internal" href="#s2009" id="id10"><span>[S2009]</span></a>. The ptolemy module might support this in the future.</p>
185
+ <p>In <a class="reference internal" href="#z2014" id="id11"><span>[Z2014]</span></a>, the Ptolemy variety was extended to detect non boundary-unipotent representations as well. The ptolemy module might produce these varieties in the future. This might offer another way of computing A-polynomials - that when combined with the above algorithm is guaranteed to be the full A-polynomial and not just a factor of it.</p>
186
+ </section>
187
+ <section id="references">
188
+ <h2>References<a class="headerlink" href="#references" title="Link to this heading"></a></h2>
189
+ <div role="list" class="citation-list">
190
+ <div class="citation" id="s2009" role="doc-biblioentry">
191
+ <span class="label"><span class="fn-bracket">[</span><a role="doc-backlink" href="#id10">S2009</a><span class="fn-bracket">]</span></span>
192
+ <p>Henry Segerman: A generalisation of the deformation variety, <a class="reference external" href="http://arxiv.org/abs/0904.1893">http://arxiv.org/abs/0904.1893</a></p>
193
+ </div>
194
+ <div class="citation" id="gtz2011" role="doc-biblioentry">
195
+ <span class="label"><span class="fn-bracket">[</span>GTZ2011<span class="fn-bracket">]</span></span>
196
+ <span class="backrefs">(<a role="doc-backlink" href="#id1">1</a>,<a role="doc-backlink" href="#id5">2</a>,<a role="doc-backlink" href="#id7">3</a>)</span>
197
+ <p>Stavros Garoufalidis, Dylan P. Thurston, and Christian K. Zickert: The Complex Volume of SL(n,C)-Representations of 3-Manifolds, <a class="reference external" href="http://arxiv.org/abs/1111.2828">http://arxiv.org/abs/1111.2828</a></p>
198
+ </div>
199
+ <div class="citation" id="ggz2012" role="doc-biblioentry">
200
+ <span class="label"><span class="fn-bracket">[</span>GGZ2012<span class="fn-bracket">]</span></span>
201
+ <span class="backrefs">(<a role="doc-backlink" href="#id2">1</a>,<a role="doc-backlink" href="#id8">2</a>)</span>
202
+ <p>Stavros Garoufalidis, Matthias Goerner, and Christian K. Zickert: Gluing Equations for PGL(n,C)-Representations of 3-Manifolds, <a class="reference external" href="http://arxiv.org/abs/1207.6711">http://arxiv.org/abs/1207.6711</a></p>
203
+ </div>
204
+ <div class="citation" id="ggz2014" role="doc-biblioentry">
205
+ <span class="label"><span class="fn-bracket">[</span>GGZ2014<span class="fn-bracket">]</span></span>
206
+ <span class="backrefs">(<a role="doc-backlink" href="#id3">1</a>,<a role="doc-backlink" href="#id6">2</a>,<a role="doc-backlink" href="#id9">3</a>)</span>
207
+ <p>Stavros Garoufalidis, Matthias Goerner, and Christian K. Zickert: The Ptolemy Field of 3-Manifold Representations, <a class="reference external" href="http://arxiv.org/abs/1401.5542">http://arxiv.org/abs/1401.5542</a></p>
208
+ </div>
209
+ <div class="citation" id="z2014" role="doc-biblioentry">
210
+ <span class="label"><span class="fn-bracket">[</span><a role="doc-backlink" href="#id11">Z2014</a><span class="fn-bracket">]</span></span>
211
+ <p>Christian K. Zickert: Ptolemy coordinates, Dehn invariant, and the A-polynomial, <a class="reference external" href="http://arxiv.org/abs/1405.0025">http://arxiv.org/abs/1405.0025</a></p>
212
+ </div>
213
+ </div>
214
+ </section>
215
+ </section>
216
+
217
+
218
+ </div>
219
+ </div>
220
+ <footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
221
+ <a href="ptolemy.html" class="btn btn-neutral float-left" title="The ptolemy module" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left" aria-hidden="true"></span> Previous</a>
222
+ <a href="ptolemy_examples1.html" class="btn btn-neutral float-right" title="Step-by-step examples: Part 1" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
223
+ </div>
224
+
225
+ <hr/>
226
+
227
+ <div role="contentinfo">
228
+ <p>&#169; Copyright 2009-2025, by Marc Culler, Nathan Dunfield, Matthias Goerner, Jeffrey Weeks and others.</p>
229
+ </div>
230
+
231
+ Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
232
+ <a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
233
+ provided by <a href="https://readthedocs.org">Read the Docs</a>.
234
+
235
+
236
+ </footer>
237
+ </div>
238
+ </div>
239
+ </section>
240
+ </div>
241
+ <script>
242
+ jQuery(function () {
243
+ SphinxRtdTheme.Navigation.enable(true);
244
+ });
245
+ </script>
246
+
247
+ </body>
251
248
  </html>