sage.{hom,top}ology: Update from #35095

Author: Matthias Koeppe

src/sage/topology/cell_complex.py

@@ -736,8 +736,7 @@ def is_acyclic(self, base_ring=ZZ):
 
             sage: K = cubical_complexes.KleinBottle()
             sage: C = cubical_complexes.Cube(2)
-            sage: P = K.product(C)
-            sage: P
+            sage: P = K.product(C); P
             Cubical complex with 168 vertices and 1512 cubes
             sage: P.euler_characteristic()
             0
@@ -971,7 +970,7 @@ def cohomology_ring(self, base_ring=QQ):
             sage: T.set_immutable()
             sage: T.cohomology_ring()                                                   # needs sage.modules
             Cohomology ring of Simplicial complex with 9 vertices and
-            18 facets over Rational Field
+             18 facets over Rational Field
         """
         from sage.homology.homology_vector_space_with_basis import CohomologyRing
         return CohomologyRing(base_ring, self)

src/sage/topology/simplicial_complex_examples.py

@@ -69,7 +69,8 @@
     sage: from sage.topology.simplicial_complex_examples import PseudoQuaternionicProjectivePlane
     sage: H = PseudoQuaternionicProjectivePlane()                                       # needs sage.groups
     doctest:warning...:
-    DeprecationWarning: PseudoQuaternionicProjectivePlane is deprecated. Please use sage.topology.simplicial_complex_examples.QuaternionicProjectivePlane instead.
+    DeprecationWarning: PseudoQuaternionicProjectivePlane is deprecated.
+    Please use sage.topology.simplicial_complex_examples.QuaternionicProjectivePlane instead.
     See https://github.com/sagemath/sage/issues/34568 for details.
 """
 
@@ -1078,7 +1079,8 @@ def NotIConnectedGraphs(n, i):
 
     EXAMPLES::
 
-        sage: simplicial_complexes.NotIConnectedGraphs(5, 2).f_vector()
+        sage: NICG52 = simplicial_complexes.NotIConnectedGraphs(5, 2)
+        sage: NICG52.f_vector()
         [1, 10, 45, 120, 210, 240, 140, 20]
         sage: NICG52.homology(5).ngens()                                                # needs sage.modules
         6

src/sage/topology/simplicial_complex_morphism.py

@@ -317,10 +317,9 @@ def associated_chain_complex_morphism(self, base_ring=ZZ,
             sage: # needs sage.modules
             sage: S = simplicial_complexes.Sphere(1)
             sage: T = simplicial_complexes.Sphere(2)
-            sage: H = Hom(S,T)
-            sage: f = {0:0,1:1,2:2}
-            sage: x = H(f)
-            sage: x
+            sage: H = Hom(S, T)
+            sage: f = {0:0, 1:1, 2:2}
+            sage: x = H(f); x
             Simplicial complex morphism:
               From: Minimal triangulation of the 1-sphere
               To:   Minimal triangulation of the 2-sphere
@@ -365,19 +364,22 @@ def associated_chain_complex_morphism(self, base_ring=ZZ,
             sage: g = {0:1, 1:2, 2:0}
             sage: H(g).associated_chain_complex_morphism()._matrix_dictionary           # needs sage.modules
             {0: [0 0 1]
-             [1 0 0]
-             [0 1 0]
-             [0 0 0], 1: [ 0 -1  0]
-             [ 0  0 -1]
-             [ 0  0  0]
-             [ 1  0  0]
-             [ 0  0  0]
-             [ 0  0  0], 2: []}
+                [1 0 0]
+                [0 1 0]
+                [0 0 0],
+             1: [ 0 -1  0]
+                [ 0  0 -1]
+                [ 0  0  0]
+                [ 1  0  0]
+                [ 0  0  0]
+                [ 0  0  0],
+             2: []}
             sage: X = SimplicialComplex([[0, 1]], is_mutable=False)
             sage: g = {0:1, 1:0}
             sage: Hom(X, X)(X).associated_chain_complex_morphism()._matrix_dictionary   # needs sage.modules
             {0: [0 1]
-             [1 0], 1: [-1]}
+                [1 0],
+             1: [-1]}
         """
         from sage.homology.chain_complex_morphism import ChainComplexMorphism
 
@@ -636,8 +638,8 @@ def mapping_torus(self):
             sage: T.homology() == simplicial_complexes.Torus().homology()               # needs sage.modules
             True
 
-            sage: f = Hom(C,C)({0:0,1:2,2:1})
-            sage: K = f.mapping_torus() ; K  # Klein Bottle
+            sage: f = Hom(C,C)({0:0, 1:2, 2:1})
+            sage: K = f.mapping_torus(); K                      # Klein Bottle
             Simplicial complex with 9 vertices and 18 facets
             sage: K.homology() == simplicial_complexes.KleinBottle().homology()         # needs sage.modules
             True
@@ -682,8 +684,10 @@ def induced_homology_morphism(self, base_ring=None, cohomology=False):
             sage: diag = H.diagonal_morphism()
             sage: h = diag.induced_homology_morphism(QQ); h                             # needs sage.modules
             Graded vector space morphism:
-              From: Homology module of Minimal triangulation of the 1-sphere over Rational Field
-              To:   Homology module of Simplicial complex with 9 vertices and 18 facets over Rational Field
+              From: Homology module of
+                    Minimal triangulation of the 1-sphere over Rational Field
+              To:   Homology module of
+                    Simplicial complex with 9 vertices and 18 facets over Rational Field
               Defn: induced by:
                 Simplicial complex morphism:
                   From: Minimal triangulation of the 1-sphere

src/sage/topology/simplicial_set.py

@@ -216,7 +216,8 @@
     sage: B3.product(S1).homology()                                                     # needs sage.groups sage.modules
     Traceback (most recent call last):
     ...
-    NotImplementedError: this simplicial set may be infinite, so specify dimensions when computing homology
+    NotImplementedError: this simplicial set may be infinite,
+    so specify dimensions when computing homology
 
 It should be easy to construct many simplicial sets from the
 predefined ones using pushouts, pullbacks, etc., but they can also be
@@ -2075,7 +2076,8 @@ def cohomology(self, dim=None, **kwds):
             sage: BC3.cohomology()                                                      # needs sage.groups
             Traceback (most recent call last):
             ...
-            NotImplementedError: this simplicial set may be infinite, so specify dimensions when computing homology
+            NotImplementedError: this simplicial set may be infinite,
+            so specify dimensions when computing homology
         """
         return self.homology(dim=dim, cohomology=True, **kwds)
 

src/sage/topology/simplicial_set_morphism.py

@@ -37,6 +37,7 @@
 from sage.categories.morphism import Morphism
 from sage.categories.simplicial_sets import SimplicialSets
 from sage.misc.latex import latex
+from sage.misc.lazy_import import lazy_import
 from sage.rings.integer_ring import ZZ
 
 from .simplicial_set import SimplicialSet_arbitrary