snappy 3.2__cp310-cp310-macosx_10_12_x86_64.whl
Sign up to get free protection for your applications and to get access to all the features.
- snappy/CyOpenGL.cpython-310-darwin.so +0 -0
- snappy/SnapPy.cpython-310-darwin.so +0 -0
- snappy/SnapPy.ico +0 -0
- snappy/SnapPy.png +0 -0
- snappy/SnapPyHP.cpython-310-darwin.so +0 -0
- snappy/__init__.py +760 -0
- snappy/app.py +605 -0
- snappy/app_menus.py +372 -0
- snappy/browser.py +998 -0
- snappy/cache.py +25 -0
- snappy/canonical.py +249 -0
- snappy/cusps/__init__.py +38 -0
- snappy/cusps/cusp_area_matrix.py +101 -0
- snappy/cusps/cusp_areas_from_matrix.py +173 -0
- snappy/cusps/maximal_cusp_area_matrix.py +136 -0
- snappy/cusps/test.py +21 -0
- snappy/cusps/trig_cusp_area_matrix.py +63 -0
- snappy/database.py +454 -0
- snappy/db_utilities.py +79 -0
- snappy/decorated_isosig.py +710 -0
- snappy/dev/__init__.py +0 -0
- snappy/dev/extended_ptolemy/__init__.py +8 -0
- snappy/dev/extended_ptolemy/closed.py +106 -0
- snappy/dev/extended_ptolemy/complexVolumesClosed.py +149 -0
- snappy/dev/extended_ptolemy/direct.py +42 -0
- snappy/dev/extended_ptolemy/extended.py +406 -0
- snappy/dev/extended_ptolemy/giac_helper.py +43 -0
- snappy/dev/extended_ptolemy/giac_rur.py +129 -0
- snappy/dev/extended_ptolemy/gluing.py +46 -0
- snappy/dev/extended_ptolemy/phc_wrapper.py +220 -0
- snappy/dev/extended_ptolemy/printMatrices.py +70 -0
- snappy/dev/vericlosed/__init__.py +1 -0
- snappy/dev/vericlosed/computeApproxHyperbolicStructureNew.py +159 -0
- snappy/dev/vericlosed/computeApproxHyperbolicStructureOrb.py +90 -0
- snappy/dev/vericlosed/computeVerifiedHyperbolicStructure.py +111 -0
- snappy/dev/vericlosed/gimbalLoopFinder.py +130 -0
- snappy/dev/vericlosed/hyperbolicStructure.py +313 -0
- snappy/dev/vericlosed/krawczykCertifiedEdgeLengthsEngine.py +165 -0
- snappy/dev/vericlosed/oneVertexTruncatedComplex.py +122 -0
- snappy/dev/vericlosed/orb/__init__.py +1 -0
- snappy/dev/vericlosed/orb/orb_solution_for_snappea_finite_triangulation_mac +0 -0
- snappy/dev/vericlosed/parseVertexGramMatrixFile.py +47 -0
- snappy/dev/vericlosed/polishApproxHyperbolicStructure.py +61 -0
- snappy/dev/vericlosed/test.py +54 -0
- snappy/dev/vericlosed/truncatedComplex.py +176 -0
- snappy/dev/vericlosed/verificationError.py +58 -0
- snappy/dev/vericlosed/verifyHyperbolicStructureEngine.py +177 -0
- snappy/doc/_images/SnapPy-196.png +0 -0
- snappy/doc/_images/geodesics.jpg +0 -0
- snappy/doc/_images/m004_paper_plane_on_systole.jpg +0 -0
- snappy/doc/_images/m125_paper_plane.jpg +0 -0
- snappy/doc/_images/mac.png +0 -0
- snappy/doc/_images/o9_00000_systole_paper_plane.jpg +0 -0
- snappy/doc/_images/o9_00000_systole_paper_plane_closer.jpg +0 -0
- snappy/doc/_images/plink-action.png +0 -0
- snappy/doc/_images/ubuntu.png +0 -0
- snappy/doc/_images/win7.png +0 -0
- snappy/doc/_sources/additional_classes.rst.txt +40 -0
- snappy/doc/_sources/bugs.rst.txt +14 -0
- snappy/doc/_sources/censuses.rst.txt +51 -0
- snappy/doc/_sources/credits.rst.txt +75 -0
- snappy/doc/_sources/development.rst.txt +259 -0
- snappy/doc/_sources/index.rst.txt +182 -0
- snappy/doc/_sources/installing.rst.txt +247 -0
- snappy/doc/_sources/manifold.rst.txt +6 -0
- snappy/doc/_sources/manifoldhp.rst.txt +46 -0
- snappy/doc/_sources/news.rst.txt +355 -0
- snappy/doc/_sources/other.rst.txt +25 -0
- snappy/doc/_sources/platonic_census.rst.txt +20 -0
- snappy/doc/_sources/plink.rst.txt +102 -0
- snappy/doc/_sources/ptolemy.rst.txt +66 -0
- snappy/doc/_sources/ptolemy_classes.rst.txt +42 -0
- snappy/doc/_sources/ptolemy_examples1.rst.txt +298 -0
- snappy/doc/_sources/ptolemy_examples2.rst.txt +363 -0
- snappy/doc/_sources/ptolemy_examples3.rst.txt +301 -0
- snappy/doc/_sources/ptolemy_examples4.rst.txt +61 -0
- snappy/doc/_sources/ptolemy_prelim.rst.txt +105 -0
- snappy/doc/_sources/screenshots.rst.txt +21 -0
- snappy/doc/_sources/snap.rst.txt +87 -0
- snappy/doc/_sources/snappy.rst.txt +28 -0
- snappy/doc/_sources/spherogram.rst.txt +103 -0
- snappy/doc/_sources/todo.rst.txt +47 -0
- snappy/doc/_sources/triangulation.rst.txt +11 -0
- snappy/doc/_sources/tutorial.rst.txt +49 -0
- snappy/doc/_sources/verify.rst.txt +210 -0
- snappy/doc/_sources/verify_internals.rst.txt +79 -0
- snappy/doc/_static/SnapPy-horizontal-128.png +0 -0
- snappy/doc/_static/SnapPy.ico +0 -0
- snappy/doc/_static/_sphinx_javascript_frameworks_compat.js +123 -0
- snappy/doc/_static/basic.css +925 -0
- snappy/doc/_static/css/badge_only.css +1 -0
- snappy/doc/_static/css/fonts/Roboto-Slab-Bold.woff +0 -0
- snappy/doc/_static/css/fonts/Roboto-Slab-Bold.woff2 +0 -0
- snappy/doc/_static/css/fonts/Roboto-Slab-Regular.woff +0 -0
- snappy/doc/_static/css/fonts/Roboto-Slab-Regular.woff2 +0 -0
- snappy/doc/_static/css/fonts/fontawesome-webfont.eot +0 -0
- snappy/doc/_static/css/fonts/fontawesome-webfont.svg +2671 -0
- snappy/doc/_static/css/fonts/fontawesome-webfont.ttf +0 -0
- snappy/doc/_static/css/fonts/fontawesome-webfont.woff +0 -0
- snappy/doc/_static/css/fonts/fontawesome-webfont.woff2 +0 -0
- snappy/doc/_static/css/fonts/lato-bold-italic.woff +0 -0
- snappy/doc/_static/css/fonts/lato-bold-italic.woff2 +0 -0
- snappy/doc/_static/css/fonts/lato-bold.woff +0 -0
- snappy/doc/_static/css/fonts/lato-bold.woff2 +0 -0
- snappy/doc/_static/css/fonts/lato-normal-italic.woff +0 -0
- snappy/doc/_static/css/fonts/lato-normal-italic.woff2 +0 -0
- snappy/doc/_static/css/fonts/lato-normal.woff +0 -0
- snappy/doc/_static/css/fonts/lato-normal.woff2 +0 -0
- snappy/doc/_static/css/theme.css +4 -0
- snappy/doc/_static/doctools.js +156 -0
- snappy/doc/_static/documentation_options.js +13 -0
- snappy/doc/_static/file.png +0 -0
- snappy/doc/_static/fonts/Lato/lato-bold.eot +0 -0
- snappy/doc/_static/fonts/Lato/lato-bold.ttf +0 -0
- snappy/doc/_static/fonts/Lato/lato-bold.woff +0 -0
- snappy/doc/_static/fonts/Lato/lato-bold.woff2 +0 -0
- snappy/doc/_static/fonts/Lato/lato-bolditalic.eot +0 -0
- snappy/doc/_static/fonts/Lato/lato-bolditalic.ttf +0 -0
- snappy/doc/_static/fonts/Lato/lato-bolditalic.woff +0 -0
- snappy/doc/_static/fonts/Lato/lato-bolditalic.woff2 +0 -0
- snappy/doc/_static/fonts/Lato/lato-italic.eot +0 -0
- snappy/doc/_static/fonts/Lato/lato-italic.ttf +0 -0
- snappy/doc/_static/fonts/Lato/lato-italic.woff +0 -0
- snappy/doc/_static/fonts/Lato/lato-italic.woff2 +0 -0
- snappy/doc/_static/fonts/Lato/lato-regular.eot +0 -0
- snappy/doc/_static/fonts/Lato/lato-regular.ttf +0 -0
- snappy/doc/_static/fonts/Lato/lato-regular.woff +0 -0
- snappy/doc/_static/fonts/Lato/lato-regular.woff2 +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.eot +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.ttf +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff2 +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.eot +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.ttf +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff +0 -0
- snappy/doc/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff2 +0 -0
- snappy/doc/_static/jquery.js +2 -0
- snappy/doc/_static/js/badge_only.js +1 -0
- snappy/doc/_static/js/theme.js +1 -0
- snappy/doc/_static/js/versions.js +228 -0
- snappy/doc/_static/language_data.js +199 -0
- snappy/doc/_static/minus.png +0 -0
- snappy/doc/_static/plus.png +0 -0
- snappy/doc/_static/pygments.css +75 -0
- snappy/doc/_static/searchtools.js +620 -0
- snappy/doc/_static/snappy_furo.css +33 -0
- snappy/doc/_static/snappy_sphinx_rtd_theme.css +42 -0
- snappy/doc/_static/sphinx_highlight.js +154 -0
- snappy/doc/additional_classes.html +1500 -0
- snappy/doc/bugs.html +132 -0
- snappy/doc/censuses.html +427 -0
- snappy/doc/credits.html +181 -0
- snappy/doc/development.html +384 -0
- snappy/doc/genindex.html +1331 -0
- snappy/doc/index.html +262 -0
- snappy/doc/installing.html +346 -0
- snappy/doc/manifold.html +3452 -0
- snappy/doc/manifoldhp.html +180 -0
- snappy/doc/news.html +388 -0
- snappy/doc/objects.inv +0 -0
- snappy/doc/other.html +161 -0
- snappy/doc/platonic_census.html +375 -0
- snappy/doc/plink.html +210 -0
- snappy/doc/ptolemy.html +254 -0
- snappy/doc/ptolemy_classes.html +1144 -0
- snappy/doc/ptolemy_examples1.html +409 -0
- snappy/doc/ptolemy_examples2.html +471 -0
- snappy/doc/ptolemy_examples3.html +414 -0
- snappy/doc/ptolemy_examples4.html +195 -0
- snappy/doc/ptolemy_prelim.html +248 -0
- snappy/doc/py-modindex.html +165 -0
- snappy/doc/screenshots.html +141 -0
- snappy/doc/search.html +135 -0
- snappy/doc/searchindex.js +1 -0
- snappy/doc/snap.html +202 -0
- snappy/doc/snappy.html +181 -0
- snappy/doc/spherogram.html +1211 -0
- snappy/doc/todo.html +166 -0
- snappy/doc/triangulation.html +1584 -0
- snappy/doc/tutorial.html +159 -0
- snappy/doc/verify.html +330 -0
- snappy/doc/verify_internals.html +1235 -0
- snappy/drilling/__init__.py +456 -0
- snappy/drilling/barycentric.py +103 -0
- snappy/drilling/constants.py +5 -0
- snappy/drilling/crush.py +270 -0
- snappy/drilling/cusps.py +125 -0
- snappy/drilling/debug.py +242 -0
- snappy/drilling/epsilons.py +6 -0
- snappy/drilling/exceptions.py +55 -0
- snappy/drilling/moves.py +620 -0
- snappy/drilling/peripheral_curves.py +210 -0
- snappy/drilling/perturb.py +188 -0
- snappy/drilling/shorten.py +36 -0
- snappy/drilling/subdivide.py +274 -0
- snappy/drilling/test.py +23 -0
- snappy/drilling/test_cases.py +126 -0
- snappy/drilling/tracing.py +351 -0
- snappy/exceptions.py +26 -0
- snappy/export_stl.py +120 -0
- snappy/exterior_to_link/__init__.py +2 -0
- snappy/exterior_to_link/barycentric_geometry.py +463 -0
- snappy/exterior_to_link/exceptions.py +6 -0
- snappy/exterior_to_link/geodesic_map.json +14408 -0
- snappy/exterior_to_link/hyp_utils.py +112 -0
- snappy/exterior_to_link/link_projection.py +323 -0
- snappy/exterior_to_link/main.py +197 -0
- snappy/exterior_to_link/mcomplex_with_expansion.py +261 -0
- snappy/exterior_to_link/mcomplex_with_link.py +687 -0
- snappy/exterior_to_link/mcomplex_with_memory.py +162 -0
- snappy/exterior_to_link/pl_utils.py +491 -0
- snappy/exterior_to_link/put_in_S3.py +156 -0
- snappy/exterior_to_link/rational_linear_algebra.py +123 -0
- snappy/exterior_to_link/rational_linear_algebra_wrapped.py +135 -0
- snappy/exterior_to_link/simplify_to_base_tri.py +114 -0
- snappy/exterior_to_link/stored_moves.py +475 -0
- snappy/exterior_to_link/test.py +31 -0
- snappy/filedialog.py +28 -0
- snappy/geometric_structure/__init__.py +212 -0
- snappy/geometric_structure/cusp_neighborhood/__init__.py +3 -0
- snappy/geometric_structure/cusp_neighborhood/complex_cusp_cross_section.py +697 -0
- snappy/geometric_structure/cusp_neighborhood/cusp_cross_section_base.py +484 -0
- snappy/geometric_structure/cusp_neighborhood/exceptions.py +42 -0
- snappy/geometric_structure/cusp_neighborhood/real_cusp_cross_section.py +298 -0
- snappy/geometric_structure/cusp_neighborhood/tiles_for_cusp_neighborhood.py +159 -0
- snappy/geometric_structure/cusp_neighborhood/vertices.py +32 -0
- snappy/geometric_structure/geodesic/__init__.py +0 -0
- snappy/geometric_structure/geodesic/add_core_curves.py +152 -0
- snappy/geometric_structure/geodesic/avoid_core_curves.py +369 -0
- snappy/geometric_structure/geodesic/canonical_keys.py +52 -0
- snappy/geometric_structure/geodesic/check_away_from_core_curve.py +60 -0
- snappy/geometric_structure/geodesic/constants.py +6 -0
- snappy/geometric_structure/geodesic/exceptions.py +22 -0
- snappy/geometric_structure/geodesic/fixed_points.py +93 -0
- snappy/geometric_structure/geodesic/geodesic_start_point_info.py +435 -0
- snappy/geometric_structure/geodesic/graph_trace_helper.py +67 -0
- snappy/geometric_structure/geodesic/line.py +30 -0
- snappy/geometric_structure/geodesic/multiplicity.py +127 -0
- snappy/geometric_structure/geodesic/tiles_for_geodesic.py +101 -0
- snappy/geometric_structure/test.py +22 -0
- snappy/gui.py +121 -0
- snappy/horoviewer.py +443 -0
- snappy/hyperboloid/__init__.py +212 -0
- snappy/hyperboloid/distances.py +245 -0
- snappy/hyperboloid/horoball.py +19 -0
- snappy/hyperboloid/line.py +35 -0
- snappy/hyperboloid/point.py +9 -0
- snappy/hyperboloid/triangle.py +29 -0
- snappy/info_icon.gif +0 -0
- snappy/infowindow.py +65 -0
- snappy/isometry_signature.py +382 -0
- snappy/len_spec/__init__.py +596 -0
- snappy/len_spec/geodesic_info.py +110 -0
- snappy/len_spec/geodesic_key_info_dict.py +117 -0
- snappy/len_spec/geodesic_piece.py +143 -0
- snappy/len_spec/geometric_structure.py +182 -0
- snappy/len_spec/geometry.py +80 -0
- snappy/len_spec/length_spectrum_geodesic_info.py +170 -0
- snappy/len_spec/spine.py +206 -0
- snappy/len_spec/test.py +24 -0
- snappy/len_spec/test_cases.py +69 -0
- snappy/len_spec/tile.py +275 -0
- snappy/len_spec/word.py +86 -0
- snappy/manifolds/HTWKnots/alternating.gz +0 -0
- snappy/manifolds/HTWKnots/nonalternating.gz +0 -0
- snappy/manifolds/__init__.py +3 -0
- snappy/math_basics.py +176 -0
- snappy/matrix.py +525 -0
- snappy/number.py +657 -0
- snappy/numeric_output_checker.py +345 -0
- snappy/pari.py +41 -0
- snappy/phone_home.py +57 -0
- snappy/polyviewer.py +259 -0
- snappy/ptolemy/__init__.py +17 -0
- snappy/ptolemy/component.py +103 -0
- snappy/ptolemy/coordinates.py +2290 -0
- snappy/ptolemy/fieldExtensions.py +153 -0
- snappy/ptolemy/findLoops.py +473 -0
- snappy/ptolemy/geometricRep.py +59 -0
- snappy/ptolemy/homology.py +165 -0
- snappy/ptolemy/magma/default.magma_template +229 -0
- snappy/ptolemy/magma/radicalsOfPrimaryDecomposition.magma_template +79 -0
- snappy/ptolemy/manifoldMethods.py +395 -0
- snappy/ptolemy/matrix.py +350 -0
- snappy/ptolemy/numericalSolutionsToGroebnerBasis.py +113 -0
- snappy/ptolemy/polynomial.py +857 -0
- snappy/ptolemy/processComponents.py +173 -0
- snappy/ptolemy/processFileBase.py +247 -0
- snappy/ptolemy/processFileDispatch.py +46 -0
- snappy/ptolemy/processMagmaFile.py +392 -0
- snappy/ptolemy/processRurFile.py +150 -0
- snappy/ptolemy/ptolemyGeneralizedObstructionClass.py +102 -0
- snappy/ptolemy/ptolemyObstructionClass.py +64 -0
- snappy/ptolemy/ptolemyVariety.py +1029 -0
- snappy/ptolemy/ptolemyVarietyPrimeIdealGroebnerBasis.py +140 -0
- snappy/ptolemy/reginaWrapper.py +698 -0
- snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c2.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c3.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c4.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c5.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c6.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files/DT_mcbbiceaibjklmdfgh__sl2_c7.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files_generalized/m003__sl3_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files_generalized/m003__sl3_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files_generalized/m015__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files_generalized/m015__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files_generalized/m015__sl3_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/regina_testing_files_generalized/m015__sl3_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/rur.py +545 -0
- snappy/ptolemy/solutionsToPrimeIdealGroebnerBasis.py +277 -0
- snappy/ptolemy/test.py +1126 -0
- snappy/ptolemy/testing_files/3_1__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/3_1__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/4_1__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/4_1__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/4_1__sl3_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/4_1__sl4_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/4_1__sl4_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/5_2__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/5_2__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c2.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c3.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c4.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c5.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c6.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/DT_mcbbiceaibjklmdfgh__sl2_c7.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/data/pgl2/OrientableCuspedCensus/03_tetrahedra/m019__sl2_c0.magma_out +95 -0
- snappy/ptolemy/testing_files/data/pgl2/OrientableCuspedCensus/03_tetrahedra/m019__sl2_c1.magma_out +95 -0
- snappy/ptolemy/testing_files/m015__sl3_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/m135__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/m135__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/m135__sl2_c2.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/m135__sl2_c3.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/m135__sl2_c4.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/m135__sl2_c5.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/m135__sl2_c6.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/m135__sl2_c7.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/s000__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/s000__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/t00000__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/t00000__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/v0000__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/v0000__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/v0000__sl2_c2.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files/v0000__sl2_c3.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files_generalized/m003__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files_generalized/m003__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files_generalized/m003__sl3_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files_generalized/m003__sl3_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files_generalized/m004__sl2_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files_generalized/m004__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files_generalized/m015__sl2_c1.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files_generalized/m015__sl3_c0.magma_out.bz2 +0 -0
- snappy/ptolemy/testing_files_rur/m052__sl3_c0.rur.bz2 +0 -0
- snappy/ptolemy/utilities.py +236 -0
- snappy/raytracing/__init__.py +64 -0
- snappy/raytracing/additional_horospheres.py +64 -0
- snappy/raytracing/additional_len_spec_choices.py +63 -0
- snappy/raytracing/cohomology_fractal.py +197 -0
- snappy/raytracing/eyeball.py +123 -0
- snappy/raytracing/finite_raytracing_data.py +237 -0
- snappy/raytracing/finite_viewer.py +590 -0
- snappy/raytracing/geodesic_tube_info.py +174 -0
- snappy/raytracing/geodesics.py +246 -0
- snappy/raytracing/geodesics_window.py +258 -0
- snappy/raytracing/gui_utilities.py +293 -0
- snappy/raytracing/hyperboloid_navigation.py +556 -0
- snappy/raytracing/hyperboloid_utilities.py +234 -0
- snappy/raytracing/ideal_raytracing_data.py +592 -0
- snappy/raytracing/inside_viewer.py +974 -0
- snappy/raytracing/pack.py +22 -0
- snappy/raytracing/raytracing_data.py +126 -0
- snappy/raytracing/raytracing_view.py +454 -0
- snappy/raytracing/shaders/Eye.png +0 -0
- snappy/raytracing/shaders/NonGeometric.png +0 -0
- snappy/raytracing/shaders/__init__.py +101 -0
- snappy/raytracing/shaders/fragment.glsl +1744 -0
- snappy/raytracing/test.py +29 -0
- snappy/raytracing/tooltip.py +146 -0
- snappy/raytracing/upper_halfspace_utilities.py +98 -0
- snappy/raytracing/view_scale_controller.py +98 -0
- snappy/raytracing/zoom_slider/__init__.py +263 -0
- snappy/raytracing/zoom_slider/inward.png +0 -0
- snappy/raytracing/zoom_slider/inward18.png +0 -0
- snappy/raytracing/zoom_slider/outward.png +0 -0
- snappy/raytracing/zoom_slider/outward18.png +0 -0
- snappy/raytracing/zoom_slider/test.py +20 -0
- snappy/sage_helper.py +117 -0
- snappy/settings.py +409 -0
- snappy/shell.py +53 -0
- snappy/snap/__init__.py +114 -0
- snappy/snap/character_varieties.py +375 -0
- snappy/snap/find_field.py +372 -0
- snappy/snap/fundamental_polyhedron.py +569 -0
- snappy/snap/generators.py +39 -0
- snappy/snap/interval_reps.py +81 -0
- snappy/snap/kernel_structures.py +128 -0
- snappy/snap/mcomplex_base.py +18 -0
- snappy/snap/nsagetools.py +702 -0
- snappy/snap/peripheral/__init__.py +1 -0
- snappy/snap/peripheral/dual_cellulation.py +219 -0
- snappy/snap/peripheral/link.py +127 -0
- snappy/snap/peripheral/peripheral.py +159 -0
- snappy/snap/peripheral/surface.py +522 -0
- snappy/snap/peripheral/test.py +35 -0
- snappy/snap/polished_reps.py +335 -0
- snappy/snap/shapes.py +152 -0
- snappy/snap/slice_obs_HKL.py +668 -0
- snappy/snap/t3mlite/__init__.py +2 -0
- snappy/snap/t3mlite/arrow.py +243 -0
- snappy/snap/t3mlite/corner.py +22 -0
- snappy/snap/t3mlite/edge.py +172 -0
- snappy/snap/t3mlite/face.py +37 -0
- snappy/snap/t3mlite/files.py +211 -0
- snappy/snap/t3mlite/homology.py +53 -0
- snappy/snap/t3mlite/linalg.py +419 -0
- snappy/snap/t3mlite/mcomplex.py +1499 -0
- snappy/snap/t3mlite/perm4.py +320 -0
- snappy/snap/t3mlite/setup.py +12 -0
- snappy/snap/t3mlite/simplex.py +199 -0
- snappy/snap/t3mlite/spun.py +297 -0
- snappy/snap/t3mlite/surface.py +519 -0
- snappy/snap/t3mlite/test.py +20 -0
- snappy/snap/t3mlite/test_vs_regina.py +86 -0
- snappy/snap/t3mlite/tetrahedron.py +109 -0
- snappy/snap/t3mlite/vertex.py +42 -0
- snappy/snap/test.py +134 -0
- snappy/snap/utilities.py +288 -0
- snappy/test.py +209 -0
- snappy/test_cases.py +263 -0
- snappy/testing.py +131 -0
- snappy/tiling/__init__.py +2 -0
- snappy/tiling/canonical_key_dict.py +59 -0
- snappy/tiling/dict_based_set.py +79 -0
- snappy/tiling/floor.py +49 -0
- snappy/tiling/hyperboloid_dict.py +54 -0
- snappy/tiling/iter_utils.py +78 -0
- snappy/tiling/lifted_tetrahedron.py +22 -0
- snappy/tiling/lifted_tetrahedron_set.py +54 -0
- snappy/tiling/real_hash_dict.py +164 -0
- snappy/tiling/test.py +23 -0
- snappy/tiling/tile.py +215 -0
- snappy/tiling/triangle.py +33 -0
- snappy/tkterminal.py +920 -0
- snappy/twister/__init__.py +20 -0
- snappy/twister/main.py +646 -0
- snappy/twister/surfaces/S_0_1 +3 -0
- snappy/twister/surfaces/S_0_2 +3 -0
- snappy/twister/surfaces/S_0_4 +7 -0
- snappy/twister/surfaces/S_0_4_Lantern +8 -0
- snappy/twister/surfaces/S_1 +3 -0
- snappy/twister/surfaces/S_1_1 +4 -0
- snappy/twister/surfaces/S_1_2 +5 -0
- snappy/twister/surfaces/S_1_2_5 +6 -0
- snappy/twister/surfaces/S_2 +6 -0
- snappy/twister/surfaces/S_2_1 +8 -0
- snappy/twister/surfaces/S_2_heeg +10 -0
- snappy/twister/surfaces/S_3 +8 -0
- snappy/twister/surfaces/S_3_1 +10 -0
- snappy/twister/surfaces/S_4_1 +12 -0
- snappy/twister/surfaces/S_5_1 +14 -0
- snappy/twister/surfaces/heeg_fig8 +9 -0
- snappy/twister/twister_core.cpython-310-darwin.so +0 -0
- snappy/upper_halfspace/__init__.py +146 -0
- snappy/upper_halfspace/ideal_point.py +26 -0
- snappy/verify/__init__.py +13 -0
- snappy/verify/canonical.py +542 -0
- snappy/verify/complex_volume/__init__.py +18 -0
- snappy/verify/complex_volume/adjust_torsion.py +86 -0
- snappy/verify/complex_volume/closed.py +168 -0
- snappy/verify/complex_volume/compute_ptolemys.py +90 -0
- snappy/verify/complex_volume/cusped.py +56 -0
- snappy/verify/complex_volume/extended_bloch.py +201 -0
- snappy/verify/cusp_translations.py +85 -0
- snappy/verify/edge_equations.py +80 -0
- snappy/verify/exceptions.py +254 -0
- snappy/verify/hyperbolicity.py +224 -0
- snappy/verify/interval_newton_shapes_engine.py +523 -0
- snappy/verify/interval_tree.py +400 -0
- snappy/verify/krawczyk_shapes_engine.py +518 -0
- snappy/verify/maximal_cusp_area_matrix/__init__.py +46 -0
- snappy/verify/maximal_cusp_area_matrix/cusp_tiling_engine.py +419 -0
- snappy/verify/maximal_cusp_area_matrix/cusp_translate_engine.py +153 -0
- snappy/verify/real_algebra.py +286 -0
- snappy/verify/shapes.py +25 -0
- snappy/verify/short_slopes.py +200 -0
- snappy/verify/square_extensions.py +1005 -0
- snappy/verify/test.py +78 -0
- snappy/verify/upper_halfspace/__init__.py +9 -0
- snappy/verify/upper_halfspace/extended_matrix.py +100 -0
- snappy/verify/upper_halfspace/finite_point.py +283 -0
- snappy/verify/upper_halfspace/ideal_point.py +426 -0
- snappy/verify/volume.py +128 -0
- snappy/version.py +2 -0
- snappy-3.2.dist-info/METADATA +58 -0
- snappy-3.2.dist-info/RECORD +503 -0
- snappy-3.2.dist-info/WHEEL +5 -0
- snappy-3.2.dist-info/entry_points.txt +2 -0
- snappy-3.2.dist-info/top_level.txt +28 -0
@@ -0,0 +1,925 @@
|
|
1
|
+
/*
|
2
|
+
* basic.css
|
3
|
+
* ~~~~~~~~~
|
4
|
+
*
|
5
|
+
* Sphinx stylesheet -- basic theme.
|
6
|
+
*
|
7
|
+
* :copyright: Copyright 2007-2024 by the Sphinx team, see AUTHORS.
|
8
|
+
* :license: BSD, see LICENSE for details.
|
9
|
+
*
|
10
|
+
*/
|
11
|
+
|
12
|
+
/* -- main layout ----------------------------------------------------------- */
|
13
|
+
|
14
|
+
div.clearer {
|
15
|
+
clear: both;
|
16
|
+
}
|
17
|
+
|
18
|
+
div.section::after {
|
19
|
+
display: block;
|
20
|
+
content: '';
|
21
|
+
clear: left;
|
22
|
+
}
|
23
|
+
|
24
|
+
/* -- relbar ---------------------------------------------------------------- */
|
25
|
+
|
26
|
+
div.related {
|
27
|
+
width: 100%;
|
28
|
+
font-size: 90%;
|
29
|
+
}
|
30
|
+
|
31
|
+
div.related h3 {
|
32
|
+
display: none;
|
33
|
+
}
|
34
|
+
|
35
|
+
div.related ul {
|
36
|
+
margin: 0;
|
37
|
+
padding: 0 0 0 10px;
|
38
|
+
list-style: none;
|
39
|
+
}
|
40
|
+
|
41
|
+
div.related li {
|
42
|
+
display: inline;
|
43
|
+
}
|
44
|
+
|
45
|
+
div.related li.right {
|
46
|
+
float: right;
|
47
|
+
margin-right: 5px;
|
48
|
+
}
|
49
|
+
|
50
|
+
/* -- sidebar --------------------------------------------------------------- */
|
51
|
+
|
52
|
+
div.sphinxsidebarwrapper {
|
53
|
+
padding: 10px 5px 0 10px;
|
54
|
+
}
|
55
|
+
|
56
|
+
div.sphinxsidebar {
|
57
|
+
float: left;
|
58
|
+
width: 230px;
|
59
|
+
margin-left: -100%;
|
60
|
+
font-size: 90%;
|
61
|
+
word-wrap: break-word;
|
62
|
+
overflow-wrap : break-word;
|
63
|
+
}
|
64
|
+
|
65
|
+
div.sphinxsidebar ul {
|
66
|
+
list-style: none;
|
67
|
+
}
|
68
|
+
|
69
|
+
div.sphinxsidebar ul ul,
|
70
|
+
div.sphinxsidebar ul.want-points {
|
71
|
+
margin-left: 20px;
|
72
|
+
list-style: square;
|
73
|
+
}
|
74
|
+
|
75
|
+
div.sphinxsidebar ul ul {
|
76
|
+
margin-top: 0;
|
77
|
+
margin-bottom: 0;
|
78
|
+
}
|
79
|
+
|
80
|
+
div.sphinxsidebar form {
|
81
|
+
margin-top: 10px;
|
82
|
+
}
|
83
|
+
|
84
|
+
div.sphinxsidebar input {
|
85
|
+
border: 1px solid #98dbcc;
|
86
|
+
font-family: sans-serif;
|
87
|
+
font-size: 1em;
|
88
|
+
}
|
89
|
+
|
90
|
+
div.sphinxsidebar #searchbox form.search {
|
91
|
+
overflow: hidden;
|
92
|
+
}
|
93
|
+
|
94
|
+
div.sphinxsidebar #searchbox input[type="text"] {
|
95
|
+
float: left;
|
96
|
+
width: 80%;
|
97
|
+
padding: 0.25em;
|
98
|
+
box-sizing: border-box;
|
99
|
+
}
|
100
|
+
|
101
|
+
div.sphinxsidebar #searchbox input[type="submit"] {
|
102
|
+
float: left;
|
103
|
+
width: 20%;
|
104
|
+
border-left: none;
|
105
|
+
padding: 0.25em;
|
106
|
+
box-sizing: border-box;
|
107
|
+
}
|
108
|
+
|
109
|
+
|
110
|
+
img {
|
111
|
+
border: 0;
|
112
|
+
max-width: 100%;
|
113
|
+
}
|
114
|
+
|
115
|
+
/* -- search page ----------------------------------------------------------- */
|
116
|
+
|
117
|
+
ul.search {
|
118
|
+
margin: 10px 0 0 20px;
|
119
|
+
padding: 0;
|
120
|
+
}
|
121
|
+
|
122
|
+
ul.search li {
|
123
|
+
padding: 5px 0 5px 20px;
|
124
|
+
background-image: url(file.png);
|
125
|
+
background-repeat: no-repeat;
|
126
|
+
background-position: 0 7px;
|
127
|
+
}
|
128
|
+
|
129
|
+
ul.search li a {
|
130
|
+
font-weight: bold;
|
131
|
+
}
|
132
|
+
|
133
|
+
ul.search li p.context {
|
134
|
+
color: #888;
|
135
|
+
margin: 2px 0 0 30px;
|
136
|
+
text-align: left;
|
137
|
+
}
|
138
|
+
|
139
|
+
ul.keywordmatches li.goodmatch a {
|
140
|
+
font-weight: bold;
|
141
|
+
}
|
142
|
+
|
143
|
+
/* -- index page ------------------------------------------------------------ */
|
144
|
+
|
145
|
+
table.contentstable {
|
146
|
+
width: 90%;
|
147
|
+
margin-left: auto;
|
148
|
+
margin-right: auto;
|
149
|
+
}
|
150
|
+
|
151
|
+
table.contentstable p.biglink {
|
152
|
+
line-height: 150%;
|
153
|
+
}
|
154
|
+
|
155
|
+
a.biglink {
|
156
|
+
font-size: 1.3em;
|
157
|
+
}
|
158
|
+
|
159
|
+
span.linkdescr {
|
160
|
+
font-style: italic;
|
161
|
+
padding-top: 5px;
|
162
|
+
font-size: 90%;
|
163
|
+
}
|
164
|
+
|
165
|
+
/* -- general index --------------------------------------------------------- */
|
166
|
+
|
167
|
+
table.indextable {
|
168
|
+
width: 100%;
|
169
|
+
}
|
170
|
+
|
171
|
+
table.indextable td {
|
172
|
+
text-align: left;
|
173
|
+
vertical-align: top;
|
174
|
+
}
|
175
|
+
|
176
|
+
table.indextable ul {
|
177
|
+
margin-top: 0;
|
178
|
+
margin-bottom: 0;
|
179
|
+
list-style-type: none;
|
180
|
+
}
|
181
|
+
|
182
|
+
table.indextable > tbody > tr > td > ul {
|
183
|
+
padding-left: 0em;
|
184
|
+
}
|
185
|
+
|
186
|
+
table.indextable tr.pcap {
|
187
|
+
height: 10px;
|
188
|
+
}
|
189
|
+
|
190
|
+
table.indextable tr.cap {
|
191
|
+
margin-top: 10px;
|
192
|
+
background-color: #f2f2f2;
|
193
|
+
}
|
194
|
+
|
195
|
+
img.toggler {
|
196
|
+
margin-right: 3px;
|
197
|
+
margin-top: 3px;
|
198
|
+
cursor: pointer;
|
199
|
+
}
|
200
|
+
|
201
|
+
div.modindex-jumpbox {
|
202
|
+
border-top: 1px solid #ddd;
|
203
|
+
border-bottom: 1px solid #ddd;
|
204
|
+
margin: 1em 0 1em 0;
|
205
|
+
padding: 0.4em;
|
206
|
+
}
|
207
|
+
|
208
|
+
div.genindex-jumpbox {
|
209
|
+
border-top: 1px solid #ddd;
|
210
|
+
border-bottom: 1px solid #ddd;
|
211
|
+
margin: 1em 0 1em 0;
|
212
|
+
padding: 0.4em;
|
213
|
+
}
|
214
|
+
|
215
|
+
/* -- domain module index --------------------------------------------------- */
|
216
|
+
|
217
|
+
table.modindextable td {
|
218
|
+
padding: 2px;
|
219
|
+
border-collapse: collapse;
|
220
|
+
}
|
221
|
+
|
222
|
+
/* -- general body styles --------------------------------------------------- */
|
223
|
+
|
224
|
+
div.body {
|
225
|
+
min-width: 360px;
|
226
|
+
max-width: 800px;
|
227
|
+
}
|
228
|
+
|
229
|
+
div.body p, div.body dd, div.body li, div.body blockquote {
|
230
|
+
-moz-hyphens: auto;
|
231
|
+
-ms-hyphens: auto;
|
232
|
+
-webkit-hyphens: auto;
|
233
|
+
hyphens: auto;
|
234
|
+
}
|
235
|
+
|
236
|
+
a.headerlink {
|
237
|
+
visibility: hidden;
|
238
|
+
}
|
239
|
+
|
240
|
+
a:visited {
|
241
|
+
color: #551A8B;
|
242
|
+
}
|
243
|
+
|
244
|
+
h1:hover > a.headerlink,
|
245
|
+
h2:hover > a.headerlink,
|
246
|
+
h3:hover > a.headerlink,
|
247
|
+
h4:hover > a.headerlink,
|
248
|
+
h5:hover > a.headerlink,
|
249
|
+
h6:hover > a.headerlink,
|
250
|
+
dt:hover > a.headerlink,
|
251
|
+
caption:hover > a.headerlink,
|
252
|
+
p.caption:hover > a.headerlink,
|
253
|
+
div.code-block-caption:hover > a.headerlink {
|
254
|
+
visibility: visible;
|
255
|
+
}
|
256
|
+
|
257
|
+
div.body p.caption {
|
258
|
+
text-align: inherit;
|
259
|
+
}
|
260
|
+
|
261
|
+
div.body td {
|
262
|
+
text-align: left;
|
263
|
+
}
|
264
|
+
|
265
|
+
.first {
|
266
|
+
margin-top: 0 !important;
|
267
|
+
}
|
268
|
+
|
269
|
+
p.rubric {
|
270
|
+
margin-top: 30px;
|
271
|
+
font-weight: bold;
|
272
|
+
}
|
273
|
+
|
274
|
+
img.align-left, figure.align-left, .figure.align-left, object.align-left {
|
275
|
+
clear: left;
|
276
|
+
float: left;
|
277
|
+
margin-right: 1em;
|
278
|
+
}
|
279
|
+
|
280
|
+
img.align-right, figure.align-right, .figure.align-right, object.align-right {
|
281
|
+
clear: right;
|
282
|
+
float: right;
|
283
|
+
margin-left: 1em;
|
284
|
+
}
|
285
|
+
|
286
|
+
img.align-center, figure.align-center, .figure.align-center, object.align-center {
|
287
|
+
display: block;
|
288
|
+
margin-left: auto;
|
289
|
+
margin-right: auto;
|
290
|
+
}
|
291
|
+
|
292
|
+
img.align-default, figure.align-default, .figure.align-default {
|
293
|
+
display: block;
|
294
|
+
margin-left: auto;
|
295
|
+
margin-right: auto;
|
296
|
+
}
|
297
|
+
|
298
|
+
.align-left {
|
299
|
+
text-align: left;
|
300
|
+
}
|
301
|
+
|
302
|
+
.align-center {
|
303
|
+
text-align: center;
|
304
|
+
}
|
305
|
+
|
306
|
+
.align-default {
|
307
|
+
text-align: center;
|
308
|
+
}
|
309
|
+
|
310
|
+
.align-right {
|
311
|
+
text-align: right;
|
312
|
+
}
|
313
|
+
|
314
|
+
/* -- sidebars -------------------------------------------------------------- */
|
315
|
+
|
316
|
+
div.sidebar,
|
317
|
+
aside.sidebar {
|
318
|
+
margin: 0 0 0.5em 1em;
|
319
|
+
border: 1px solid #ddb;
|
320
|
+
padding: 7px;
|
321
|
+
background-color: #ffe;
|
322
|
+
width: 40%;
|
323
|
+
float: right;
|
324
|
+
clear: right;
|
325
|
+
overflow-x: auto;
|
326
|
+
}
|
327
|
+
|
328
|
+
p.sidebar-title {
|
329
|
+
font-weight: bold;
|
330
|
+
}
|
331
|
+
|
332
|
+
nav.contents,
|
333
|
+
aside.topic,
|
334
|
+
div.admonition, div.topic, blockquote {
|
335
|
+
clear: left;
|
336
|
+
}
|
337
|
+
|
338
|
+
/* -- topics ---------------------------------------------------------------- */
|
339
|
+
|
340
|
+
nav.contents,
|
341
|
+
aside.topic,
|
342
|
+
div.topic {
|
343
|
+
border: 1px solid #ccc;
|
344
|
+
padding: 7px;
|
345
|
+
margin: 10px 0 10px 0;
|
346
|
+
}
|
347
|
+
|
348
|
+
p.topic-title {
|
349
|
+
font-size: 1.1em;
|
350
|
+
font-weight: bold;
|
351
|
+
margin-top: 10px;
|
352
|
+
}
|
353
|
+
|
354
|
+
/* -- admonitions ----------------------------------------------------------- */
|
355
|
+
|
356
|
+
div.admonition {
|
357
|
+
margin-top: 10px;
|
358
|
+
margin-bottom: 10px;
|
359
|
+
padding: 7px;
|
360
|
+
}
|
361
|
+
|
362
|
+
div.admonition dt {
|
363
|
+
font-weight: bold;
|
364
|
+
}
|
365
|
+
|
366
|
+
p.admonition-title {
|
367
|
+
margin: 0px 10px 5px 0px;
|
368
|
+
font-weight: bold;
|
369
|
+
}
|
370
|
+
|
371
|
+
div.body p.centered {
|
372
|
+
text-align: center;
|
373
|
+
margin-top: 25px;
|
374
|
+
}
|
375
|
+
|
376
|
+
/* -- content of sidebars/topics/admonitions -------------------------------- */
|
377
|
+
|
378
|
+
div.sidebar > :last-child,
|
379
|
+
aside.sidebar > :last-child,
|
380
|
+
nav.contents > :last-child,
|
381
|
+
aside.topic > :last-child,
|
382
|
+
div.topic > :last-child,
|
383
|
+
div.admonition > :last-child {
|
384
|
+
margin-bottom: 0;
|
385
|
+
}
|
386
|
+
|
387
|
+
div.sidebar::after,
|
388
|
+
aside.sidebar::after,
|
389
|
+
nav.contents::after,
|
390
|
+
aside.topic::after,
|
391
|
+
div.topic::after,
|
392
|
+
div.admonition::after,
|
393
|
+
blockquote::after {
|
394
|
+
display: block;
|
395
|
+
content: '';
|
396
|
+
clear: both;
|
397
|
+
}
|
398
|
+
|
399
|
+
/* -- tables ---------------------------------------------------------------- */
|
400
|
+
|
401
|
+
table.docutils {
|
402
|
+
margin-top: 10px;
|
403
|
+
margin-bottom: 10px;
|
404
|
+
border: 0;
|
405
|
+
border-collapse: collapse;
|
406
|
+
}
|
407
|
+
|
408
|
+
table.align-center {
|
409
|
+
margin-left: auto;
|
410
|
+
margin-right: auto;
|
411
|
+
}
|
412
|
+
|
413
|
+
table.align-default {
|
414
|
+
margin-left: auto;
|
415
|
+
margin-right: auto;
|
416
|
+
}
|
417
|
+
|
418
|
+
table caption span.caption-number {
|
419
|
+
font-style: italic;
|
420
|
+
}
|
421
|
+
|
422
|
+
table caption span.caption-text {
|
423
|
+
}
|
424
|
+
|
425
|
+
table.docutils td, table.docutils th {
|
426
|
+
padding: 1px 8px 1px 5px;
|
427
|
+
border-top: 0;
|
428
|
+
border-left: 0;
|
429
|
+
border-right: 0;
|
430
|
+
border-bottom: 1px solid #aaa;
|
431
|
+
}
|
432
|
+
|
433
|
+
th {
|
434
|
+
text-align: left;
|
435
|
+
padding-right: 5px;
|
436
|
+
}
|
437
|
+
|
438
|
+
table.citation {
|
439
|
+
border-left: solid 1px gray;
|
440
|
+
margin-left: 1px;
|
441
|
+
}
|
442
|
+
|
443
|
+
table.citation td {
|
444
|
+
border-bottom: none;
|
445
|
+
}
|
446
|
+
|
447
|
+
th > :first-child,
|
448
|
+
td > :first-child {
|
449
|
+
margin-top: 0px;
|
450
|
+
}
|
451
|
+
|
452
|
+
th > :last-child,
|
453
|
+
td > :last-child {
|
454
|
+
margin-bottom: 0px;
|
455
|
+
}
|
456
|
+
|
457
|
+
/* -- figures --------------------------------------------------------------- */
|
458
|
+
|
459
|
+
div.figure, figure {
|
460
|
+
margin: 0.5em;
|
461
|
+
padding: 0.5em;
|
462
|
+
}
|
463
|
+
|
464
|
+
div.figure p.caption, figcaption {
|
465
|
+
padding: 0.3em;
|
466
|
+
}
|
467
|
+
|
468
|
+
div.figure p.caption span.caption-number,
|
469
|
+
figcaption span.caption-number {
|
470
|
+
font-style: italic;
|
471
|
+
}
|
472
|
+
|
473
|
+
div.figure p.caption span.caption-text,
|
474
|
+
figcaption span.caption-text {
|
475
|
+
}
|
476
|
+
|
477
|
+
/* -- field list styles ----------------------------------------------------- */
|
478
|
+
|
479
|
+
table.field-list td, table.field-list th {
|
480
|
+
border: 0 !important;
|
481
|
+
}
|
482
|
+
|
483
|
+
.field-list ul {
|
484
|
+
margin: 0;
|
485
|
+
padding-left: 1em;
|
486
|
+
}
|
487
|
+
|
488
|
+
.field-list p {
|
489
|
+
margin: 0;
|
490
|
+
}
|
491
|
+
|
492
|
+
.field-name {
|
493
|
+
-moz-hyphens: manual;
|
494
|
+
-ms-hyphens: manual;
|
495
|
+
-webkit-hyphens: manual;
|
496
|
+
hyphens: manual;
|
497
|
+
}
|
498
|
+
|
499
|
+
/* -- hlist styles ---------------------------------------------------------- */
|
500
|
+
|
501
|
+
table.hlist {
|
502
|
+
margin: 1em 0;
|
503
|
+
}
|
504
|
+
|
505
|
+
table.hlist td {
|
506
|
+
vertical-align: top;
|
507
|
+
}
|
508
|
+
|
509
|
+
/* -- object description styles --------------------------------------------- */
|
510
|
+
|
511
|
+
.sig {
|
512
|
+
font-family: 'Consolas', 'Menlo', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', monospace;
|
513
|
+
}
|
514
|
+
|
515
|
+
.sig-name, code.descname {
|
516
|
+
background-color: transparent;
|
517
|
+
font-weight: bold;
|
518
|
+
}
|
519
|
+
|
520
|
+
.sig-name {
|
521
|
+
font-size: 1.1em;
|
522
|
+
}
|
523
|
+
|
524
|
+
code.descname {
|
525
|
+
font-size: 1.2em;
|
526
|
+
}
|
527
|
+
|
528
|
+
.sig-prename, code.descclassname {
|
529
|
+
background-color: transparent;
|
530
|
+
}
|
531
|
+
|
532
|
+
.optional {
|
533
|
+
font-size: 1.3em;
|
534
|
+
}
|
535
|
+
|
536
|
+
.sig-paren {
|
537
|
+
font-size: larger;
|
538
|
+
}
|
539
|
+
|
540
|
+
.sig-param.n {
|
541
|
+
font-style: italic;
|
542
|
+
}
|
543
|
+
|
544
|
+
/* C++ specific styling */
|
545
|
+
|
546
|
+
.sig-inline.c-texpr,
|
547
|
+
.sig-inline.cpp-texpr {
|
548
|
+
font-family: unset;
|
549
|
+
}
|
550
|
+
|
551
|
+
.sig.c .k, .sig.c .kt,
|
552
|
+
.sig.cpp .k, .sig.cpp .kt {
|
553
|
+
color: #0033B3;
|
554
|
+
}
|
555
|
+
|
556
|
+
.sig.c .m,
|
557
|
+
.sig.cpp .m {
|
558
|
+
color: #1750EB;
|
559
|
+
}
|
560
|
+
|
561
|
+
.sig.c .s, .sig.c .sc,
|
562
|
+
.sig.cpp .s, .sig.cpp .sc {
|
563
|
+
color: #067D17;
|
564
|
+
}
|
565
|
+
|
566
|
+
|
567
|
+
/* -- other body styles ----------------------------------------------------- */
|
568
|
+
|
569
|
+
ol.arabic {
|
570
|
+
list-style: decimal;
|
571
|
+
}
|
572
|
+
|
573
|
+
ol.loweralpha {
|
574
|
+
list-style: lower-alpha;
|
575
|
+
}
|
576
|
+
|
577
|
+
ol.upperalpha {
|
578
|
+
list-style: upper-alpha;
|
579
|
+
}
|
580
|
+
|
581
|
+
ol.lowerroman {
|
582
|
+
list-style: lower-roman;
|
583
|
+
}
|
584
|
+
|
585
|
+
ol.upperroman {
|
586
|
+
list-style: upper-roman;
|
587
|
+
}
|
588
|
+
|
589
|
+
:not(li) > ol > li:first-child > :first-child,
|
590
|
+
:not(li) > ul > li:first-child > :first-child {
|
591
|
+
margin-top: 0px;
|
592
|
+
}
|
593
|
+
|
594
|
+
:not(li) > ol > li:last-child > :last-child,
|
595
|
+
:not(li) > ul > li:last-child > :last-child {
|
596
|
+
margin-bottom: 0px;
|
597
|
+
}
|
598
|
+
|
599
|
+
ol.simple ol p,
|
600
|
+
ol.simple ul p,
|
601
|
+
ul.simple ol p,
|
602
|
+
ul.simple ul p {
|
603
|
+
margin-top: 0;
|
604
|
+
}
|
605
|
+
|
606
|
+
ol.simple > li:not(:first-child) > p,
|
607
|
+
ul.simple > li:not(:first-child) > p {
|
608
|
+
margin-top: 0;
|
609
|
+
}
|
610
|
+
|
611
|
+
ol.simple p,
|
612
|
+
ul.simple p {
|
613
|
+
margin-bottom: 0;
|
614
|
+
}
|
615
|
+
|
616
|
+
aside.footnote > span,
|
617
|
+
div.citation > span {
|
618
|
+
float: left;
|
619
|
+
}
|
620
|
+
aside.footnote > span:last-of-type,
|
621
|
+
div.citation > span:last-of-type {
|
622
|
+
padding-right: 0.5em;
|
623
|
+
}
|
624
|
+
aside.footnote > p {
|
625
|
+
margin-left: 2em;
|
626
|
+
}
|
627
|
+
div.citation > p {
|
628
|
+
margin-left: 4em;
|
629
|
+
}
|
630
|
+
aside.footnote > p:last-of-type,
|
631
|
+
div.citation > p:last-of-type {
|
632
|
+
margin-bottom: 0em;
|
633
|
+
}
|
634
|
+
aside.footnote > p:last-of-type:after,
|
635
|
+
div.citation > p:last-of-type:after {
|
636
|
+
content: "";
|
637
|
+
clear: both;
|
638
|
+
}
|
639
|
+
|
640
|
+
dl.field-list {
|
641
|
+
display: grid;
|
642
|
+
grid-template-columns: fit-content(30%) auto;
|
643
|
+
}
|
644
|
+
|
645
|
+
dl.field-list > dt {
|
646
|
+
font-weight: bold;
|
647
|
+
word-break: break-word;
|
648
|
+
padding-left: 0.5em;
|
649
|
+
padding-right: 5px;
|
650
|
+
}
|
651
|
+
|
652
|
+
dl.field-list > dd {
|
653
|
+
padding-left: 0.5em;
|
654
|
+
margin-top: 0em;
|
655
|
+
margin-left: 0em;
|
656
|
+
margin-bottom: 0em;
|
657
|
+
}
|
658
|
+
|
659
|
+
dl {
|
660
|
+
margin-bottom: 15px;
|
661
|
+
}
|
662
|
+
|
663
|
+
dd > :first-child {
|
664
|
+
margin-top: 0px;
|
665
|
+
}
|
666
|
+
|
667
|
+
dd ul, dd table {
|
668
|
+
margin-bottom: 10px;
|
669
|
+
}
|
670
|
+
|
671
|
+
dd {
|
672
|
+
margin-top: 3px;
|
673
|
+
margin-bottom: 10px;
|
674
|
+
margin-left: 30px;
|
675
|
+
}
|
676
|
+
|
677
|
+
.sig dd {
|
678
|
+
margin-top: 0px;
|
679
|
+
margin-bottom: 0px;
|
680
|
+
}
|
681
|
+
|
682
|
+
.sig dl {
|
683
|
+
margin-top: 0px;
|
684
|
+
margin-bottom: 0px;
|
685
|
+
}
|
686
|
+
|
687
|
+
dl > dd:last-child,
|
688
|
+
dl > dd:last-child > :last-child {
|
689
|
+
margin-bottom: 0;
|
690
|
+
}
|
691
|
+
|
692
|
+
dt:target, span.highlighted {
|
693
|
+
background-color: #fbe54e;
|
694
|
+
}
|
695
|
+
|
696
|
+
rect.highlighted {
|
697
|
+
fill: #fbe54e;
|
698
|
+
}
|
699
|
+
|
700
|
+
dl.glossary dt {
|
701
|
+
font-weight: bold;
|
702
|
+
font-size: 1.1em;
|
703
|
+
}
|
704
|
+
|
705
|
+
.versionmodified {
|
706
|
+
font-style: italic;
|
707
|
+
}
|
708
|
+
|
709
|
+
.system-message {
|
710
|
+
background-color: #fda;
|
711
|
+
padding: 5px;
|
712
|
+
border: 3px solid red;
|
713
|
+
}
|
714
|
+
|
715
|
+
.footnote:target {
|
716
|
+
background-color: #ffa;
|
717
|
+
}
|
718
|
+
|
719
|
+
.line-block {
|
720
|
+
display: block;
|
721
|
+
margin-top: 1em;
|
722
|
+
margin-bottom: 1em;
|
723
|
+
}
|
724
|
+
|
725
|
+
.line-block .line-block {
|
726
|
+
margin-top: 0;
|
727
|
+
margin-bottom: 0;
|
728
|
+
margin-left: 1.5em;
|
729
|
+
}
|
730
|
+
|
731
|
+
.guilabel, .menuselection {
|
732
|
+
font-family: sans-serif;
|
733
|
+
}
|
734
|
+
|
735
|
+
.accelerator {
|
736
|
+
text-decoration: underline;
|
737
|
+
}
|
738
|
+
|
739
|
+
.classifier {
|
740
|
+
font-style: oblique;
|
741
|
+
}
|
742
|
+
|
743
|
+
.classifier:before {
|
744
|
+
font-style: normal;
|
745
|
+
margin: 0 0.5em;
|
746
|
+
content: ":";
|
747
|
+
display: inline-block;
|
748
|
+
}
|
749
|
+
|
750
|
+
abbr, acronym {
|
751
|
+
border-bottom: dotted 1px;
|
752
|
+
cursor: help;
|
753
|
+
}
|
754
|
+
|
755
|
+
.translated {
|
756
|
+
background-color: rgba(207, 255, 207, 0.2)
|
757
|
+
}
|
758
|
+
|
759
|
+
.untranslated {
|
760
|
+
background-color: rgba(255, 207, 207, 0.2)
|
761
|
+
}
|
762
|
+
|
763
|
+
/* -- code displays --------------------------------------------------------- */
|
764
|
+
|
765
|
+
pre {
|
766
|
+
overflow: auto;
|
767
|
+
overflow-y: hidden; /* fixes display issues on Chrome browsers */
|
768
|
+
}
|
769
|
+
|
770
|
+
pre, div[class*="highlight-"] {
|
771
|
+
clear: both;
|
772
|
+
}
|
773
|
+
|
774
|
+
span.pre {
|
775
|
+
-moz-hyphens: none;
|
776
|
+
-ms-hyphens: none;
|
777
|
+
-webkit-hyphens: none;
|
778
|
+
hyphens: none;
|
779
|
+
white-space: nowrap;
|
780
|
+
}
|
781
|
+
|
782
|
+
div[class*="highlight-"] {
|
783
|
+
margin: 1em 0;
|
784
|
+
}
|
785
|
+
|
786
|
+
td.linenos pre {
|
787
|
+
border: 0;
|
788
|
+
background-color: transparent;
|
789
|
+
color: #aaa;
|
790
|
+
}
|
791
|
+
|
792
|
+
table.highlighttable {
|
793
|
+
display: block;
|
794
|
+
}
|
795
|
+
|
796
|
+
table.highlighttable tbody {
|
797
|
+
display: block;
|
798
|
+
}
|
799
|
+
|
800
|
+
table.highlighttable tr {
|
801
|
+
display: flex;
|
802
|
+
}
|
803
|
+
|
804
|
+
table.highlighttable td {
|
805
|
+
margin: 0;
|
806
|
+
padding: 0;
|
807
|
+
}
|
808
|
+
|
809
|
+
table.highlighttable td.linenos {
|
810
|
+
padding-right: 0.5em;
|
811
|
+
}
|
812
|
+
|
813
|
+
table.highlighttable td.code {
|
814
|
+
flex: 1;
|
815
|
+
overflow: hidden;
|
816
|
+
}
|
817
|
+
|
818
|
+
.highlight .hll {
|
819
|
+
display: block;
|
820
|
+
}
|
821
|
+
|
822
|
+
div.highlight pre,
|
823
|
+
table.highlighttable pre {
|
824
|
+
margin: 0;
|
825
|
+
}
|
826
|
+
|
827
|
+
div.code-block-caption + div {
|
828
|
+
margin-top: 0;
|
829
|
+
}
|
830
|
+
|
831
|
+
div.code-block-caption {
|
832
|
+
margin-top: 1em;
|
833
|
+
padding: 2px 5px;
|
834
|
+
font-size: small;
|
835
|
+
}
|
836
|
+
|
837
|
+
div.code-block-caption code {
|
838
|
+
background-color: transparent;
|
839
|
+
}
|
840
|
+
|
841
|
+
table.highlighttable td.linenos,
|
842
|
+
span.linenos,
|
843
|
+
div.highlight span.gp { /* gp: Generic.Prompt */
|
844
|
+
user-select: none;
|
845
|
+
-webkit-user-select: text; /* Safari fallback only */
|
846
|
+
-webkit-user-select: none; /* Chrome/Safari */
|
847
|
+
-moz-user-select: none; /* Firefox */
|
848
|
+
-ms-user-select: none; /* IE10+ */
|
849
|
+
}
|
850
|
+
|
851
|
+
div.code-block-caption span.caption-number {
|
852
|
+
padding: 0.1em 0.3em;
|
853
|
+
font-style: italic;
|
854
|
+
}
|
855
|
+
|
856
|
+
div.code-block-caption span.caption-text {
|
857
|
+
}
|
858
|
+
|
859
|
+
div.literal-block-wrapper {
|
860
|
+
margin: 1em 0;
|
861
|
+
}
|
862
|
+
|
863
|
+
code.xref, a code {
|
864
|
+
background-color: transparent;
|
865
|
+
font-weight: bold;
|
866
|
+
}
|
867
|
+
|
868
|
+
h1 code, h2 code, h3 code, h4 code, h5 code, h6 code {
|
869
|
+
background-color: transparent;
|
870
|
+
}
|
871
|
+
|
872
|
+
.viewcode-link {
|
873
|
+
float: right;
|
874
|
+
}
|
875
|
+
|
876
|
+
.viewcode-back {
|
877
|
+
float: right;
|
878
|
+
font-family: sans-serif;
|
879
|
+
}
|
880
|
+
|
881
|
+
div.viewcode-block:target {
|
882
|
+
margin: -1px -10px;
|
883
|
+
padding: 0 10px;
|
884
|
+
}
|
885
|
+
|
886
|
+
/* -- math display ---------------------------------------------------------- */
|
887
|
+
|
888
|
+
img.math {
|
889
|
+
vertical-align: middle;
|
890
|
+
}
|
891
|
+
|
892
|
+
div.body div.math p {
|
893
|
+
text-align: center;
|
894
|
+
}
|
895
|
+
|
896
|
+
span.eqno {
|
897
|
+
float: right;
|
898
|
+
}
|
899
|
+
|
900
|
+
span.eqno a.headerlink {
|
901
|
+
position: absolute;
|
902
|
+
z-index: 1;
|
903
|
+
}
|
904
|
+
|
905
|
+
div.math:hover a.headerlink {
|
906
|
+
visibility: visible;
|
907
|
+
}
|
908
|
+
|
909
|
+
/* -- printout stylesheet --------------------------------------------------- */
|
910
|
+
|
911
|
+
@media print {
|
912
|
+
div.document,
|
913
|
+
div.documentwrapper,
|
914
|
+
div.bodywrapper {
|
915
|
+
margin: 0 !important;
|
916
|
+
width: 100%;
|
917
|
+
}
|
918
|
+
|
919
|
+
div.sphinxsidebar,
|
920
|
+
div.related,
|
921
|
+
div.footer,
|
922
|
+
#top-link {
|
923
|
+
display: none;
|
924
|
+
}
|
925
|
+
}
|