Regina Calculation Engine
|
Represents a specific set of gluing permutations to complement a particular pairwise matching of tetrahedron faces. More...
#include <census/ngluingperms.h>
Public Member Functions | |
NGluingPerms (const NGluingPerms &cloneMe) | |
Creates a new set of gluing permutations that is a clone of the given permutation set. More... | |
NGluingPerms (std::istream &in) | |
Reads a new set of gluing permutations from the given input stream. More... | |
REGINA_DEPRECATED unsigned | getNumberOfTetrahedra () const |
Returns the total number of tetrahedra under consideration. More... | |
REGINA_DEPRECATED const NFacePairing * | getFacePairing () const |
Returns the specific pairing of tetrahedron faces that this set of gluing permutations complements. 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< dim > * | facetPairing () const |
Returns the specific pairing of simplex facets that this set of gluing permutations complements. More... | |
REGINA_DEPRECATED const FacetPairing< dim > * | getFacetPairing () const |
Deprecated routine that returns the specific pairing of simplex facets that this set of gluing permutations complements. More... | |
NPerm< dim+1 > | gluingPerm (const FacetSpec< dim > &source) const |
Returns the gluing permutation associated with the given simplex facet. More... | |
NPerm< dim+1 > | gluingPerm (unsigned simp, unsigned facet) const |
Returns the gluing permutation associated with the given simplex facet. More... | |
Triangulation< dim > * | 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... | |
Protected Member Functions | |
NGluingPerms (const NFacePairing *pairing) | |
Creates a new permutation set. More... | |
int & | permIndex (const FacetSpec< dim > &source) |
Returns the index into array NPerm<dim+1>::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 NPerm<dim+1>::Sn_1 describing how the the given facet is joined to its partner. More... | |
const int & | permIndex (const FacetSpec< dim > &source) const |
Returns the index into array NPerm<dim+1>::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 NPerm<dim+1>::Sn_1 describing how the the given facet is joined to its partner. More... | |
int | gluingToIndex (const FacetSpec< dim > &source, const NPerm< dim+1 > &gluing) const |
Returns the index into array NPerm<dim+1>::Sn_1 corresponding to the given gluing permutation from the given facet to its partner. More... | |
int | gluingToIndex (unsigned simp, unsigned facet, const NPerm< dim+1 > &gluing) const |
Returns the index into array NPerm<dim+1>::Sn_1 corresponding to the given gluing permutation from the given facet to its partner. More... | |
NPerm< dim+1 > | indexToGluing (const FacetSpec< dim > &source, int index) const |
Returns the gluing permutation from the given facet to its partner that corresponds to the given index into array NPerm<dim+1>::Sn_1. More... | |
NPerm< dim+1 > | 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 NPerm<dim+1>::Sn_1. More... | |
Protected Attributes | |
const FacetPairing< dim > * | pairing_ |
The facet pairing that this permutation set complements. More... | |
int * | permIndices_ |
The index into array NPerm<dim+1>::Sn_1 describing how each simplex facet is glued to its partner. More... | |
bool | inputError_ |
Has an error occurred during construction from an input stream? More... | |
Represents a specific set of gluing permutations to complement a particular pairwise matching of tetrahedron faces.
Given a pairwise matching of faces (as described by class NFacePairing), each face that is matched with some other face will have an associated permutation of four elements (as described by class NPerm4).
If a face is matched with some other face, the two associated permutations in this set will be inverses. If a face 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 triangulation, in which each tetrahedron face that is glued to another face has a corresponding gluing permutation (and the matched face has the inverse gluing permutation).
|
inline |
Creates a new set of gluing permutations that is a clone of the given permutation set.
cloneMe | the gluing permutations to clone. |
|
inline |
Reads a new set of gluing permutations from the given input stream.
This routine reads data in the format written by dumpData().
If the data found in the input stream is invalid or incorrectly formatted, the routine inputError() will return true
but the contents of this object will be otherwise undefined.
in | the input stream from which to read. |
|
inlineprotected |
Creates a new permutation set.
All internal arrays will be allocated but not initialised.
pairing | the specific pairing of tetrahedron faces that this permutation set will complement. |
|
virtualinherited |
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).
out | the output stream to which the data should be written. |
Reimplemented in regina::NHyperbolicMinSearcher, regina::NClosedPrimeMinSearcher, regina::NCompactSearcher, regina::NEulerSearcher, and regina::NGluingPermSearcher.
|
inlineinherited |
Returns the specific pairing of simplex facets that this set of gluing permutations complements.
|
inline |
Returns the specific pairing of tetrahedron faces that this set of gluing permutations complements.
|
inlineinherited |
Deprecated routine that returns the specific pairing of simplex facets that this set of gluing permutations complements.
|
inline |
Returns the total number of tetrahedra under consideration.
|
inlineinherited |
Returns the gluing permutation associated with the given simplex facet.
source | the simplex facet under investigation. |
|
inlineinherited |
Returns the gluing permutation associated with the given simplex facet.
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 (between 0 and dim inclusive). |
|
protectedinherited |
Returns the index into array NPerm<dim+1>::Sn_1 corresponding to the given gluing permutation from the given facet to its partner.
This need not be the index into NPerm<dim+1>::Sn_1 that is currently stored for the given facet.
Indices into array NPerm<dim+1>::Sn_1 are stored internally in the array permIndices_. Full gluing permutations on the other hand are used in constructing triangulations.
source | the simplex facet under investigation. |
gluing | a possible gluing permutation from the given simplex facet to its partner according to the underlying facet pairing. |
|
protectedinherited |
Returns the index into array NPerm<dim+1>::Sn_1 corresponding to the given gluing permutation from the given facet to its partner.
This need not be the index into NPerm<dim+1>::Sn_1 that is currently stored for the given facet.
Indices into array NPerm<dim+1>::Sn_1 are stored internally in the array permIndices_. Full gluing permutations on the other hand are used in constructing triangulations.
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. |
gluing | a possible gluing permutation from the given simplex facet to its partner according to the underlying facet pairing. |
|
inlineprotectedinherited |
Returns the gluing permutation from the given facet to its partner that corresponds to the given index into array NPerm<dim+1>::Sn_1.
This index into NPerm<dim+1>::Sn_1 need not be the index that is currently stored for the given facet.
Indices into array NPerm<dim+1>::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.
source | the simplex facet under investigation. |
index | an index into NPerm<dim+1>::Sn_1; this must be between 0 and dim!-1 inclusive. |
|
inlineprotectedinherited |
Returns the gluing permutation from the given facet to its partner that corresponds to the given index into array NPerm<dim+1>::Sn_1.
This index into NPerm<dim+1>::Sn_1 need not be the index that is currently stored for the given facet.
Indices into array NPerm<dim+1>::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.
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 NPerm<dim+1>::Sn_1; this must be between 0 and dim!-1 inclusive. |
|
inlineinherited |
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
.
true
if an error occurred during construction from an input stream, or false
otherwise.
|
inlineprotectedinherited |
Returns the index into array NPerm<dim+1>::Sn_1 describing how the the given facet is joined to its partner.
Note that this permutation is not a gluing permutation as such, but rather a permutation of 0,...,dim-1 only. For a real facet gluing permutation, see routine gluingPerm().
source | the simplex facet under investigation. |
|
inlineprotectedinherited |
Returns the index into array NPerm<dim+1>::Sn_1 describing how the the given facet is joined to its partner.
Note that this permutation is not a gluing permutation as such, but rather a permutation of 0,...,dim-1 only. For a real facet gluing permutation, see routine gluingPerm().
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 (between 0 and dim inclusive). |
|
inlineprotectedinherited |
Returns the index into array NPerm<dim+1>::Sn_1 describing how the the given facet is joined to its partner.
Note that this permutation is not a gluing permutation as such, but rather a permutation of 0,...,dim-1 only. For a real facet gluing permutation, see routine gluingPerm().
source | the simplex facet under investigation. |
|
inlineprotectedinherited |
Returns the index into array NPerm<dim+1>::Sn_1 describing how the the given facet is joined to its partner.
Note that this permutation is not a gluing permutation as such, but rather a permutation of 0,...,dim-1 only. For a real facet gluing permutation, see routine gluingPerm().
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 (between 0 and dim inclusive). |
|
inlineinherited |
Returns the total number of simplices under consideration.
|
inherited |
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.
|
protectedinherited |
Has an error occurred during construction from an input stream?
|
protectedinherited |
The facet pairing that this permutation set complements.
This is guaranteed to be the minimal representative of its facet pairing isomorphism class.
|
protectedinherited |
The index into array NPerm<dim+1>::Sn_1 describing how each simplex facet is glued to its partner.
Note that this is not a gluing permutation as such but rather a permutation of 0,...,dim-1 only (see the routines gluingToIndex() and indexToGluing() for conversions). If a permutation has not yet been selected (e.g., if this permutation set is still under construction) then this index is -1.