Regina Calculation Engine
Public Member Functions | Protected Attributes | List of all members
regina::TxIParallelCore Class Reference

A specific six-tetrahedron TxICore triangulation that does not fit neatly into other families. More...

#include <subcomplex/txicore.h>

Inheritance diagram for regina::TxIParallelCore:
regina::TxICore regina::Output< TxICore >

Public Member Functions

 TxIParallelCore ()
 Creates a new copy of this T x I triangulation. More...
 
std::ostream & writeName (std::ostream &out) const override
 Writes the name of this specific triangulation of T x I to the given output stream. More...
 
std::ostream & writeTeXName (std::ostream &out) const override
 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 Matrix2bdryReln (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 Matrix2parallelReln () 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...
 

Detailed Description

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.

Member Function Documentation

◆ detail()

std::string regina::Output< TxICore , false >::detail ( ) const
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.

Returns
a detailed text representation of this object.

◆ str()

std::string regina::Output< TxICore , false >::str ( ) const
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.

Python:\n In addition to str(), this is also used as the
Python "stringification" function str().
Returns
a short text representation of this object.

◆ utf8()

std::string regina::Output< TxICore , false >::utf8 ( ) const
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.

Returns
a short text representation of this object.

The documentation for this class was generated from the following file:

Copyright © 1999-2020, The Regina development team
This software is released under the GNU General Public License, with some additional permissions; see the source code for details.
For further information, or to submit a bug or other problem, please contact Ben Burton (bab@maths.uq.edu.au).