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

snappy/doc/_sources/news.rst.txt

@@ -4,9 +4,113 @@
 News
 ====
 
+
+* Version 3.2 (January 2025):
+
+  - An alternative implementation of the length spectrum. It supports verified
+    computations and is significantly faster in some cases. See
+    :meth:`length_spectrum_alt <snappy.Manifold.length_spectrum_alt>`
+    and
+    :meth:`length_spectrum_alt_gen <snappy.Manifold.length_spectrum_alt_gen>`.
+
+  - :meth:`isometry_signature <snappy.Manifold.isometry_signature>` now also
+    works for closed manifolds.
+
+  - A paper plane or eye ball in the
+    :meth:`inside_view <snappy.Manifold.inside_view>` showing the position
+    and bearing of the user in the hyperbolic manifold. By default, we now show
+    the paper plane instead of the edges of the triangulation so that the view
+    is intrinsic to the manifold. The geodesics window now also features a
+    button to put the camera onto a geodesic. Here are some examples:
+
+    .. list-table::
+       :width: 100%
+       :class: borderless
+
+       * - .. image:: images/o9_00000_systole_paper_plane.jpg
+              :width: 90%
+              :align: center
+              :alt: Paper plane near shortest geodesic of o9_00000
+         - .. image:: images/o9_00000_systole_paper_plane_closer.jpg
+              :width: 90%
+              :align: center
+              :alt: Paper plane very near shortest geodesic of o9_00000
+         - .. image:: images/m004_paper_plane_on_systole.jpg
+              :width: 90%
+              :align: center
+              :alt: Paper plane on shortest geodesic of m004
+         - .. image:: images/m125_paper_plane.jpg
+              :width: 90%
+              :align: center
+              :alt: Paper plane coming out of a cusp of m125
+
+  - A faster and more robust algorithm to the compute maximal cusp area matrix.
+    The new algorithm is now the default for
+    :meth:`~snappy.Manifold.cusp_area_matrix`,
+    :meth:`~snappy.Manifold.cusp_areas`,
+    :meth:`~snappy.Manifold.short_slopes` and
+    :meth:`~snappy.Manifold.cusp_translations`.
+
+  - New options ``ignore_curves`` and ``ignore_filling_orientations``
+    for :meth:`~snappy.Triangulation.triangulation_isosig`. Also
+    fixing a subtle bug where the filling coefficients returned by
+    :meth:`triangulation_isosig <snappy.Triangulation.triangulation_isosig>` were
+    not canonical when ``ignore_curve_orientations = True``.
+
+  - :meth:`~snappy.Manifold.canonical_retriangulation`
+    and
+    :meth:`~snappy.Manifold.isometry_signature` fail with
+    exceptions rather than silently returning ``None``. In particular, it now
+    safe to compare isometry signatures (without further checks) to determine
+    whether M and N are isometric hyperbolic manifolds::
+
+        >>> M.isometry_signature(verified=True) == N.isometry_signature(verified=True)
+
+  - Bug fix to :meth:`slice_obstruction_HKL
+    <snappy.Manifold.slice_obstruction_HKL>`: earlier versions
+    incorrectly allowed looking at mod 2 homology of the branched
+    cover, where the theory does not directly apply.
+
+  - New self-contained SnapPy application for Linux. 
+  
+  - Support for Python 3.13 and SageMath 10.5.
+
+
+* Versions 3.1 (May 2023) and 3.1.1 (June 2023):
+
+  - A method :meth:`exterior_to_link <snappy.Manifold.exterior_to_link>`
+    for going from a link exterior to a link diagram taken from
+    `Dunfield-Obeidin-Rudd <https://arxiv.org/abs/2112.03251>`_.
+
+  - Covers now computed by the stand-alone `low_index
+    <https://pypi.org/project/low-index/>`_ module, which uses
+    multiple processor cores and is typically much faster than the old
+    code.  In some cases, it is dramatically faster than even GAP or
+    Magma.
+
+  - Added geodesics to the :meth:`inside_view
+    <snappy.Manifold.inside_view>`.
+
+  - Added drilling any simple geodesic with :meth:`drill_word
+    <snappy.Manifold.drill_word>` and :meth:`drill_words
+    <snappy.Manifold.drill_words>`, not just those that are
+    :meth:`combinatorially simple <snappy.Manifold.dual_curves>`.
+
+  - Added `ignore_orientation` flag to :meth:`triangulation_isosig
+    <snappy.Triangulation.triangulation_isosig>`.
+
+  - Added `include_words` flag to :meth:`length_spectrum
+    <snappy.Manifold.length_spectrum>` for getting the word
+    corresponding to a geodesic which can be given to
+    :meth:`drill_word <snappy.Manifold.drill_word>`.
+
+  - Support for Python 3.11 and SageMath 10.0.
+
+  - Modernized styling of the documentation.
+
 * Version 3.0.3 (December 2021):
 
