Skip to content

Commit 66c205a

Browse files
author
Matthias Koeppe
committed
./sage -fixdoctests --distribution sagemath-graphs --probe all --only-tags src/sage/topology/*.py
1 parent c76fd1c commit 66c205a

File tree

7 files changed

+30
-30
lines changed

7 files changed

+30
-30
lines changed

‎src/sage/topology/cell_complex.py

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -739,7 +739,7 @@ def is_acyclic(self, base_ring=ZZ):
739739
Cubical complex with 168 vertices and 1512 cubes
740740
sage: P.euler_characteristic()
741741
0
742-
sage: P.is_acyclic() # needs sage.modules
742+
sage: P.is_acyclic()
743743
False
744744
"""
745745
if self.euler_characteristic() != 1:
@@ -1039,13 +1039,13 @@ def face_poset(self):
10391039
10401040
EXAMPLES::
10411041
1042-
sage: P = SimplicialComplex([[0, 1], [1,2], [2,3]]).face_poset(); P # needs sage.combinat
1042+
sage: P = SimplicialComplex([[0, 1], [1,2], [2,3]]).face_poset(); P
10431043
Finite poset containing 7 elements
1044-
sage: sorted(P.list()) # needs sage.combinat
1044+
sage: sorted(P.list())
10451045
[(0,), (0, 1), (1,), (1, 2), (2,), (2, 3), (3,)]
10461046
10471047
sage: S2 = cubical_complexes.Sphere(2)
1048-
sage: S2.face_poset() # needs sage.combinat
1048+
sage: S2.face_poset()
10491049
Finite poset containing 26 elements
10501050
"""
10511051
from sage.combinat.posets.posets import Poset

‎src/sage/topology/delta_complex.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1453,7 +1453,7 @@ def face_poset(self):
14531453
EXAMPLES::
14541454
14551455
sage: T = delta_complexes.Torus()
1456-
sage: T.face_poset() # needs sage.combinat
1456+
sage: T.face_poset()
14571457
Finite poset containing 6 elements
14581458
"""
14591459
from sage.combinat.posets.posets import Poset

‎src/sage/topology/filtered_simplicial_complex.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -520,7 +520,7 @@ def _add_interval(self, s, t, intervals):
520520
521521
sage: int_list2 = [[],[]]
522522
sage: X._add_interval(Simplex([1, 2]), None, int_list2) # needs sage.modules sage.rings.finite_rings
523-
sage: int_list2[1] # needs sage.modules sage.rings.finite_rings
523+
sage: int_list2[1]
524524
[(10, +Infinity)]
525525
"""
526526
# figure out dimension of homology element

‎src/sage/topology/simplicial_complex.py

Lines changed: 14 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -109,7 +109,7 @@
109109
sage: x0, x1, x2, x3 = X.stanley_reisner_ring().gens() # needs sage.libs.singular
110110
sage: x0*x2 == x1*x3 == 0 # needs sage.libs.singular
111111
True
112-
sage: X.is_pure() # needs sage.libs.singular
112+
sage: X.is_pure()
113113
True
114114
115115
Mutability (see :trac:`12587`)::
@@ -916,7 +916,7 @@ class SimplicialComplex(Parent, GenericCellComplex):
916916
or e.g. the simplicial complex of all 168 hyperovals of the projective plane of order 4::
917917
918918
sage: l = designs.ProjectiveGeometryDesign(2, 1, GF(4,name='a')) # needs sage.rings.finite_rings
919-
sage: f = lambda S: not any(len(set(S).intersection(x))>2 for x in l) # needs sage.rings.finite_rings
919+
sage: f = lambda S: not any(len(set(S).intersection(x))>2 for x in l)
920920
sage: SimplicialComplex(from_characteristic_function=(f, l.ground_set())) # needs sage.rings.finite_rings
921921
Simplicial complex with 21 vertices and 168 facets
922922
@@ -2497,7 +2497,7 @@ def algebraic_topological_model(self, base_ring=None):
24972497
24982498
EXAMPLES::
24992499
2500-
sage: RP2 = simplicial_complexes.RealProjectivePlane() # needs sage.rings.finite_rings
2500+
sage: RP2 = simplicial_complexes.RealProjectivePlane()
25012501
sage: phi, M = RP2.algebraic_topological_model(GF(2)) # needs sage.rings.finite_rings
25022502
sage: M.homology() # needs sage.modules sage.rings.finite_rings
25032503
{0: Vector space of dimension 1 over Finite Field of size 2,
@@ -2590,8 +2590,8 @@ def add_face(self, face):
25902590
sage: T = SimplicialComplex([range(1,5)]).n_skeleton(1)
25912591
sage: _ = T.faces() # populate the _faces attribute
25922592
sage: _ = T.homology() # add more to _faces # needs sage.modules
2593-
sage: T.add_face((1,2,3)) # needs sage.modules
2594-
sage: all(Simplex((1,2,3)) in T._faces[L][2] for L in T._faces) # needs sage.modules
2593+
sage: T.add_face((1,2,3))
2594+
sage: all(Simplex((1,2,3)) in T._faces[L][2] for L in T._faces)
25952595
True
25962596
25972597
Check that the ``__enlarged`` cache is treated correctly
@@ -2600,7 +2600,7 @@ def add_face(self, face):
26002600
sage: T = SimplicialComplex([range(1,5)]).n_skeleton(1)
26012601
sage: T.homology() # to populate the __enlarged attribute # needs sage.modules
26022602
{0: 0, 1: Z x Z x Z}
2603-
sage: T.add_face([1,2,3]) # needs sage.modules
2603+
sage: T.add_face([1,2,3])
26042604
sage: len(T._SimplicialComplex__enlarged) > 0 # needs sage.modules
26052605
True
26062606
@@ -2726,12 +2726,12 @@ def remove_face(self, face, check=False):
27262726
sage: T = SimplicialComplex([range(1,5)]).n_skeleton(1)
27272727
sage: _ = T.faces() # populate the _faces attribute
27282728
sage: _ = T.homology() # add more to _faces # needs sage.modules
2729-
sage: T.add_face((1,2,3)) # needs sage.modules
2730-
sage: T.remove_face((1,2,3)) # needs sage.modules
2729+
sage: T.add_face((1,2,3))
2730+
sage: T.remove_face((1,2,3))
27312731
sage: len(T._faces) # needs sage.modules
27322732
2
2733-
sage: T.remove_face((1,2)) # needs sage.modules
2734-
sage: len(T._faces) # needs sage.modules
2733+
sage: T.remove_face((1,2))
2734+
sage: len(T._faces)
27352735
1
27362736
27372737
Check that the face to be removed can be given with a
@@ -3610,7 +3610,7 @@ def barycentric_subdivision(self):
36103610
EXAMPLES::
36113611
36123612
sage: triangle = SimplicialComplex([[0,1], [1,2], [0, 2]])
3613-
sage: hexagon = triangle.barycentric_subdivision(); hexagon # needs sage.combinat
3613+
sage: hexagon = triangle.barycentric_subdivision(); hexagon
36143614
Simplicial complex with 6 vertices and 6 facets
36153615
sage: hexagon.homology(1) == triangle.homology(1) # needs sage.combinat sage.modules
36163616
True
@@ -4700,7 +4700,7 @@ def is_balanced(self, check_purity=False, certificate=False):
47004700
sage: X = SimplicialComplex([[1,2], [1,4], [3,4], [2,5]])
47014701
sage: X.is_balanced()
47024702
True
4703-
sage: sorted(X.is_balanced(certificate=True)) # optional - sa
4703+
sage: sorted(X.is_balanced(certificate=True))
47044704
[[1, 3, 5], [2, 4]]
47054705
sage: X = SimplicialComplex([[1,2], [1,4], [3,4], [2,4]])
47064706
sage: X.is_balanced()
@@ -4909,9 +4909,9 @@ def bigraded_betti_number(self, a, b, base_ring=ZZ):
49094909
2
49104910
sage: X.bigraded_betti_number(-1, 8) # needs sage.modules
49114911
0
4912-
sage: X.bigraded_betti_number(-2, 5) # needs sage.modules
4912+
sage: X.bigraded_betti_number(-2, 5)
49134913
0
4914-
sage: X.bigraded_betti_number(0, 0) # needs sage.modules
4914+
sage: X.bigraded_betti_number(0, 0)
49154915
1
49164916
sage: sorted(X.bigraded_betti_numbers().items(), reverse=True) # needs sage.modules
49174917
[((0, 0), 1), ((-1, 6), 1), ((-1, 4), 2), ((-2, 8), 1), ((-2, 6), 1)]

‎src/sage/topology/simplicial_complex_examples.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1357,7 +1357,7 @@ def SumComplex(n, A):
13571357
Sum complex on vertices Z/19Z associated to {0, 1, 4}
13581358
sage: S.homology(1) # needs sage.modules
13591359
C5670599
1360-
sage: factor(5670599) # needs sage.libs.pari
1360+
sage: factor(5670599)
13611361
11 * 191 * 2699
13621362
sage: S = simplicial_complexes.SumComplex(31, [0, 1, 4]); S
13631363
Sum complex on vertices Z/31Z associated to {0, 1, 4}

‎src/sage/topology/simplicial_set.py

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2606,15 +2606,15 @@ def pushout(self, *maps):
26062606
To: Wedge: (S^1 v S^1 x S^1)
26072607
Defn: [v_0, sigma_1] --> [*, sigma_1]
26082608
2609-
sage: f = S1.Hom(T)({S1.n_cells(0)[0]: K.n_cells(0)[0], # needs sage.modules
2609+
sage: f = S1.Hom(T)({S1.n_cells(0)[0]: K.n_cells(0)[0],
26102610
....: S1.n_cells(1)[0]: K.n_cells(1)[0]})
26112611
26122612
The maps `f: S^1 \to T` and `1: T \to T` induce a map `S^1 \vee T \to T`::
26132613
2614-
sage: g = W.universal_property(f, Hom(T,T).identity()) # needs sage.modules
2615-
sage: g.domain() == W # needs sage.modules
2614+
sage: g = W.universal_property(f, Hom(T,T).identity())
2615+
sage: g.domain() == W
26162616
True
2617-
sage: g.codomain() == T # needs sage.modules
2617+
sage: g.codomain() == T
26182618
True
26192619
26202620
TESTS::
@@ -3664,7 +3664,7 @@ def chain_complex(self, dimensions=None, base_ring=ZZ, augmented=False,
36643664
sage: T = simplicial_complexes.Torus()
36653665
sage: T.homology() == SimplicialSet(T).homology() # needs sage.modules
36663666
True
3667-
sage: RP2 = delta_complexes.RealProjectivePlane() # needs sage.groups sage.modules
3667+
sage: RP2 = delta_complexes.RealProjectivePlane()
36683668
sage: RP2.homology() == SimplicialSet(RP2).homology() # needs sage.groups sage.modules
36693669
True
36703670
sage: cohoRP2 = RP2.cohomology(base_ring=GF(2)) # needs sage.groups sage.modules sage.rings.finite_rings

‎src/sage/topology/simplicial_set_constructions.py

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -980,7 +980,7 @@ def _repr_(self):
980980
sage: K = simplicial_sets.KleinBottle()
981981
sage: G = groups.misc.MultiplicativeAbelian([2]) # needs sage.groups
982982
sage: B = simplicial_sets.ClassifyingSpace(G) # needs sage.groups
983-
sage: S2.product(S2) # needs sage.groups
983+
sage: S2.product(S2)
984984
S^2 x S^2
985985
sage: S2.product(K, B) # needs sage.groups
986986
S^2 x Klein bottle x Classifying space of Multiplicative Abelian group isomorphic to C2
@@ -1968,7 +1968,7 @@ def _repr_(self):
19681968
EXAMPLES::
19691969
19701970
sage: RP4 = simplicial_sets.RealProjectiveSpace(4) # needs sage.groups
1971-
sage: S1 = simplicial_sets.Sphere(1) # needs sage.groups
1971+
sage: S1 = simplicial_sets.Sphere(1)
19721972
sage: S1.smash_product(RP4, S1) # needs sage.groups
19731973
Smash product: (S^1 ^ RP^4 ^ S^1)
19741974
"""
@@ -1984,7 +1984,7 @@ def _latex_(self):
19841984
EXAMPLES::
19851985
19861986
sage: RP4 = simplicial_sets.RealProjectiveSpace(4) # needs sage.groups
1987-
sage: S1 = simplicial_sets.Sphere(1) # needs sage.groups
1987+
sage: S1 = simplicial_sets.Sphere(1)
19881988
sage: latex(S1.smash_product(RP4, S1)) # needs sage.groups
19891989
S^{1} \wedge RP^{4} \wedge S^{1}
19901990
"""
@@ -2090,7 +2090,7 @@ def _latex_(self):
20902090
EXAMPLES::
20912091
20922092
sage: RP4 = simplicial_sets.RealProjectiveSpace(4) # needs sage.groups
2093-
sage: S1 = simplicial_sets.Sphere(1) # needs sage.groups
2093+
sage: S1 = simplicial_sets.Sphere(1)
20942094
sage: latex(S1.wedge(RP4, S1)) # needs sage.groups
20952095
S^{1} \vee RP^{4} \vee S^{1}
20962096
"""

0 commit comments

Comments
 (0)