An almost normal surface vector using standard triangle-quad-oct coordinates. More...
#include <nsanstandard.h>
Public Member Functions | |
NNormalSurfaceVectorANStandard (unsigned length) | |
Creates a new vector all of whose entries are initialised to zero. | |
NNormalSurfaceVectorANStandard (const NVector< NLargeInteger > &cloneMe) | |
Creates a new vector that is a clone of the given vector. | |
virtual bool | allowsAlmostNormal () const |
Determines if the specific underlying coordinate system allows for almost normal surfaces, that is, allows for octagonal discs. | |
virtual NLargeInteger | getTriangleCoord (unsigned long tetIndex, int vertex, NTriangulation *triang) const |
Returns the number of triangular discs of the given type in this normal surface. | |
virtual NLargeInteger | getQuadCoord (unsigned long tetIndex, int quadType, NTriangulation *triang) const |
Returns the number of quadrilateral discs of the given type in this normal surface. | |
virtual NLargeInteger | getOctCoord (unsigned long tetIndex, int octType, NTriangulation *triang) const |
Returns the number of octagonal discs of the given type in this normal surface. | |
virtual NLargeInteger | getEdgeWeight (unsigned long edgeIndex, NTriangulation *triang) const |
Returns the number of times this normal surface crosses the given edge. | |
virtual NLargeInteger | getFaceArcs (unsigned long faceIndex, int faceVertex, NTriangulation *triang) const |
Returns the number of arcs in which this normal surface intersects the given face in the given direction. | |
virtual NVector< NLargeInteger > * | clone () const |
Makes a newly allocated clone of this vector. | |
Static Public Member Functions | |
static NNormalSurfaceVector * | makeZeroVector (const NTriangulation *triangulation) |
Returns a new normal surface vector of the appropriate length for the given triangulation and for the flavour of coordinate system corresponding to this subclass of NNormalSurfaceVector. | |
static NMatrixInt * | makeMatchingEquations (NTriangulation *triangulation) |
Creates a new set of normal surface matching equations for the given triangulation using the flavour of coordinate system corresponding to this particular subclass of NNormalSurfaceVector. | |
static NEnumConstraintList * | makeEmbeddedConstraints (NTriangulation *triangulation) |
Creates a new set of validity constraints representing the condition that normal surfaces be embedded. |
An almost normal surface vector using standard triangle-quad-oct coordinates.
If there are t tetrahedra in the underlying triangulation, there must be precisely 10t coordinates. The first ten coordinates will be for the first tetrahedron, the next ten for the second tetrahedron and so on. For each tetrahedron, the first four represent the number of triangular discs about vertex 0, 1, 2 and 3, the next three represent the number of quadrilateral discs of type 0, 1 and 2 (see NNormalSurface::getQuadCoord()) and the final three represent the number of octagonal discs of type 0, 1 and 2 (see NNormalSurface::getOctCoord()).
regina::NNormalSurfaceVectorANStandard::NNormalSurfaceVectorANStandard | ( | unsigned | length | ) | [inline] |
Creates a new vector all of whose entries are initialised to zero.
length | the number of elements in the new vector. |
regina::NNormalSurfaceVectorANStandard::NNormalSurfaceVectorANStandard | ( | const NVector< NLargeInteger > & | cloneMe | ) | [inline] |
Creates a new vector that is a clone of the given vector.
cloneMe | the vector to clone. |
virtual bool regina::NNormalSurfaceVectorANStandard::allowsAlmostNormal | ( | ) | const [virtual] |
Determines if the specific underlying coordinate system allows for almost normal surfaces, that is, allows for octagonal discs.
Note that this has nothing to do with whether or not this specific surface contains octagonal discs.
true
if and only if almost normal surfaces are allowed. Implements regina::NNormalSurfaceVector.
virtual NVector<NLargeInteger>* regina::NNormalSurfaceVectorANStandard::clone | ( | ) | const [virtual] |
Makes a newly allocated clone of this vector.
The clone will be of the same subclass of NVector as this vector.
Reimplemented from regina::NRay.
virtual NLargeInteger regina::NNormalSurfaceVectorANStandard::getEdgeWeight | ( | unsigned long | edgeIndex, | |
NTriangulation * | triang | |||
) | const [virtual] |
Returns the number of times this normal surface crosses the given edge.
See NNormalSurface::getEdgeWeight() for further details.
edgeIndex | the index in the triangulation of the edge in which we are interested; this should be between 0 and NTriangulation::getNumberOfEdges()-1 inclusive. | |
triang | the triangulation in which this normal surface lives. |
Implements regina::NNormalSurfaceVector.
virtual NLargeInteger regina::NNormalSurfaceVectorANStandard::getFaceArcs | ( | unsigned long | faceIndex, | |
int | faceVertex, | |||
NTriangulation * | triang | |||
) | const [virtual] |
Returns the number of arcs in which this normal surface intersects the given face in the given direction.
See NNormalSurface::getFaceArcs() for further details.
faceIndex | the index in the triangulation of the face in which we are interested; this should be between 0 and NTriangulation::getNumberOfFaces()-1 inclusive. | |
faceVertex | the vertex of the face (0, 1 or 2) around which the arcs of intersection that we are interested in lie; only these arcs will be counted. | |
triang | the triangulation in which this normal surface lives. |
Implements regina::NNormalSurfaceVector.
NLargeInteger regina::NNormalSurfaceVectorANStandard::getOctCoord | ( | unsigned long | tetIndex, | |
int | octType, | |||
NTriangulation * | triang | |||
) | const [inline, virtual] |
Returns the number of octagonal discs of the given type in this normal surface.
See NNormalSurface::getOctCoord() for further details.
tetIndex | the index in the triangulation of the tetrahedron in which the requested octagons reside; this should be between 0 and NTriangulation::getNumberOfTetrahedra()-1 inclusive. | |
octType | the number of the vertex splitting that this octagon type represents; this should be between 0 and 2 inclusive. | |
triang | the triangulation in which this normal surface lives. |
Implements regina::NNormalSurfaceVector.
NLargeInteger regina::NNormalSurfaceVectorANStandard::getQuadCoord | ( | unsigned long | tetIndex, | |
int | quadType, | |||
NTriangulation * | triang | |||
) | const [inline, virtual] |
Returns the number of quadrilateral discs of the given type in this normal surface.
See NNormalSurface::getQuadCoord() for further details.
tetIndex | the index in the triangulation of the tetrahedron in which the requested quadrilaterals reside; this should be between 0 and NTriangulation::getNumberOfTetrahedra()-1 inclusive. | |
quadType | the number of the vertex splitting that this quad type represents; this should be between 0 and 2 inclusive. | |
triang | the triangulation in which this normal surface lives. |
Implements regina::NNormalSurfaceVector.
NLargeInteger regina::NNormalSurfaceVectorANStandard::getTriangleCoord | ( | unsigned long | tetIndex, | |
int | vertex, | |||
NTriangulation * | triang | |||
) | const [inline, virtual] |
Returns the number of triangular discs of the given type in this normal surface.
See NNormalSurface::getTriangleCoord() for further details.
tetIndex | the index in the triangulation of the tetrahedron in which the requested triangles reside; this should be between 0 and NTriangulation::getNumberOfTetrahedra()-1 inclusive. | |
vertex | the vertex of the given tetrahedron around which the requested triangles lie; this should be between 0 and 3 inclusive. | |
triang | the triangulation in which this normal surface lives. |
Implements regina::NNormalSurfaceVector.
static NEnumConstraintList* regina::NNormalSurfaceVectorANStandard::makeEmbeddedConstraints | ( | NTriangulation * | triangulation | ) | [static] |
Creates a new set of validity constraints representing the condition that normal surfaces be embedded.
The validity constraints will be expressed relative to the flavour of coordinate system corresponding to this particular subclass of NNormalSurfaceVector.
triangulation | the triangulation upon which these validity constraints will be based. |
Reimplemented from regina::NNormalSurfaceVector.
static NMatrixInt* regina::NNormalSurfaceVectorANStandard::makeMatchingEquations | ( | NTriangulation * | triangulation | ) | [static] |
Creates a new set of normal surface matching equations for the given triangulation using the flavour of coordinate system corresponding to this particular subclass of NNormalSurfaceVector.
See makeMatchingEquations() for further details.
triangulation | the triangulation upon which these matching equations will be based. |
Reimplemented from regina::NNormalSurfaceVector.
static NNormalSurfaceVector* regina::NNormalSurfaceVectorANStandard::makeZeroVector | ( | const NTriangulation * | triangulation | ) | [static] |
Returns a new normal surface vector of the appropriate length for the given triangulation and for the flavour of coordinate system corresponding to this subclass of NNormalSurfaceVector.
All elements of the new vector will be initialised to zero.
See makeZeroVector() for further details.
triangulation | the triangulation upon which the underlying coordinate system is based. |
Reimplemented from regina::NNormalSurfaceVector.