-  - Runs natively on Macs with Apple Silicon processors (M1, M1 Pro, M1 Max).
+  - Runs natively on Macs with Apple Silicon processors (M1, M2, and variants).
 
 * Version 3.0.2 (November 2021):
 
@@ -47,7 +151,7 @@ News
 
 * Version 2.8 (June 2020): New features include:
 
-  - Raytraced interior views of a hyperbolic 3-manifold via the 
+  - Raytraced interior views of a hyperbolic 3-manifold via the
     :meth:`inside_view <snappy.Manifold.inside_view>` method, see also
     `images <https://im.icerm.brown.edu/portfolio/snappy-views/>`_ and
     `demo video <https://youtu.be/CAERhmUCkRs>`_.
@@ -57,13 +161,13 @@ News
     * Complex volume (and thus the Chern-Simons invariant) for both
       cusped and closed manifolds, see
       :meth:`complex_volume <snappy.Manifold.complex_volume>`.
-      
+
     * Disjoint cusp neighborhoods by the method :meth:`cusp_areas
       <snappy.Manifold.cusp_areas>` which uses
       :meth:`cusp_area_matrix <snappy.Manifold.cusp_area_matrix>`.
 
     * Cusp shapes (see :meth:`cusp_info <snappy.Manifold.cusp_info>`).
-      
+
     * Finding all :meth:`short_slopes <snappy.Manifold.short_slopes>`
       in disjoint embedded cusp neighborhoods.
 
@@ -95,7 +199,7 @@ News
   - GUI improvements, especially on macOS. These include improved
     support for dark mode and tabs on macOS Mojave and preliminary
     support for macOS Catalina.
-    
+
 * Version 2.6.1 (August 2018): New features include:
 
   - Support for SageMath 8.3, Python 3.7, and macOS Mojave.
@@ -105,7 +209,7 @@ News
     Contributed by Jean-Philippe Burelle, based on `this paper
     <https://arxiv.org/abs/1703.08241>`_.
 
-  - Many bug fixes. 
+  - Many bug fixes.
 
 * Version 2.6 (Nov 2017): New features include:
 
@@ -122,23 +226,23 @@ News
   - STL export of Dirichlet domains for 3D printing, contributed by
     Jose Sanchez.
 
-  - Support for Python 3, SageMath 7.5, 7.6, and 8.0, and many more 
+  - Support for Python 3, SageMath 7.5, 7.6, and 8.0, and many more
     versions of Python on Windows.
 
   - Much improved infrastructure for testing and distributing SnapPy.
 
 * Version 2.4 (May 2016): New features include:
 
-  - Added `census of Platonic manifolds <platonic_census.html>`_. 
+  - Added `census of Platonic manifolds <platonic_census.html>`_.
+
+  - Rigorous computation of `cusp translations <manifold.html#snappy.Manifold.cusp_translations>`_.
 
-  - Rigorous computation of `cusp translations <manifold.html#snappy.Manifold.cusp_translations>`_.  
-  
   - Added decorations to `triangulation isomorphism signatures
     <manifold.html#snappy.Manifold.triangulation_isosig>`_ for
     encoding peripheral curves.
-    
+
   - Faster verification of non-tetrahedral canonical cell decompositions.
-  
+
   - Improvements to the `link and planar diagram component
     <spherogram.html>`_, mostly contributed by Malik Obeidin, include:
 
@@ -153,9 +257,9 @@ News
     * Conversion to/from `SageMath links and braids
       <spherogram.html#spherogram.Link.sage_link>`_.
 
-    * Many under-the-hood improvements.  
-    
-  - New Windows installer. 
+    * Many under-the-hood improvements.
+
+  - New Windows installer.
 
 * Version 2.3 (March 2015):  New features include:
 
@@ -169,9 +273,9 @@ News
   - New extra features when used inside of Sage:
 
     * HIKMOT-style `rigorous verification of hyperbolic structures
-      <verify.html>`_, 
-      contributed by Matthias Goerner.  
-      
+      <verify.html>`_,
+      contributed by Matthias Goerner.
+
     * Many `basic knot/link invariants
       <spherogram.html#the-link-class>`_, contributed by Robert
       Lipschitz and Jennet Dickinson.
