Regina Calculation Engine
|
A specific six-tetrahedron TxICore triangulation that does not fit neatly into other families. More...
#include <subcomplex/txicore.h>
Public Member Functions | |
TxIParallelCore () | |
Creates a new copy of this T x I triangulation. More... | |
std::ostream & | writeName (std::ostream &out) const |
Writes the name of this specific triangulation of T x I to the given output stream. More... | |
std::ostream & | writeTeXName (std::ostream &out) const |
Writes the name of this specific triangulation of T x I in TeX format to the given output stream. More... | |
const Triangulation< 3 > & | core () const |
Returns a full copy of the T x I triangulation that this object describes. More... | |
unsigned | bdryTet (unsigned whichBdry, unsigned whichTri) const |
Determines which tetrahedron provides the requested boundary triangle. More... | |
Perm< 4 > | bdryRoles (unsigned whichBdry, unsigned whichTri) const |
Describes which tetrahedron vertices play which roles in the upper and lower boundary triangles. More... | |
const Matrix2 & | bdryReln (unsigned whichBdry) const |
Returns a 2-by-2 matrix describing the alpha and beta curves on a torus boundary in terms of specific tetrahedron edges. More... | |
const Matrix2 & | parallelReln () const |
Returns a 2-by-2 matrix describing the parallel relationship between the upper and lower boundary curves. More... | |
std::string | name () const |
Returns the name of this specific triangulation of T x I as a human-readable string. More... | |
std::string | TeXName () const |
Returns the name of this specific triangulation of T x I in TeX format. More... | |
void | writeTextShort (std::ostream &out) const |
Writes a short text representation of this object to the given output stream. More... | |
void | writeTextLong (std::ostream &out) const |
Writes a detailed text representation of this object to the given output stream. More... | |
std::string | str () const |
Returns a short text representation of this object. More... | |
std::string | utf8 () const |
Returns a short text representation of this object using unicode characters. More... | |
std::string | detail () const |
Returns a detailed text representation of this object. More... | |
Protected Attributes | |
Triangulation< 3 > | core_ |
A full copy of the T x I triangulation that is described. More... | |
unsigned | bdryTet_ [2][2] |
The tetrahedra that provide the upper and lower boundary triangles. More... | |
Perm< 4 > | bdryRoles_ [2][2] |
Describes which tetrahedron vertices play which roles in the upper and lower boundary triangles. More... | |
Matrix2 | bdryReln_ [2] |
Expresses the alpha and beta curves for each torus boundary in terms of specific tetrahedron edges and vertices. More... | |
Matrix2 | parallelReln_ |
Expresses the lower alpha and beta curves in terms of the upper alpha and beta curves. More... | |
A specific six-tetrahedron TxICore triangulation that does not fit neatly into other families.
This triangulation contains the fewest possible number of tetrahedra (TxICore triangulations are not seen below six tetrahedra). It is referred to as T_6^1
in the paper "Structures of small closed
non-orientable 3-manifold triangulations", Benjamin A. Burton, J. Knot Theory Ramifications 16 (2007), 545–574. In Regina it is given the name T_6*
, to avoid confusion with the different TxIDiagonalCore triangulation T_6:1
.
The triangulations of the upper and lower boundary tori are completely parallel (and in particular, the upper and lower alpha curves are parallel, as are the upper and lower beta curves).
For reference, the central torus of this triangulation is depicted below. The left and right sides of the diagram are identified, as are the top and bottom. The four triangles u0, u1, w0 and w1 provide the boundary triangles of the overall triangulation, with the upper boundary coned out from triangles u0 and u1 and the lower boundary coned out from triangles w0 and w1. In each boundary, u0 or w0 gives the first boundary triangle and u1 or w1 gives the second. The directions of the corresponding alpha and beta curves are are also included.
|
inherited |
Returns a detailed text representation of this object.
This text may span many lines, and should provide the user with all the information they could want. It should be human-readable, should not contain extremely long lines (which cause problems for users reading the output in a terminal), and should end with a final newline. There are no restrictions on the underlying character set.
|
inherited |
Returns a short text representation of this object.
This text should be human-readable, should fit on a single line, and should not end with a newline. Where possible, it should use plain ASCII characters.
__str__()
.
|
inherited |
Returns a short text representation of this object using unicode characters.
Like str(), this text should be human-readable, should fit on a single line, and should not end with a newline. In addition, it may use unicode characters to make the output more pleasant to read. This string will be encoded in UTF-8.