snappy 3.1.1__cp311-cp311-macosx_11_0_arm64.whl → 3.2__cp311-cp311-macosx_11_0_arm64.whl

snappy/polyviewer.py

@@ -23,7 +23,7 @@ class PolyhedronViewer(ttk.Frame):
         self.main_window = kwargs.get('main_window', None)
         self.topframe = topframe = ttk.Frame(self)
         self.bottomframe = bottomframe = ttk.Frame(self)
-        self.model_var = Tk_.StringVar(self, value='Klein')
+        self.model_var = Tk_.StringVar(self, value='Poincare')
         self.sphere_var = Tk_.IntVar(self, value=1)
         self.klein = ttk.Radiobutton(topframe, text='Klein',
                                      variable=self.model_var,
@@ -72,7 +72,7 @@ The slider controls zooming.  You will see inside the polyhedron if you zoom far
         cyglSetStandardLighting()
         self.polyhedron = HyperbolicPolyhedron(facedicts, self.model_var,
             self.sphere_var, togl_widget=self.widget)
-        widget.redraw_impl = self.polyhedron.draw
+        widget.draw_projection_impl = self.polyhedron.draw
         widget.autospin_allowed = 1
         widget.set_background(.2, .2, .2)
         widget.grid(row=0, column=0, sticky=Tk_.NSEW)
@@ -150,21 +150,21 @@ The slider controls zooming.  You will see inside the polyhedron if you zoom far
         pass
 
     def redraw(self):
-        self.widget.redraw_if_initialized()
+        self.widget.redraw()
 
     def reset(self):
         self.widget.autospin = 0
         self.widget.set_eyepoint(5.0)
         self.zoom.set(50)
-        self.widget.redraw_if_initialized()
+        self.widget.redraw()
 
     def set_zoom(self, x):
         t = (100.0-float(x))/100.0
         self.widget.distance = t*1.0 + (1-t)*8.0
-        self.widget.redraw_if_initialized()
+        self.widget.redraw()
 
     def new_model(self):
-        self.widget.redraw_if_initialized()
+        self.widget.redraw()
 
     def new_polyhedron(self, new_facedicts):
         self.empty = (len(new_facedicts) == 0)
@@ -175,8 +175,8 @@ The slider controls zooming.  You will see inside the polyhedron if you zoom far
             pass
         self.polyhedron = HyperbolicPolyhedron(new_facedicts, self.model_var,
             self.sphere_var, togl_widget=self.widget)
-        self.widget.redraw_impl = self.polyhedron.draw
-        self.widget.redraw_if_initialized()
+        self.widget.draw_projection_impl = self.polyhedron.draw
+        self.widget.redraw()
 
     def delete_resource(self):
         try:

snappy/ptolemy/__init__.py

@@ -14,4 +14,4 @@ _env = _os.environ.get('PTOLEMY_DATA_URL')
 if _env:
     DATA_URL = _env
 else:
-    DATA_URL = "http://ptolemy.unhyperbolic.org/"
+    DATA_URL = "https://ptolemy.unhyperbolic.org/"

snappy/ptolemy/component.py

@@ -14,7 +14,7 @@ class ZeroDimensionalComponent(Component):
 
     def __init__(self, l, p=None):
         self.dimension = 0
-        super(ZeroDimensionalComponent, self).__init__(l)
+        super().__init__(l)
 
 
 class NonZeroDimensionalComponent(Component):
@@ -36,7 +36,7 @@ class NonZeroDimensionalComponent(Component):
             self.dimension = dimension
             self.free_variables = free_variables
             self.genus = genus
-        super(NonZeroDimensionalComponent, self).__init__(witnesses)
+        super().__init__(witnesses)
 
     def _base_str_(self):
         if self.free_variables is None:

snappy/ptolemy/coordinates.py

@@ -212,7 +212,7 @@ class PtolemyCoordinates(dict):
         self._matrix_cache = []
         self._inverse_matrix_cache = []
 
-        super(PtolemyCoordinates, self).__init__(processed_dict)
+        super().__init__(processed_dict)
 
     def __repr__(self):
         dict_repr = dict.__repr__(self)
@@ -377,7 +377,7 @@ class PtolemyCoordinates(dict):
         Note that this is different from the convention used in
         Garoufalidis, Goerner, Zickert:
         Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
-        http://arxiv.org/abs/1207.6711
+        https://arxiv.org/abs/1207.6711
 
         Take an exact solution:
 
@@ -563,7 +563,7 @@ class PtolemyCoordinates(dict):
         See Definition 10.1:
         Garoufalidis, Goerner, Zickert:
         Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
-        http://arxiv.org/abs/1207.6711
+        https://arxiv.org/abs/1207.6711
         """
 
         # Integral points that are indices of Ptolemy coordinates
@@ -586,14 +586,14 @@ class PtolemyCoordinates(dict):
         # See Definition 9.23 of
         # Garoufalidis, Thurston, Zickert
         # The Complex Volume of SL(n,C)-Representations of 3-Manifolds
-        # http://arxiv.org/abs/1111.2828
-        face = list(set(range(4)) - set([v0, v1, v2]))[0]
+        # httpss://arxiv.org/abs/1111.2828
+        face = next(iter(set(range(4)) - {v0, v1, v2}))
         obstruction = self._get_obstruction_variable(face, tet)
 
         # The epsilon permutation sign from Definition 10.1 of
         # Garoufalidis, Goerner, Zickert:
         # Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
-        # http://arxiv.org/abs/1207.6711
+        # https://arxiv.org/abs/1207.6711
         s = PtolemyCoordinates._three_perm_sign(v0, v1, v2)
 
         # The equation from the same Definition
@@ -610,7 +610,7 @@ class PtolemyCoordinates(dict):
         See Definition 10.2:
         Garoufalidis, Goerner, Zickert:
         Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
-        http://arxiv.org/abs/1207.6711
+        https://arxiv.org/abs/1207.6711
 
         Note that this definition turned out to have the wrong sign. Multiply
         the result by -1 if v1 < v0 and N is even.
@@ -650,7 +650,7 @@ class PtolemyCoordinates(dict):
         double-truncated simplex) in Figure 18 of
         Garoufalidis, Goerner, Zickert:
         Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
-        http://arxiv.org/abs/1207.6711
+        https://arxiv.org/abs/1207.6711
 
         It is computed using equation 10.4. Note that the ratio coordinate
         is different from the definition in the paper (see ratio_coordinate).
@@ -694,7 +694,7 @@ class PtolemyCoordinates(dict):
         This matrix was labeled beta^{v0v1v2} in Figure 18 of
         Garoufalidis, Goerner, Zickert:
         Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
-        http://arxiv.org/abs/1207.6711
+        https://arxiv.org/abs/1207.6711
 
         It is computed using equation 10.4.
 
@@ -742,7 +742,7 @@ class PtolemyCoordinates(dict):
         See equation 10.4 in
         Garoufalidis, Goerner, Zickert:
         Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
-        http://arxiv.org/abs/1207.6711
+        https://arxiv.org/abs/1207.6711
         """
 
         # Key for the cache
@@ -983,7 +983,7 @@ class Flattenings(dict):
     For N = 2, the three triples belonging to a simplex form a combinatorial
     flattening (w0, w1, w2) as defined in Definition 3.1 in
     Walter D. Neumann, Extended Bloch group and the Cheeger-Chern-Simons class
-    http://arxiv.org/abs/math.GT/0307092
+    https://arxiv.org/abs/math.GT/0307092
 
     For N > 2, the three triples form a generalized combinatorial flattening
     (w0, w1, w2) that gives an element in the generalized Extended Bloch group
@@ -1009,7 +1009,7 @@ class Flattenings(dict):
     """
 
     def __init__(self, d, manifold_thunk=lambda : None, evenN=2):
-        super(Flattenings, self).__init__(d)
+        super().__init__(d)
         self._is_numerical = True
         self._manifold_thunk = manifold_thunk
         self.dimension = 0
@@ -1133,9 +1133,9 @@ class Flattenings(dict):
         Mcopy = M.copy()
 
         return Flattenings(
-            dict([ (k, (log + PiI * p, z, p))
+            {k: (log + PiI * p, z, p)
                    for k, log, z, p in zip(keys, log_all_cross_ratios,
-                                           all_cross_ratios, flattenings)]),
+                                           all_cross_ratios, flattenings)},
             manifold_thunk=lambda : Mcopy)
 
     def get_order(self):
@@ -1153,7 +1153,7 @@ class Flattenings(dict):
         in the generalized Extended Bloch group similar to the way the
         triple [z;p,q] is used in Lemma 3.2 in
         Walter D. Neumann, Extended Bloch group and the Cheeger-Chern-Simons class
-        http://arxiv.org/abs/math.GT/0307092
+        https://arxiv.org/abs/math.GT/0307092
         """
         if not key_z[:2] == 'z_':
             raise Exception("Need to be called with cross ratio variable z_....")
@@ -1294,11 +1294,11 @@ class CrossRatios(dict):
     Note that this is different from the convention used in
     Garoufalidis, Goerner, Zickert:
     Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
-    http://arxiv.org/abs/1207.6711
+    https://arxiv.org/abs/1207.6711
     """
 
     def __init__(self, d, is_numerical=True, manifold_thunk=None):
-        super(CrossRatios, self).__init__(d)
+        super().__init__(d)
         self._is_numerical = is_numerical
         self._manifold_thunk = manifold_thunk
 
@@ -1475,7 +1475,7 @@ class CrossRatios(dict):
 
         Garoufalidis, Goerner, Zickert:
         Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
-        http://arxiv.org/abs/1207.6711
+        https://arxiv.org/abs/1207.6711
         """
 
         postfix = '_%d%d%d%d' % tuple(pt) + '_%d' % tet
@@ -1499,7 +1499,7 @@ class CrossRatios(dict):
         See Definition 10.9:
         Garoufalidis, Goerner, Zickert:
         Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
-        http://arxiv.org/abs/1207.6711
+        https://arxiv.org/abs/1207.6711
         """
 
         result = 1
@@ -1530,7 +1530,7 @@ class CrossRatios(dict):
         This matrix was labeled alpha^{v0v1v2} in Figure 18 of
         Garoufalidis, Goerner, Zickert:
         Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
-        http://arxiv.org/abs/1207.6711
+        https://arxiv.org/abs/1207.6711
 
         It is computed using equation 10.22.
 
@@ -1564,7 +1564,7 @@ class CrossRatios(dict):
         This matrix was labeled beta^{v0v1v2} in Figure 18 of
         Garoufalidis, Goerner, Zickert:
         Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
-        http://arxiv.org/abs/1207.6711
+        https://arxiv.org/abs/1207.6711
 
         It is computed using equation 10.22.
 
@@ -1632,7 +1632,7 @@ class CrossRatios(dict):
         This matrix was labeled gamma^{v0v1v2} in Figure 18 of
         Garoufalidis, Goerner, Zickert:
         Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
-        http://arxiv.org/abs/1207.6711
+        https://arxiv.org/abs/1207.6711
 
         It is computed using equation 10.22.
 
@@ -1769,7 +1769,7 @@ class CrossRatios(dict):
         SL(N,C) / {+1,-1} if N is even and is described in the Introduction of
         Garoufalidis, Thurston, Zickert
         The Complex Volume of SL(n,C)-Representations of 3-Manifolds
-        http://arxiv.org/abs/1111.2828
+        https://arxiv.org/abs/1111.2828
 
         There is a canonical group homomorphism SL(2,C)->SL(N,C) coming from
         the the natural SL(2,C)-action on the vector space Sym^{N-1}(C^2).
@@ -2261,7 +2261,7 @@ def _X(N, k, v):
     See (10.2) of
     Garoufalidis, Goerner, Zickert:
     Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
-    http://arxiv.org/abs/1207.6711
+    https://arxiv.org/abs/1207.6711
     """
 
     m = [[_kronecker_delta(i,j) for i in range(N)] for j in range(N)]
@@ -2277,7 +2277,7 @@ def _H(N, k, x):
     See (10.1) of
     Garoufalidis, Goerner, Zickert:
     Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
-    http://arxiv.org/abs/1207.6711
+    https://arxiv.org/abs/1207.6711
     """
 
     def _entry(i, j):

snappy/ptolemy/findLoops.py

@@ -8,7 +8,7 @@ from . import matrix
 # simplices. See Figure 18 for simplices.
 #    Garoufalidis, Goerner, Zickert:
 #    Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
-#    http://arxiv.org/abs/1207.6711
+#    https://arxiv.org/abs/1207.6711
 
 # We use SnapPy's _choose_generators_info to construct the same fundamental
 # domain and side pairing that SnapPy uses for the unsimplified fundamental
@@ -36,7 +36,7 @@ class Vertex(tuple):
     """
 
     def __new__(cls, tet, v0, v1, v2):
-        return super(Vertex, cls).__new__(cls, (tet, v0, v1, v2))
+        return super().__new__(cls, (tet, v0, v1, v2))
 
     def edges_starting_at_vertex(self):
         """
@@ -189,10 +189,10 @@ def _compute_point_identification_dict(choose_generators_info):
     the set of equivalent triples.
     """
 
-    # Initialize: each vertex is mapped to set of only it self
-    d = dict( [ (Vertex(tet, v0, v1, v2), set([Vertex(tet, v0, v1, v2)]))
-                for tet in range(len(choose_generators_info))
-                for v0, v1, v2, v3 in _perm4_iterator() ] )
+    # Initialize: each vertex is mapped to set of only itself
+    d = {Vertex(tet, v0, v1, v2): {Vertex(tet, v0, v1, v2)}
+         for tet in range(len(choose_generators_info))
+         for v0, v1, v2, v3 in _perm4_iterator()}
 
     # Go through all points on faces not corresponding to
     # generators
@@ -241,9 +241,9 @@ def _compute_point_to_shortest_path(point_identification_dict, origin,
     # this property. It maps all triples equivalent to pt to path.
 
     def identified_points_to_path(pt, path):
-        return dict(
-            [ (identified_pt, path)
-              for identified_pt in point_identification_dict[pt] ] )
+        return {
+            identified_pt: path
+              for identified_pt in point_identification_dict[pt] }
 
     # Trivial paths for points identified with origin
     previously_added = identified_points_to_path(origin, Path())

snappy/ptolemy/manifoldMethods.py

@@ -21,12 +21,12 @@ def get_ptolemy_obstruction_classes(manifold):
     See Definition 1.7 of
     Garoufalidis, Thurston, Zickert
     The Complex Volume of SL(n,C)-Representations of 3-Manifolds
-    http://arxiv.org/abs/1111.2828
+    https://arxiv.org/abs/1111.2828
 
     s_f_t takes values +/-1 and is the value of evaluating the cocycle on
     face f of tetrahedron t.
 
-    === Examples ===
+    **Examples**
 
     Get the obstruction classes for 4_1:
 
@@ -172,44 +172,42 @@ class PtolemyVarietyList(list):
               for p in self ])
 
 