@@ -179,19 +283,19 @@ News
     * Sage-specific functions are now more easily accessible as
       methods of Manifold and better documented.
 
-    * Improved number field recognition, thanks to Matthias.  
-      
+    * Improved number field recognition, thanks to Matthias.
+
   - Better compatibility with OS X Yosemite and Windows 8.1.
 
   - Development changes:
 
-    * Major source code reorganization/cleanup.  
+    * Major source code reorganization/cleanup.
 
     * Source code repository moved to `Bitbucket
       <https://bitbucket.org/t3m>`_.
 
     * Python modules now hosted on `PyPI
-      <https://pypi.python.org/pypi>`_, simplifying `installation <installing.html>`_.  
+      <https://pypi.python.org/pypi>`_, simplifying `installation <installing.html>`_.
 
 * Version 2.2 (June 2014): Includes Ben Burton's `census of
   orientable cusped manifolds with 9 tetrahedra. <http://arxiv.org/abs/1405.2695>`_
@@ -204,24 +308,24 @@ News
 * Version 2.0 (September 2013): Many new features, including:
 
   - A `manifold browser <manifold.html#snappy.Manifold.browse>`_
-    window for easily examining a particular manifold.  
+    window for easily examining a particular manifold.
 
   - Many improvements to the `link editor <plink.html#using-snappy-s-link-editor>`_, including
 
     * A smoothed view mode with image export to EPS/PDF/SVG/TikZ.
 
     * Producing a fully editable link from combinatorial data like a DT
-      code. 
- 
+      code.
+
   - `Splitting manifolds <manifold.html#snappy.Manifold.split>`_ along surfaces of non-negative euler
-    characteristic. 
+    characteristic.
 
   - Generalizing the ptolemy obstruction class to allow computation of
     PGL(3,C)-representations and improving usability of the `ptolemy module
-    <http://www.unhyperbolic.org/ptolemy.html>`_.	     
+    <http://www.unhyperbolic.org/ptolemy.html>`_.
 
   - `CensusKnots <censuses.html#snappy.CensusKnots>`_ now includes
-    knot exteriors with 8 tetrahedra.  
+    knot exteriors with 8 tetrahedra.
 
 * Version 1.8 (May 2013) improves handling of DT codes and adds the
   `HTLinkExteriors <censuses.html#snappy.HTLinkExteriors>`_ census,
@@ -229,13 +333,13 @@ News
 
 * Version 1.7 (November 2012) incorporates the `ptolemy module
   <http://www.unhyperbolic.org/ptolemy.html>`_ for studying
-  representations of 3-manifold groups into pSL(*N*, **C**).  
+  representations of 3-manifold groups into pSL(*N*, **C**).
 
 * Version 1.6 (August 2012) includes a `new way to make links
-  <spherogram.html>`_ and some support for `arbitrary precision calculation <snap.html>`_.  
+  <spherogram.html>`_ and some support for `arbitrary precision calculation <snap.html>`_.
 
 * Version 1.5 (February 2012) includes `much improved manifold
-  censuses <censuses.html>`_.  
+  censuses <censuses.html>`_.
 
 * Version 1.4 (December 2011) uses the current release of IPython, which has been completely rewritten.
 
@@ -248,4 +352,4 @@ News
 
 * Version 1.1 (February 2010).
 
-* Version 1.0 (August 2009) Initial version. 
+* Version 1.0 (August 2009) Initial version.

snappy/doc/_sources/ptolemy.rst.txt

@@ -32,7 +32,7 @@ Examples of what the Ptolemy module can do:
 * Compute the matrices for these representations :ref:`exactly <ptolemy-example-matrices>` or :ref:`numerically <ptolemy-example-numerical-matrix>` given a generator of or word in the fundamental group.
 * Compute the :ref:`traces <ptolemy-example-traces>` for these matrices.
 * Compute the :ref:`trace field <ptolemy-examples-trace-field>` of the representation.
