Represents a specific set of gluing permutations to complement a particular pairwise matching of triangle edges.
More...
|
| Dim2GluingPerms (const Dim2GluingPerms &cloneMe) |
| Creates a new set of gluing permutations that is a clone of the given permutation set. More...
|
|
| Dim2GluingPerms (std::istream &in) |
| Reads a new set of gluing permutations from the given input stream. More...
|
|
bool | inputError () const |
| Was an error found during construction from an input stream? More...
|
|
unsigned | size () const |
| Returns the total number of simplices under consideration. More...
|
|
const FacetPairing * | getFacetPairing () const |
| Returns the specific pairing of simplex facets that this set of gluing permutations complements. More...
|
|
Perm | gluingPerm (const NFacetSpec< dim > &source) const |
| Returns the gluing permutation associated with the given simplex facet. More...
|
|
Perm | gluingPerm (unsigned simp, unsigned facet) const |
| Returns the gluing permutation associated with the given simplex facet. More...
|
|
Triangulation * | triangulate () const |
| Returns a newly created triangulation as modelled by this set of gluing permutations and the associated simplex facet pairing. More...
|
|
virtual void | dumpData (std::ostream &out) const |
| Dumps all internal data in a plain text format to the given output stream. More...
|
|
|
| Dim2GluingPerms (const Dim2EdgePairing *pairing) |
| Creates a new permutation set. More...
|
|
int & | permIndex (const NFacetSpec< dim > &source) |
| Returns the index into array Perm::Sn_1 describing how the the given facet is joined to its partner. More...
|
|
int & | permIndex (unsigned simp, unsigned facet) |
| Returns the index into array Perm::Sn_1 describing how the the given facet is joined to its partner. More...
|
|
const int & | permIndex (const NFacetSpec< dim > &source) const |
| Returns the index into array Perm::Sn_1 describing how the the given facet is joined to its partner. More...
|
|
const int & | permIndex (unsigned simp, unsigned facet) const |
| Returns the index into array Perm::Sn_1 describing how the the given facet is joined to its partner. More...
|
|
int | gluingToIndex (const NFacetSpec< dim > &source, const Perm &gluing) const |
| Returns the index into array Perm::Sn_1 corresponding to the given gluing permutation from the given facet to its partner. More...
|
|
int | gluingToIndex (unsigned simp, unsigned facet, const Perm &gluing) const |
| Returns the index into array Perm::Sn_1 corresponding to the given gluing permutation from the given facet to its partner. More...
|
|
Perm | indexToGluing (const NFacetSpec< dim > &source, int index) const |
| Returns the gluing permutation from the given facet to its partner that corresponds to the given index into array Perm::Sn_1. More...
|
|
Perm | indexToGluing (unsigned simp, unsigned facet, int index) const |
| Returns the gluing permutation from the given facet to its partner that corresponds to the given index into array Perm::Sn_1. More...
|
|
Represents a specific set of gluing permutations to complement a particular pairwise matching of triangle edges.
Given a pairwise matching of edges (as described by class Dim2EdgePairing), each edge that is matched with some other edge will have an associated permutation of three elements (as described by class NPerm3).
If an edge is matched with some other edge, the two associated permutations in this set will be inverses. If an edge is left deliberately unmatched, it will have no associated permutation in this set.
Such a set of permutations models part of the structure of a 2-manifold triangulation, in which each triangle edge that is glued to another edge has a corresponding gluing permutation (and the matched edge has the inverse gluing permutation).
- Python:
- Not present.
Dumps all internal data in a plain text format to the given output stream.
This object can be recreated from this text data by calling the input stream constructor for this class.
This routine may be useful for transferring objects from one processor to another.
Note that subclass data is written after superclass data, so it is safe to dump data from a subclass and then recreate a new superclass object from that data (though subclass-specific information will of course be lost).
- Warning
- The data format is liable to change between Regina releases. Data in this format should be used on a short-term temporary basis only.
- Parameters
-
out | the output stream to which the data should be written. |
Reimplemented in regina::Dim2GluingPermSearcher.
Returns the gluing permutation from the given facet to its partner that corresponds to the given index into array Perm::Sn_1.
This index into Perm::Sn_1 need not be the index that is currently stored for the given facet.
Indices into array Perm::Sn_1 are stored internally in the array permIndices_. Full gluing permutations on the other hand are used in constructing triangulations.
If the given simplex facet and its partner according to the underlying facet pairing are facets x and y of their respective simplices, then the resulting gluing permutation will map x to y.
- Precondition
- The given simplex facet has a partner according to the underlying facet pairing, i.e., is not a boundary facet.
- Parameters
-
source | the simplex facet under investigation. |
index | an index into Perm::Sn_1; this must be between 0 and dim!-1 inclusive. |
- Returns
- the gluing permutation corresponding to the given index into Perm::Sn_1.
Returns the gluing permutation from the given facet to its partner that corresponds to the given index into array Perm::Sn_1.
This index into Perm::Sn_1 need not be the index that is currently stored for the given facet.
Indices into array Perm::Sn_1 are stored internally in the array permIndices_. Full gluing permutations on the other hand are used in constructing triangulations.
If the given simplex facet and its partner according to the underlying facet pairing are facets x and y of their respective simplices, then the resulting gluing permutation will map x to y.
- Precondition
- The given simplex facet has a partner according to the underlying facet pairing, i.e., is not a boundary facet.
- Parameters
-
simp | the simplex under investigation; this must be strictly less than the total number of simplices under consideration. |
facet | the facet of the given simplex under investigation; this must be between 0 and dim inclusive. |
index | an index into Perm::Sn_1; this must be between 0 and dim!-1 inclusive. |
- Returns
- the gluing permutation corresponding to the given index into Perm::Sn_1.
Was an error found during construction from an input stream?
This routine returns true
if an input stream constructor was used to create this object but the data in the input stream was invalid or incorrectly formatted.
If a different constructor was called (i.e., no input stream was used), then this routine will always return false
.
- Returns
true
if an error occurred during construction from an input stream, or false
otherwise.
Returns a newly created triangulation as modelled by this set of gluing permutations and the associated simplex facet pairing.
Each matched pair of facets and their associated permutations will be realised as two simplex facets in the triangulation glued together with the corresponding gluing permutation. Each unmatched facet will be realised as a boundary facet in the triangulation.
It is the responsibility of the caller of this routine to delete this triangulation once it is no longer required.
- Returns
- a newly created triangulation modelled by this structure.