realProjectiveSpaceComplex(n, S)
This method implements some of the minimal triangulations of real projective space found in the literature. For $n = 0, 1$, these are just the obvious point and 1-sphere. For $n = 2$, the minimal triangulation is provided by Frank H. Lutz's small manifold database. Frank Lutz has also provided minimal triangulations for $n = 3$ and $4$, in "Triangulated Manifolds with Few Vertices: Combinatorial Manifolds", arXiv:math/0506372v1.
|
|
Since no minimal or small triangulations of real projective space have been constructed for $n > 4$, we haven't implemented the triangulations for higher projective space yet. Due to the exponential growth of the number of vertices, computations quickly become intractable.