-* Compute the :ref:`boundary holonomoy <ptolemy-example-boundary-holonomy>`.
+* Compute the :ref:`boundary holonomy <ptolemy-example-boundary-holonomy>`.
 * Compute the corresponding :ref:`shape parameters/cross ratios <ptolemy-example-cross-ratios>` for a representation.
 * Compute the :ref:`volume <ptolemy-example-volume>` and :ref:`complex volume <ptolemy-example-complex-volume>` (volume + i Chern-Simons) for a representation.
 * Compute solutions to the Ptolemy varieties :ref:`using magma or sage <ptolemy-example-using-magma-sage>`.

snappy/doc/_sources/ptolemy_examples1.rst.txt

@@ -146,7 +146,7 @@ Compute the matrices for a representation
 
 **Remark:** Requires SnapPy 2.3 or later.
 
-Given a solution as above, we can take a word in the fundamental group and get its image under the representation using ``evaluate_word``. Here, we do it for the two generators::
+Given a solution as above, we can take a word in the fundamental group and get its image under the representation using :py:meth:`~snappy.ptolemy.coordinates.PtolemyCoordinates.evaluate_word`. Here, we do it for the two generators::
 
     >>> M = Manifold("m003")
     >>> sol = M.ptolemy_variety(2).retrieve_solutions()[0]
@@ -156,16 +156,17 @@ Given a solution as above, we can take a word in the fundamental group and get i
     [[Mod(x, x^2 - x - 1), Mod(x, x^2 - x - 1)],
     [Mod(-x, x^2 - x - 1), Mod(-1, x^2 - x - 1)]]
 
-By default, this word is with respect to the presentation of the fundamental group that SnapPy computes when given no further arguments. Thus, we expect the identity matrix when we evaluate a relator (for PSL(*N*, **C**) the diagonal element will be an *N*-th root of unity)::
+By default, this word is with respect to the unsimplified presentation of the fundamental group. Thus, we expect the identity matrix when we evaluate a relator (for PSL(*N*, **C**) the diagonal element will be an *N*-th root of unity)::
 
-    >>> M.fundamental_group()
+    >>> M.fundamental_group(simplify_presentation=False)
     Generators:
-       a,b
+       a,b,c
     Relators:
-       abAAbabbb
-    >>> sol.evaluate_word('abAAbabbb')
+       BCaC
+       AbCbA
+    >>> sol.evaluate_word('BCaC')
     [[Mod(1, x^2 - x - 1), 0], [0, Mod(1, x^2 - x - 1)]]
-    
+
 We revisit computing the matrices :ref:`here <ptolemy-detailed-example-matrices>` to explain how to use a different presentation of the fundamental group.
 
 **Remark:** The matrices are currently returned as a list of list of pari ``POLMOD`` objects. In the future, the ptolemy module should return the matrices as sage matrices over a `sage NumberField <http://doc.sagemath.org/html/en/reference/number_fields/sage/rings/number_field/number_field.html>`_.
@@ -268,7 +269,7 @@ Here is python code to iterate over all obstruction classes:
 
     >>> for p in Manifold("m003").ptolemy_variety(2,'all'):
     ...     sols = p.retrieve_solutions(verbose=False)
-    ...     print sols.volume_numerical()
+    ...     print(sols.volume_numerical())
     [[0.E-19, 1.88267370443418 E-14]]
     [[2.02988321281931, -2.02988321281931]]    
 

snappy/doc/_sources/ptolemy_examples2.rst.txt

@@ -59,7 +59,7 @@ The list type described in the previous example works recursively. Recall that a
      >>> sol.volume_numerical()
      [0.E-19, 1.88267370443418 E-14]
 
-We can chain these commands together to retrieve the volumes of all boundary-unpotent PSL(2, **C**) (that are :ref:`generically decorated <ptolemy-generically-decorated>` with respect to the triangulation) in just one line::
+We can chain these commands together to retrieve the volumes of all boundary-unipotent PSL(2, **C**) (that are :ref:`generically decorated <ptolemy-generically-decorated>` with respect to the triangulation) in just one line::
 
     >>> Manifold("m003").ptolemy_variety(2,'all').retrieve_solutions(verbose=False).volume_numerical()
     [[[0.E-19, 1.88267370443418 E-14]], [[2.02988321281931, -2.02988321281931]]]
@@ -98,12 +98,12 @@ Note that one of the Ptolemy varieties is non-empty which proves that all edges
 Flattening nested structures
 ----------------------------
 
-If we want to loose some of the groupping, we can call ``flatten`` on the results. Here the grouping by obstruction class is lost::
+If we want to loose some of the grouping, we can call ``flatten`` on the results. Here the grouping by obstruction class is lost::
 
     >>> Manifold("m003").ptolemy_variety(2,'all').retrieve_solutions(verbose=False).volume_numerical().flatten()
     [[0.E-19, 1.88267370443418 E-14], [2.02988321281931, -2.02988321281931]]
 
