We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b168755 commit 257e3d9Copy full SHA for 257e3d9
src/sage/topology/simplicial_complex_examples.py
@@ -839,13 +839,17 @@ def RealProjectiveSpace(n):
839
name='Minimal triangulation of RP^4')
840
if n >= 5:
841
# Use the construction given by Datta in Example 3.21.
842
- V = set(range(n + 2))
+ V = set(range(0, n+2))
843
S = Sphere(n).barycentric_subdivision()
844
X = S.facets()
845
facets = set()
846
for f in X:
847
- new = [tuple(V.difference(v)) if 0 in V else v
848
- for v in f]
+ new = []
+ for v in f:
849
+ if 0 in v:
850
+ new.append(tuple(V.difference(v)))
851
+ else:
852
+ new.append(v)
853
facets.add(tuple(new))
854
return UniqueSimplicialComplex(list(facets),
855
name='Triangulation of RP^{}'.format(n))
0 commit comments