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

snappy/doc/_sources/verify_canon.rst.txt

@@ -1,90 +0,0 @@
-Canonical retriangulation and isometry signature
---------------------------------------------------------
-
-The canonical retriangulation is a close relative to the canonical cell
-decomposition defined by `Epstein and Penner 
-<https://projecteuclid.org/euclid.jdg/1214441650>`_.
-Like the canonical cell decomposition, it is intrinsic to
-a hyperbolic manifold M and is (up to combinatorial isomorphism
-relabeling the tetrahedra and vertices) completely determined by the
-isometry type of a hyperbolic manifold. Unlike the canonical cell decomposition,
-the canonical retriangulation always conists entirely of tetrahedra which makes
-it more amenable for many computations by SnapPy.
-
-If the canonical cell decompositon of manifold M has only tetrahedral cells,
-we define the canonical retriangulation to be the canonical cell decomposition.
-In this case, the canonical retriangulation consists of ideal hyperbolic
-tetrahedra and the ``canonical_retriangulation`` method returns a
-SnapPy manifold. Example::
-
-   sage: M = Manifold("m015")
-   sage: K = M.canonical_retriangulation(verified = True)
-   sage: K.has_finite_vertices() # False iff all canonical cells tetrahedral
-   False
-
-If the canonical cell decomposition has non-tetrahedral cells, we turn it into
-a topological triangulation as follows: pick a point (called center) in each
-3-cell. "Suspend" each 2-cell (which is an ideal n-gon) between
-the centers of the two neighboring 3-cells. These suspensions form a
-decomposition of M into topological "diamonds". Each diamond can be split along
-its central axis into n tetrahedra. This introduces finite vertices, thus
-the ``verified_canonical_retriangulation`` method returns only a SnapPy
-triangulation. Example (canonical cell is a cube)::
- 
-   sage: M = Manifold("m412")
-   sage: K = M.canonical_retriangulation(verified = True)
-   sage: K.has_finite_vertices()
-   True
-
-The canonical retriangulation can be used to certifiably find all isometries
-of a manifold::
-  
-   sage: K.isomorphisms_to(K)
-   [0 -> 1  1 -> 0
-    [1 0]   [1 0] 
-    [0 1]   [0 1] 
-    Extends to link,
-    ...
-    Extends to link]
-   sage: len(K.isomorphisms_to(K))
-   8
-
-Recall that the *isomorphism
-signature* is a complete invariant of the combinatorial
-isomorphism type of a triangulation that was defined by `Burton
-<http://arxiv.org/abs/1110.6080>`_. We can compute the isomorphism signature
-of the canonical retriangulation::
-
-   sage: Manifold("m003").canonical_retriangulation(verified = True).triangulation_isosig()
-   'cPcbbbdxm'
-
-The resulting invariant was called *isometry signature* by
-`Goerner <http://arxiv.org/abs/1502.00383>`_ and, for convenience, can be
-accessed by::
-   
-   sage: Manifold("m003").isometry_signature(verified = True)
-   'cPcbbbdxm'
-
-It is a complete invariant of the isometry type of a hyperbolic manifold.
-Thus it can be used to easily identify isometric manifolds
-(here, the last two manifolds have the same isometry signature and thus
-have to be isomorphic)::
-
-   sage: Manifold("m003").isometry_signature(verified = True)
-   'cPcbbbdxm'
-   sage: Manifold("m004").isometry_signature(verified = True)
-   'cPcbbbiht'
-   sage: Manifold("4_1").isometry_signature(verified = True)
-   'cPcbbbiht'
-   sage: Manifold("m004").isometry_signature(verified = True) == Manifold("4_1").isometry_signature(verified = True)
-   True
-
-
-Other applications of the canonical retriangulation include the detection of
-2-bridge knots.
-
-========================================
-Verifiying the canonical retriangulation
-========================================
-
-..   autofunction:: snappy.verify.verified_canonical_retriangulation

snappy/doc/_static/classic.css