-And now, the groupping by Galois conjugacy is lost as well, resulting in a flat list::
+And now, the grouping by Galois conjugacy is lost as well, resulting in a flat list::
 
     >>> Manifold("m003").ptolemy_variety(2,'all').retrieve_solutions(verbose=False).volume_numerical().flatten(2)
     [0.E-19, 1.88267370443418 E-14, 2.02988321281931, -2.02988321281931]

snappy/doc/_sources/ptolemy_examples3.rst.txt

@@ -101,7 +101,7 @@ And here the same example retrieving solutions from the database::
 Computing the matrices for a different presentation
 ---------------------------------------------------
 
-The ``fundamental_group`` method of a SnapPy triangulation can yield different presentations by supplying  optional arguments such as ``simplify_presentation`` and ``minimize_number_of_generators``. If we have a word in one of these presentations and want to evaluate its image under the representation, we need to supply the presentation as follows::
+The :py:meth:`~snappy.Triangulation.fundamental_group` method of a SnapPy triangulation can yield different presentations by supplying  optional arguments such as ``simplify_presentation`` and ``minimize_number_of_generators``. If we have a word in one of these presentations and want to evaluate its image under the representation, we need to supply the presentation as follows::
 
     >>> M=Manifold("m003")
     >>> sol = M.ptolemy_variety(2).retrieve_solutions()[0]
@@ -119,7 +119,7 @@ Again, we can check that the representation actually assigns the identity to all
     >>> sol.evaluate_word('AbCbA', G)
     [[Mod(1, x^2 - x - 1), 0], [0, Mod(1, x^2 - x - 1)]]
     >>> for relator in G.relators():
-    ...     print sol.evaluate_word(relator, G)
+    ...     print(sol.evaluate_word(relator, G))
     [[Mod(1, x^2 - x - 1), 0], [0, Mod(1, x^2 - x - 1)]]
     [[Mod(1, x^2 - x - 1), 0], [0, Mod(1, x^2 - x - 1)]]
   
@@ -129,15 +129,15 @@ Again, we can check that the representation actually assigns the identity to all
 Computing the images of the peripheral curves for a representation
 ------------------------------------------------------------------
 
-The object returned by ``fundamental_group`` also contains words for the peripheral curves of a manifold. We can compute the corresponding matrices::
+The object returned by :py:meth:`~snappy.Triangulation.fundamental_group` also contains words for the peripheral curves of a manifold. We can compute the corresponding matrices::
 
     >>> M = Manifold("m003")
     >>> G = M.fundamental_group()
     >>> sol = M.ptolemy_variety(2,1).retrieve_solutions()[0]
     >>> for i, cusp_curves in enumerate(G.peripheral_curves()):
-    ...     print "Cusp %d:" % i
+    ...     print("Cusp %d:" % i)
     ...     for cusp_curve in cusp_curves:
-    ...         print sol.evaluate_word(cusp_curve, G)
+    ...         print(sol.evaluate_word(cusp_curve, G))
     Cusp 0:
     [[Mod(2*x - 3, x^2 + x + 1), Mod(2*x, x^2 + x + 1)], [Mod(6, x^2 + x + 1), Mod(-2*x + 1, x^2 + x + 1)]]
     [[Mod(-2*x - 5, x^2 + x + 1), Mod(-2, x^2 + x + 1)], [Mod(6*x + 6, x^2 + x + 1), Mod(2*x + 3, x^2 + x + 1)]]    
@@ -179,10 +179,10 @@ We see that we have one such component and that each component is actually itsel
 We can access the witness point(s) for each component just by iteration::
 
     >>> for component in one_dim_sols:
-    ...     print "Component:"
+    ...     print("Component:")
     ...     for witness in component:
-    ...         print "    Witness:"
-    ...         print "        Volumes:", witness.volume_numerical()
+    ...         print("    Witness:")
+    ...         print("        Volumes:", witness.volume_numerical())
     Component:
         Witness:
             Volumes: [0.E-38, 0.E-38]