-def get_ptolemy_variety(manifold, N, obstruction_class=None,
-                        simplify=True, eliminate_fixed_ptolemys=False):
+def get_ptolemy_variety(manifold, N, obstruction_class = None,
+                        simplify : bool =True,
+                        eliminate_fixed_ptolemys : bool =False):
     """
     Generates Ptolemy variety as described in
     (1) Garoufalidis, Thurston, Zickert
     The Complex Volume of SL(n,C)-Representations of 3-Manifolds
-    http://arxiv.org/abs/1111.2828
+    https://arxiv.org/abs/1111.2828
 
     (2) Garoufalidis, Goerner, Zickert:
     Gluing Equations for PGL(n,C)-Representations of 3-Manifolds
-    http://arxiv.org/abs/1207.6711
+    https://arxiv.org/abs/1207.6711
 
     The variety can be exported to magma or sage and solved there. The
     solutions can be processed to compute invariants. See below.
 
-    === Arguments ===
+    :param N: which SL(N,C) we want the variety.
 
-    N --- which SL(N,C) we want the variety.
+    :param obstruction_class: class from Definition 1.7 of (1).
+        ``None`` for trivial class,
+        a value returned from :meth:`get_ptolemy_obstruction_classes`,
+        an integer indexing the obstruction classes returned from
+        :meth:`get_ptolemy_obstruction_classes`,
+        or 'all' to return a list of Ptolemy varieties, one for each
+        obstruction class.
 
-    obstruction_class --- class from Definition 1.7 of (1).
-    None for trivial class or a value returned from get_ptolemy_obstruction_classes.
-    Short cuts: obstruction_class = 'all' returns a list of Ptolemy varieties
-    for each obstruction. For easier iteration, can set obstruction_class to
-    an integer.
+    :param simplify: indicate whether to simplify the equations which
+          significantly reduces the number of variables. Simplifying means that several identified Ptolemy coordinates :math:`x = y = z = ...`
+         are eliminated instead of adding relations :math:`x - y = 0, y - z = 0, ...`
 
-    simplify --- boolean to indicate whether to simplify the equations which
-    significantly reduces the number of variables.
-    Simplifying means that several identified Ptolemy coordinates x = y = z = ...
-    are eliminated instead of adding relations x - y = 0, y - z = 0, ...
-    Defaults to True.
+    :param eliminate_fixed_ptolemys: boolean to indicate whether to eliminate
+       the Ptolemy coordinates that are set to 1 for fixing the decoration.
+       Even though this simplifies the resulting representation, setting it to
+       ``True`` can cause magma to run longer when finding a Groebner basis.
 
-    eliminate_fixed_ptolemys --- boolean to indicate whether to eliminate
-    the Ptolemy coordinates that are set to 1 for fixing the decoration.
-    Even though this simplifies the resulting representation, setting it to
-    True can cause magma to run longer when finding a Groebner basis.
-    Defaults to False.
-
-    === Examples for 4_1 ===
+    **Examples for 4_1**
 
     >>> from snappy import Manifold
     >>> M = Manifold("4_1")
@@ -248,7 +246,7 @@ def get_ptolemy_variety(manifold, N, obstruction_class=None,
 
 
 
-    === If you have a magma installation ===
+    **If you have a magma installation**
 
     Call p.compute_solutions() to automatically call magma on the above output
     and produce exact solutions!!!
@@ -258,7 +256,7 @@ def get_ptolemy_variety(manifold, N, obstruction_class=None,
     ... except:
     ...     sols = None     # magma failed, use precomputed output instead
 
-    === If you do not have a magma installation ===
+    **If you do not have a magma installation**
 
     Load a precomputed example from magma which is provided with the package:
 
@@ -282,7 +280,7 @@ def get_ptolemy_variety(manifold, N, obstruction_class=None,
     >>> if sols is None:    # calling magma failed, so use precomputed example
     ...     sols = solutions_from_magma(_magma_output_for_4_1__sl3)
 
-    === Continue here whether you have or do not have magma ===
+    **Continue here whether you have or do not have magma**
 
     Pick the first solution of the three different solutions (up to Galois
     conjugates):
@@ -306,7 +304,7 @@ def get_ptolemy_variety(manifold, N, obstruction_class=None,
     >>> len(simplified.equations), len(full.equations)
     (24, 72)
 
-    === ONLY DOCTESTS, NOT PART OF DOCUMENTATION ===
+    **ONLY DOCTESTS, NOT PART OF DOCUMENTATION**
 
     >>> varieties = get_ptolemy_variety(M, N = 2, obstruction_class = "all", eliminate_fixed_ptolemys = True)