A utility class for searching through all possible gluing permutation sets that correspond to a given pentachoron facet pairing.
More...
|
| GluingPermSearcher (const FacetPairing< 4 > *pairing, const FacetPairing< 4 >::IsoList *autos, bool orientableOnly, bool finiteOnly, GluingPermSearcher< 4 >::Use use, void *useArgs=0) |
| Initialises a new search for gluing permutation sets. More...
|
|
| GluingPermSearcher (std::istream &in, GluingPermSearcher< 4 >::Use use, void *useArgs=0) |
| Initialises a new search manager based on data read from the given input stream. More...
|
|
virtual | ~GluingPermSearcher () |
| Destroys this search manager and all supporting data structures. More...
|
|
virtual void | runSearch (long maxDepth=-1) |
| Generates all possible gluing permutation sets that satisfy the current search criteria. More...
|
|
bool | completePermSet () const |
| Determines whether this search manager holds a complete gluing permutation set or just a partially completed search state. More...
|
|
void | dumpTaggedData (std::ostream &out) const |
| Dumps all internal data in a plain text format, along with a marker to signify which precise class the data belongs to. More...
|
|
virtual void | dumpData (std::ostream &out) const override |
| Dumps all internal data in a plain text format to the given output stream. More...
|
|
| GluingPermSearcher (const GluingPermSearcher &)=delete |
|
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...
|
|
Perm< dim+1 > | gluingPerm (const FacetSpec< dim > &source) const |
| Returns the gluing permutation associated with the given simplex facet. More...
|
|
Perm< 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...
|
|
|
bool | isCanonical () const |
| Compares the current set of gluing permutations with its preimage under each automorphism of the underlying facet pairing, in order to see whether the current set is in canonical form (i.e., is lexicographically smallest). More...
|
|
bool | badTriangleLink (const FacetSpec< 4 > &facet) const |
| Determines whether the permutations already constructed model a 4-manifold triangulation with a (2-dimensional) triangle identified with itself using a non-trivial rotation or reflection. More...
|
|
virtual char | dataTag () const |
| Returns the character used to identify this class when storing tagged data in text format. More...
|
|
int | findTriangleClass (int triID) const |
| Returns the representative of the equivalence class containing the given pentachoron triangle. More...
|
|
int | findTriangleClass (int triID, Perm< 3 > &twist) const |
| Returns the representative of the equivalence class containing the given pentachoron triangle. More...
|
|
bool | mergeEdgeClasses () |
| Merges the classes of pentachoron edges as required by the new gluing made at stage orderElt of the search. More...
|
|
bool | mergeTriangleClasses () |
| Merges the classes of pentachoron triangles as required by the new gluing made at stage orderElt of the search. More...
|
|
void | splitEdgeClasses () |
| Splits the classes of pentachoron edges to mirror the undoing of the gluing at stage orderElt of the search. More...
|
|
void | splitTriangleClasses () |
| Splits the classes of pentachoron triangles to mirror the undoing of the gluing at stage orderElt of the search. More...
|
|
void | edgeBdryJoin (int edgeID, char end, int adjEdgeID, char twist) |
| Signifies that the boundary edges supplied by the linking triangles for the two given pentachoron edges should be marked as adjacent. More...
|
|
void | edgeBdryFixAdj (int edgeID) |
| Adjusts the bdryNext and bdryTwist arrays for nearby pentachoron edges, to ensure that these arrays are consistent with the bdryNext and bdryTwist arrays stored with the given pentachoron edge. More...
|
|
void | edgeBdryBackup (int edgeID) |
| Copies the bdryNext and bdryTwist arrays to the bdryNextOld and bdryTwistOld arrays for the given pentachoron edge. More...
|
|
void | edgeBdryRestore (int edgeID) |
| Copies the bdryNextOld and bdryTwistOld arrays to the bdryNext and bdryTwist arrays for the given pentachoron edge. More...
|
|
void | edgeBdryNext (int edgeID, int pent, int edge, int bdryFacet, int next[2], char twist[2]) |
| Assuming the given edge of the linking triangle for the given pentachoron edge lies on the boundary of the link, this routine identifies the adjacent boundary edges of the link in each direction. More...
|
|
bool | edgeBdryLength1 (int edgeID) |
| Determines whether one of the edges of the linking triangle for the given pentachoron edge in fact forms an entire one-edge boundary component of the overall 4-manifold edge link. More...
|
|
bool | edgeBdryLength2 (int edgeID1, int edgeID2) |
| Determines whether edges of the linking triangles for each of the given pentachoron edges combine to form an entire two-edge boundary component of the overall 4-manifold edge link, with one edge from each triangle. More...
|
|
void | edgeBdryConsistencyCheck () |
| Runs a number of tests on all pentachoron edges to locate consistency errors in the bdryEdges, bdryNext and bdryTwist members of the PentEdgeState class. More...
|
|
void | edgeBdryDump (std::ostream &out) |
| Dumps a summary of bdryNext, bdryTwist and bdryEdges for every edge of every pentachoron to the given output stream. More...
|
|
int & | permIndex (const FacetSpec< dim > &source) |
| Returns the index into array Perm<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 Perm<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 Perm<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 Perm<dim+1>::Sn_1 describing how the the given facet is joined to its partner. More...
|
|
int | gluingToIndex (const FacetSpec< dim > &source, const Perm< dim+1 > &gluing) const |
| Returns the index into array Perm<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 Perm< dim+1 > &gluing) const |
| Returns the index into array Perm<dim+1>::Sn_1 corresponding to the given gluing permutation from the given facet to its partner. More...
|
|
Perm< 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 Perm<dim+1>::Sn_1. More...
|
|
Perm< 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 Perm<dim+1>::Sn_1. More...
|
|
|
const FacetPairing< 4 >::IsoList * | autos_ |
| The set of isomorphisms that define equivalence of gluing permutation sets. More...
|
|
bool | autosNew_ |
| Did we create the isomorphism list autos_ ourselves (in which case we must destroy it also)? More...
|
|
bool | orientableOnly_ |
| Are we only searching for gluing permutations that correspond to orientable triangulations? More...
|
|
bool | finiteOnly_ |
| Are we only searching for gluing permutations that correspond to finite (non-ideal) triangulations? More...
|
|
GluingPermSearcher< 4 >::Use | use_ |
| A routine to call each time a gluing permutation set is found during the search. More...
|
|
void * | useArgs_ |
| Additional user-supplied data to be passed as the second argument to the use_ routine. More...
|
|
bool | started_ |
| Has the search started yet? This helps distinguish between a new search and the resumption of a partially completed search. More...
|
|
int * | orientation_ |
| Keeps track of the orientation of each pentachoron in the underlying triangulation. More...
|
|
FacetSpec< 4 > * | order_ |
| Describes the order in which gluing permutations are assigned to pentachoron facets. More...
|
|
int | orderSize_ |
| The total number of edges in the facet pairing graph, i.e., the number of elements of interest in the order_[] array. More...
|
|
int | orderElt_ |
| Marks which element of order_[] we are currently examining at this stage of the search. More...
|
|
unsigned | nEdgeClasses_ |
| The number of equivalence classes of identified pentachoron edges. More...
|
|
PentEdgeState * | edgeState_ |
| Used for tracking equivalence classes of identified pentachoron edges. More...
|
|
int * | edgeStateChanged_ |
| Tracks the way in which the edgeState_[] array has been updated over time. More...
|
|
unsigned | nTriangleClasses_ |
| The number of equivalence classes of identified pentachoron triangles. More...
|
|
PentTriangleState * | triState_ |
| Used for tracking equivalence classes of identified pentachoron triangles. More...
|
|
int * | triStateChanged_ |
| Tracks the way in which the triState_[] array has been updated over time. More...
|
|
const FacetPairing< dim > * | pairing_ |
| The facet pairing that this permutation set complements. More...
|
|
int * | permIndices_ |
| The index into array Perm<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...
|
|
A utility class for searching through all possible gluing permutation sets that correspond to a given pentachoron facet pairing.
Subclasses of GluingPermSearcher<4> correspond to specialised (and heavily optimised) search algorithms that may be used in sufficiently constrained scenarios. The main class GluingPermSearcher<4> offers a default (but slower) search algorithm that may be used in more general contexts.
The simplest way of performing a search through all possible gluing permutations is by calling the static method findAllPerms(). This will examine the search parameters and ensure that the best possible algorithm is used. For finer control over the program flow, the static method bestSearcher() can be used to create a search manager of the most suitable class and then runSearch() can be called on this object directly. For absolute control, a specific algorithm can be forced by explicitly constructing an object of the corresponding class (and again calling runSearch() on that object directly).
The search algorithm used by this base class employs modified union-find structures for both triangle and edge equivalence classes to prune searches that are guaranteed to lead to invalid triangles or edges. This is a 4-dimensional analogue to the algorithms described in "Enumeration of non-orientable 3-manifolds using face-pairing graphs and
union-find", Benjamin A. Burton, Discrete Comput. Geom. 38 (2007), no. 3, 527–571.
Note that this class derives from GluingPerms<4>. The search will involve building and repeatedly modifying the inherited GluingPerms<4> data in-place.
- Python:\n Not present.