@@ -201,12 +201,12 @@ We now revisit the :ref:`1-dimensional component of the Ptolemy variety<ptolemy-
     >>> sols = M.ptolemy_variety(2,'all').retrieve_solutions().flatten()
     >>> components = [ sol for sol in sols if sol.dimension > 0]
     >>> for component in components:
-    ...     print "Component of dimension %d" % component.dimension
+    ...     print("Component of dimension %d" % component.dimension)
     ...     for witness in component:
     ...         for i, cusp_curves in enumerate(G.peripheral_curves()):
-    ...             print "    Cusp %d:" % i
+    ...             print("    Cusp %d:" % i)
     ...             for cusp_curve in cusp_curves:
-    ...                 print "        ", witness.evaluate_word(cusp_curve, G)
+    ...                 print("        ", witness.evaluate_word(cusp_curve, G))
     Component of dimension 1
         Cusp 0:
             [[Mod(1, x^2 + x + 2), 0], [0, Mod(1, x^2 + x + 2)]]
@@ -221,12 +221,12 @@ Let us try another manifold, ``m410``:
     >>> sols = M.ptolemy_variety(2,'all').retrieve_solutions().flatten()
     >>> components = [ sol for sol in sols if sol.dimension > 0]
     >>> for component in components:
-    ...     print "Component of dimension %d" % component.dimension
+    ...     print("Component of dimension %d" % component.dimension)
     ...     for witness in component:
     ...         for i, cusp_curves in enumerate(G.peripheral_curves()):
-    ...             print "    Cusp %d:" % i
+    ...             print("    Cusp %d:" % i)
     ...             for cusp_curve in cusp_curves:
-    ...                 print "       ", witness.evaluate_word(cusp_curve, G)
+    ...                 print("       ", witness.evaluate_word(cusp_curve, G))
     Component of dimension 1
         Cusp 0:
             [[Mod(1, x^2 + 2), 0], [0, Mod(1, x^2 + 2)]]

snappy/doc/_sources/ptolemy_prelim.rst.txt

@@ -22,7 +22,7 @@ Boundary-unipotent
 
 We call a SL(*N*,  **C**)-representation *boundary-unipotent* if each peripheral subgroup is taken to
 a conjugate of the unipotent group *P* of upper unit-triangular matrices. Similarly, we call
-a PSL(*N*, **C**)-representation *boundary-unipotent* if each peripheral subrgroup is taken to a conjugate
+a PSL(*N*, **C**)-representation *boundary-unipotent* if each peripheral subgroup is taken to a conjugate
 of the unipotent group of PSL(*N*, **C**), i.e., the image of *P* under the projection SL(*N*, **C**)\ :math:`\rightarrow`\ PSL(*N*, **C**).
 
 Note that even when boundary-unipotent PSL(*N*, **C**)-representation can be lifted to an

snappy/doc/_sources/snap.rst.txt

@@ -2,7 +2,7 @@
 ..   automodule:: snappy.snap
    
 Number theory of hyperbolic 3-manifolds
-=============================================
+=======================================
 
 SnapPy has support for arbitrary-precision computation and for
 identifying number fields associated to hyperbolic 3-manifolds.  While
@@ -77,7 +77,7 @@ introspection::
   sage: M.hyperbolic_torsion?
   Definition: M.hyperbolic_torsion(M, bits_prec=100, all_lifts=False, wada_conventions=False, phi=None)
   Docstring:
-  Computes the hyperbolic torision polynomial as defined in [DFJ].
+  Computes the hyperbolic torsion polynomial as defined in [DFJ].
 
   >>> M = Manifold('K11n42')
   >>> M.alexander_polynomial()

snappy/doc/_sources/snappy.rst.txt

@@ -7,7 +7,7 @@ SnapPy is centered around a Python interface for SnapPea called
 "snappy", and this is what you're interacting with in the main "SnapPy
 command shell" window.  The main class is Manifold, which is an ideal
 triangulation of the interior of a compact 3-manifold with torus
-boundary, where each tetrahedron has has been assigned the geometry of
+boundary, where each tetrahedron has been assigned the geometry of
 an ideal tetrahedron in hyperbolic 3-space.  A Dehn-filling can be
 specified for each boundary component, allowing the description of
 closed 3-manifolds and some orbifolds.  The class Manifold is derived

snappy/doc/_sources/triangulation.rst.txt

@@ -3,8 +3,9 @@
 Triangulation
 =================
 
-The main snappy class, namely Manifold, is derived from more
-basic class below.  
+The main snappy class, namely Manifold, is derived from the more
+basic class below.
 
 ..   autoclass:: snappy.Triangulation
      :members:
+     :inherited-members: