Regina Calculation Engine
|
Provides core functionality for dim-dimensional triangulations. More...
#include <triangulation/detail/triangulation.h>
Public Types | |
typedef std::vector< Simplex< dim > * >::const_iterator | SimplexIterator |
Used to iterate through top-dimensional simplices. More... | |
typedef std::vector< Component< dim > * >::const_iterator | ComponentIterator |
Used to iterate through connected components. More... | |
typedef std::vector< BoundaryComponent< dim > * >::const_iterator | BoundaryComponentIterator |
Used to iterate through boundary components. More... | |
Public Member Functions | |
Constructors and Destructors | |
TriangulationBase () | |
Default constructor. More... | |
TriangulationBase (const TriangulationBase< dim > ©) | |
Creates a new copy of the given triangulation. More... | |
TriangulationBase (const TriangulationBase< dim > ©, bool cloneProps) | |
Creates a new copy of the given triangulation, with the option of whether or not to clone its computed properties also. More... | |
~TriangulationBase () | |
Destroys this triangulation. More... | |
Simplices | |
size_t | size () const |
Returns the number of top-dimensional simplices in the triangulation. More... | |
const std::vector< Simplex< dim > * > & | simplices () const |
Returns all top-dimensional simplices in the triangulation. More... | |
Simplex< dim > * | simplex (size_t index) |
Returns the top-dimensional simplex at the given index in the triangulation. More... | |
const Simplex< dim > * | simplex (size_t index) const |
Returns the top-dimensional simplex at the given index in the triangulation. More... | |
Simplex< dim > * | newSimplex () |
Creates a new top-dimensional simplex and adds it to this triangulation. More... | |
Simplex< dim > * | newSimplex (const std::string &desc) |
Creates a new top-dimensional simplex with the given description and adds it to this triangulation. More... | |
void | removeSimplex (Simplex< dim > *simplex) |
Removes the given top-dimensional simplex from this triangulation. More... | |
void | removeSimplexAt (size_t index) |
Removes the top-dimensional simplex at the given index in this triangulation. More... | |
void | removeAllSimplices () |
Removes all simplices from the triangulation. More... | |
void | swapContents (Triangulation< dim > &other) |
Swaps the contents of this and the given triangulation. More... | |
void | moveContentsTo (Triangulation< dim > &dest) |
Moves the contents of this triangulation into the given destination triangulation, without destroying any pre-existing contents. More... | |
Skeletal Queries | |
size_t | countComponents () const |
Returns the number of connected components in this triangulation. More... | |
size_t | countBoundaryComponents () const |
Returns the number of boundary components in this triangulation. More... | |
template<int subdim> | |
size_t | countFaces () const |
Returns the number of subdim-faces in this triangulation. More... | |
std::vector< size_t > | fVector () const |
Returns the f-vector of this triangulation, which counts the number of faces of all dimensions. More... | |
const std::vector< Component< dim > * > & | components () const |
Returns all connected components of this triangulation. More... | |
const std::vector< BoundaryComponent< dim > * > & | boundaryComponents () const |
Returns all boundary components of this triangulation. More... | |
template<int subdim> | |
const FaceList< dim, subdim > & | faces () const |
Returns an object that allows iteration through and random access to all subdim-faces of this triangulation. More... | |
Component< dim > * | component (size_t index) const |
Returns the requested connected component of this triangulation. More... | |
BoundaryComponent< dim > * | boundaryComponent (size_t index) const |
Returns the requested boundary component of this triangulation. More... | |
template<int subdim> | |
Face< dim, subdim > * | face (size_t index) const |
Returns the requested subdim-face of this triangulation. More... | |
Basic Properties | |
bool | isEmpty () const |
Determines whether this triangulation is empty. More... | |
bool | isValid () const |
Determines if this triangulation is valid. More... | |
bool | hasBoundaryFacets () const |
Determines if this triangulation has any boundary facets. More... | |
size_t | countBoundaryFacets () const |
Returns the total number of boundary facets in this triangulation. More... | |
bool | isOrientable () const |
Determines if this triangulation is orientable. More... | |
bool | isConnected () const |
Determines if this triangulation is connected. More... | |
bool | isOriented () const |
Determines if this triangulation is oriented; that is, if the vertices of its top-dimensional simplices are labelled in a way that preserves orientation across adjacent facets. More... | |
long | eulerCharTri () const |
Returns the Euler characteristic of this triangulation. More... | |
Algebraic Properties | |
const GroupPresentation & | fundamentalGroup () const |
Returns the fundamental group of this triangulation. More... | |
void | simplifiedFundamentalGroup (GroupPresentation *newGroup) |
Notifies the triangulation that you have simplified the presentation of its fundamental group. More... | |
const AbelianGroup & | homology () const |
Returns the first homology group for this triangulation. More... | |
const AbelianGroup & | homologyH1 () const |
Returns the first homology group for this triangulation. More... | |
Skeletal Transformations | |
void | orient () |
Relabels the vertices of top-dimensional simplices in this triangulation so that all simplices are oriented consistently, if possible. More... | |
Subdivisions, Extensions and Covers | |
void | makeDoubleCover () |
Converts this triangulation into its double cover. More... | |
void | barycentricSubdivision () |
Does a barycentric subdivision of the triangulation. More... | |
bool | finiteToIdeal () |
Converts each real boundary component into a cusp (i.e., an ideal vertex). More... | |
Decompositions | |
size_t | splitIntoComponents (Packet *componentParent=0, bool setLabels=true) |
Splits a disconnected triangulation into many smaller triangulations, one for each component. More... | |
Isomorphism Testing | |
bool | isIdenticalTo (const Triangulation< dim > &other) const |
Determines if this triangulation is combinatorially identical to the given triangulation. More... | |
std::unique_ptr< Isomorphism< dim > > | isIsomorphicTo (const Triangulation< dim > &other) const |
Determines if this triangulation is combinatorially isomorphic to the given triangulation. More... | |
std::unique_ptr< Isomorphism< dim > > | isContainedIn (const Triangulation< dim > &other) const |
Determines if an isomorphic copy of this triangulation is contained within the given triangulation, possibly as a subcomplex of some larger component (or components). More... | |
template<typename OutputIterator > | |
size_t | findAllIsomorphisms (const Triangulation< dim > &other, OutputIterator output) const |
Finds all ways in which this triangulation is combinatorially isomorphic to the given triangulation. More... | |
template<typename OutputIterator > | |
size_t | findAllSubcomplexesIn (const Triangulation< dim > &other, OutputIterator output) const |
Finds all ways in which an isomorphic copy of this triangulation is contained within the given triangulation, possibly as a subcomplex of some larger component (or components). More... | |
bool | makeCanonical () |
Relabel the top-dimensional simplices and their vertices so that this triangulation is in canonical form. More... | |
Building Triangulations | |
void | insertTriangulation (const Triangulation< dim > &source) |
Inserts a copy of the given triangulation into this triangulation. More... | |
void | insertConstruction (size_t nSimplices, const int adjacencies[][dim+1], const int gluings[][dim+1][dim+1]) |
Inserts a given triangulation into this triangulation, where the given triangulation is described by a pair of integer arrays. More... | |
Exporting Triangulations | |
std::string | isoSig (Isomorphism< dim > **relabelling=0) const |
Constructs the isomorphism signature for this triangulation. More... | |
std::string | dumpConstruction () const |
Returns C++ code that can be used with insertConstruction() to reconstruct this triangulation. More... | |
Static Public Attributes | |
static constexpr int | dimension = dim |
A compile-time constant that gives the dimension of the triangulation. More... | |
Protected Types | |
typedef std::vector< Face< dim, subdim > * >::const_iterator | Iterator |
An iterator type for iterating through this list of faces. More... | |
Protected Member Functions | |
void | deleteFaces () |
Deletes all faces of dimension subdim and below. More... | |
void | swapFaces (FaceListSuite< dim, subdim > &other) |
Swaps all faces of dimension subdim and below with those of the given triangulation. More... | |
void | fillFVector (std::vector< size_t > &result) const |
Fills the given vector with the first (subdim + 1) elements of the f-vector. More... | |
bool | sameFVector (const FaceListSuite< dim, subdim > &other) const |
Tests whether this and the given triangulation have the same number of k-faces, for each facial dimension k ≤ subdim. More... | |
bool | sameDegrees (const FaceListSuite< dim, subdim > &other) const |
Tests whether this and the given triangulation have the same k-face degree sequences, for each facial dimension k ≤ subdim. More... | |
bool | sameDegrees (const FaceList< dim, subdim > &other) const |
Tests whether this and the given triangulation have the same subdim-face degree sequences. More... | |
Face< dim, subdim > * | operator[] (size_t index) const |
Returns the requested subdim-face. More... | |
Iterator | begin () const |
Returns an iterator pointing to the first subdim-face. More... | |
Iterator | end () const |
Returns an iterator pointing beyond the last subdim-face. More... | |
void | push_back (Face< dim, subdim > *face) |
Pushes the given face onto the end of this list. More... | |
void | destroy () |
Destroys all faces in this list, and clears the list itself. More... | |
void | swap (FaceList< dim, subdim > &other) |
Swaps all faces in this list with those in the given list. More... | |
Protected Attributes | |
MarkedVector< Simplex< dim > > | simplices_ |
The top-dimensional simplices that form the triangulation. More... | |
MarkedVector< BoundaryComponent< dim > > | boundaryComponents_ |
The components that form the boundary of the triangulation. More... | |
bool | valid_ |
Is this triangulation valid? See isValid() for details on what this means. More... | |
Importing Triangulations | |
template<int , int , int > | |
struct | FaceCalculator |
template<int , int > | |
struct | BoundaryComponentCalculator |
template<int , int > | |
class | WeakFaceList |
class | regina::detail::XMLTriangulationReaderBase< dim > |
static Triangulation< dim > * | fromIsoSig (const std::string &sig) |
Recovers a full triangulation from an isomorphism signature. More... | |
static size_t | isoSigComponentSize (const std::string &sig) |
Deduces the number of top-dimensional simplices in a connected triangulation from its isomorphism signature. More... | |
void | ensureSkeleton () const |
Ensures that all "on demand" skeletal objects have been calculated. More... | |
bool | calculatedSkeleton () const |
Determines whether the skeletal objects and properties of this triangulation have been calculated. More... | |
void | calculateSkeleton () |
Calculates all skeletal objects for this triangulation. More... | |
void | clearBaseProperties () |
Clears all properties that are managed by this base class. More... | |
void | swapBaseProperties (TriangulationBase< dim > &other) |
Swaps all properties that are managed by this base class, including skeletal data, with the given triangulation. More... | |
void | writeXMLBaseProperties (std::ostream &out) const |
Writes a chunk of XML containing properties of this triangulation. More... | |
Provides core functionality for dim-dimensional triangulations.
Such a triangulation is represented by the class Triangulation<dim>, which uses this as a base class. End users should not need to refer to TriangulationBase directly.
See the Triangulation class notes for further information.
Note that this class does not derive from Output. This is to avoid clashes with the output code inherited from Packet. Specifically:
dim | the dimension of the triangulation. This must be between 2 and 15 inclusive. |
|
inlineprotectedinherited |
Deletes all faces of dimension subdim and below.
This routine destroys the corresponding Face objects and clears the lists that contain them.
|
inlineprotectedinherited |
Fills the given vector with the first (subdim + 1) elements of the f-vector.
Specifically, this routine pushes the values f[0], ..., f[subdim] onto the end of the given vector, where f[k] denotes the number of k-faces that this object stores.
result | the vector in which the results will be placed. |
|
inlineprotectedinherited |
Tests whether this and the given triangulation have the same k-face degree sequences, for each facial dimension k ≤ subdim.
For the purposes of this routine, degree sequences are considered to be unordered.
other | the triangulation to compare against this. |
true
if and only if all degree sequences considered are equal.
|
inlineprotectedinherited |
Tests whether this and the given triangulation have the same number of k-faces, for each facial dimension k ≤ subdim.
other | the triangulation to compare against this. |
true
if and only if the face counts considered are identical for both triangluations.
|
inlineprotectedinherited |
Swaps all faces of dimension subdim and below with those of the given triangulation.
other | the face storage for the triangulation whose faces are to be swapped with this. |