@@ -1,266 +0,0 @@
-/*
- * classic.css_t
- * ~~~~~~~~~~~~~
- *
- * Sphinx stylesheet -- classic theme.
- *
- * :copyright: Copyright 2007-2021 by the Sphinx team, see AUTHORS.
- * :license: BSD, see LICENSE for details.
- *
- */
-
-@import url("basic.css");
-
-/* -- page layout ----------------------------------------------------------- */
-
-html {
-    /* CSS hack for macOS's scrollbar (see #1125) */
-    background-color: #FFFFFF;
-}
-
-body {
-    font-family: sans-serif;
-    font-size: 100%;
-    background-color: #11303d;
-    color: #000;
-    margin: 0;
-    padding: 0;
-}
-
-div.document {
-    background-color: #1c4e63;
-}
-
-div.documentwrapper {
-    float: left;
-    width: 100%;
-}
-
-div.bodywrapper {
-    margin: 0 0 0 230px;
-}
-
-div.body {
-    background-color: #ffffff;
-    color: #000000;
-    padding: 0 20px 30px 20px;
-}
-
-div.footer {
-    color: #ffffff;
-    width: 100%;
-    padding: 9px 0 9px 0;
-    text-align: center;
-    font-size: 75%;
-}
-
-div.footer a {
-    color: #ffffff;
-    text-decoration: underline;
-}
-
-div.related {
-    background-color: #133f52;
-    line-height: 30px;
-    color: #ffffff;
-}
-
-div.related a {
-    color: #ffffff;
-}
-
-div.sphinxsidebar {
-}
-
-div.sphinxsidebar h3 {
-    font-family: 'Trebuchet MS', sans-serif;
-    color: #ffffff;
-    font-size: 1.4em;
-    font-weight: normal;
-    margin: 0;
-    padding: 0;
-}
-
-div.sphinxsidebar h3 a {
-    color: #ffffff;
-}
-
-div.sphinxsidebar h4 {
-    font-family: 'Trebuchet MS', sans-serif;
-    color: #ffffff;
-    font-size: 1.3em;
-    font-weight: normal;
-    margin: 5px 0 0 0;
-    padding: 0;
-}
-
-div.sphinxsidebar p {
-    color: #ffffff;
-}
-
-div.sphinxsidebar p.topless {
-    margin: 5px 10px 10px 10px;
-}
-
-div.sphinxsidebar ul {
-    margin: 10px;
-    padding: 0;
-    color: #ffffff;
-}
-
-div.sphinxsidebar a {
-    color: #98dbcc;
-}
-
-div.sphinxsidebar input {
-    border: 1px solid #98dbcc;
-    font-family: sans-serif;
-    font-size: 1em;
-}
-
-
-
-/* -- hyperlink styles ------------------------------------------------------ */
-
-a {
-    color: #355f7c;
-    text-decoration: none;
-}
-
-a:visited {
-    color: #355f7c;
-    text-decoration: none;
-}
-
-a:hover {
-    text-decoration: underline;
-}
-
-
-
-/* -- body styles ----------------------------------------------------------- */
-
-div.body h1,
-div.body h2,
-div.body h3,
-div.body h4,
-div.body h5,
-div.body h6 {
-    font-family: 'Trebuchet MS', sans-serif;
-    background-color: #f2f2f2;
-    font-weight: normal;
-    color: #20435c;
-    border-bottom: 1px solid #ccc;
-    margin: 20px -20px 10px -20px;
-    padding: 3px 0 3px 10px;
-}
-
-div.body h1 { margin-top: 0; font-size: 200%; }
-div.body h2 { font-size: 160%; }
-div.body h3 { font-size: 140%; }
-div.body h4 { font-size: 120%; }
-div.body h5 { font-size: 110%; }
-div.body h6 { font-size: 100%; }
-
-a.headerlink {
-    color: #c60f0f;
-    font-size: 0.8em;
-    padding: 0 4px 0 4px;
-    text-decoration: none;
-}
-
-a.headerlink:hover {
-    background-color: #c60f0f;
-    color: white;
-}
-
-div.body p, div.body dd, div.body li, div.body blockquote {
-    text-align: justify;
-    line-height: 130%;
-}
-
-div.admonition p.admonition-title + p {
-    display: inline;
-}
-
-div.admonition p {
-    margin-bottom: 5px;
-}
-
-div.admonition pre {
-    margin-bottom: 5px;
-}
-
-div.admonition ul, div.admonition ol {
-    margin-bottom: 5px;
-}
-
-div.note {
-    background-color: #eee;
-    border: 1px solid #ccc;
-}
-
-div.seealso {
-    background-color: #ffc;
-    border: 1px solid #ff6;
-}
-
-div.topic {
-    background-color: #eee;
-}
-
-div.warning {
-    background-color: #ffe4e4;
-    border: 1px solid #f66;
-}
-
-p.admonition-title {
-    display: inline;
-}
-
-p.admonition-title:after {
-    content: ":";
-}
-
-pre {
-    padding: 5px;
-    background-color: unset;
-    color: unset;
-    line-height: 120%;
-    border: 1px solid #ac9;
-    border-left: none;
-    border-right: none;
-}
-
-code {
-    background-color: #ecf0f3;
-    padding: 0 1px 0 1px;
-    font-size: 0.95em;
-}
-
-th, dl.field-list > dt {
-    background-color: #ede;
-}
-
-.warning code {
-    background: #efc2c2;
-}
-
-.note code {
-    background: #d6d6d6;
-}
-
-.viewcode-back {
-    font-family: sans-serif;
-}
-
-div.viewcode-block:target {
-    background-color: #f4debf;
-    border-top: 1px solid #ac9;
-    border-bottom: 1px solid #ac9;
-}
-
-div.code-block-caption {
-    color: #efefef;
-    background-color: #1c4e63;
-}