Regina Calculation Engine
|
A normal surface vector using quad coordinates. More...
#include <surfaces/nsquad.h>
Public Member Functions | |
NNormalSurfaceVectorQuad (unsigned length) | |
Creates a new vector all of whose entries are initialised to zero. More... | |
NNormalSurfaceVectorQuad (const NVector< NLargeInteger > &cloneMe) | |
Creates a new vector that is a clone of the given vector. More... | |
virtual NNormalSurfaceVector * | makeMirror (NTriangulation *triang) const |
Creates a new mirror vector corresponding to this vector. More... | |
virtual bool | allowsAlmostNormal () const |
Determines if the specific underlying coordinate system allows for almost normal surfaces, that is, allows for octagonal discs. More... | |
virtual bool | allowsSpun () const |
Determines if the specific underlying coordinate system allows for spun-normal surfaces; that is, surfaces with infinitely many triangles. More... | |
virtual bool | allowsOriented () const |
Determines if the specific underlying coordinate system allows for transversely oriented normal surfaces. More... | |
virtual const NVertex * | isVertexLink (NTriangulation *triang) const |
Determines if a rational multiple of the normal surface represented is the link of a single vertex. More... | |
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. More... | |
virtual NNormalSurfaceVector * | clone () const |
Creates a newly allocated clone of this vector. More... | |
![]() | |
NNormalSurfaceVectorMirrored (unsigned length) | |
Creates a new vector all of whose entries are initialised to zero. More... | |
NNormalSurfaceVectorMirrored (const NVector< NLargeInteger > &cloneMe) | |
Creates a new vector that is a clone of the given vector. More... | |
NNormalSurfaceVectorMirrored (const NNormalSurfaceVectorMirrored &cloneMe) | |
Creates a new vector that is a clone of the given vector. More... | |
virtual | ~NNormalSurfaceVectorMirrored () |
Destroys this vector and its mirror if appropriate. More... | |
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. More... | |
virtual NLargeInteger | getOrientedTriangleCoord (unsigned long tetIndex, int vertex, NTriangulation *triang, bool orientation) const |
Returns the number of oriented triangular discs of the given type in this normal surface. More... | |
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. More... | |
virtual NLargeInteger | getOrientedQuadCoord (unsigned long tetIndex, int quadType, NTriangulation *triang, bool orientation) const |
Returns the number of oriented quadrilateral discs of the given type in this normal surface. More... | |
virtual NLargeInteger | getEdgeWeight (unsigned long edgeIndex, NTriangulation *triang) const |
Returns the number of times this normal surface crosses the given edge. More... | |
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. More... | |
![]() | |
NNormalSurfaceVector (unsigned length) | |
Creates a new vector all of whose entries are initialised to zero. More... | |
NNormalSurfaceVector (const NVector< NLargeInteger > &cloneMe) | |
Creates a new vector that is a clone of the given vector. More... | |
virtual | ~NNormalSurfaceVector () |
A virtual destructor. More... | |
virtual bool | hasMultipleOctDiscs (NTriangulation *triang) const |
Determines if this normal surface has more than one octagonal disc. More... | |
virtual bool | isCompact (NTriangulation *triang) const |
Determines if the normal surface represented is compact (has finitely many discs). More... | |
virtual bool | isVertexLinking (NTriangulation *triang) const |
Determines if the normal surface represented is vertex linking. More... | |
virtual std::pair< const NEdge *, const NEdge * > | isThinEdgeLink (NTriangulation *triang) const |
Determines if a rational multiple of the normal surface represented is the thin link of a single edge. More... | |
virtual bool | isSplitting (NTriangulation *triang) const |
Determines if the normal surface represented is a splitting surface in the given triangulation. More... | |
virtual NLargeInteger | isCentral (NTriangulation *triang) const |
Determines if the normal surface represented is a central surface in the given triangulation. More... | |
![]() | |
NRay (unsigned length) | |
Creates a new ray all of whose coordinates are initialised to zero. More... | |
NRay (const NVector< NLargeInteger > &cloneMe) | |
Creates a new ray that is a clone of the given ray. More... | |
void | scaleDown () |
Scales this vector down by the greatest common divisor of all its elements. More... | |
void | negate () |
![]() | |
NVector (unsigned newVectorSize) | |
Creates a new vector. More... | |
NVector (unsigned newVectorSize, const NLargeInteger &initValue) | |
Creates a new vector and initialises every element to the given value. More... | |
NVector (const NVector< NLargeInteger > &cloneMe) | |
Creates a new vector that is a clone of the given vector. More... | |
~NVector () | |
Destroys this vector. More... | |
unsigned | size () const |
Returns the number of elements in the vector. More... | |
const NLargeInteger & | operator[] (unsigned index) const |
Returns the element at the given index in the vector. More... | |
void | setElement (unsigned index, const NLargeInteger &value) |
Sets the element at the given index in the vector to the given value. More... | |
bool | operator== (const NVector< NLargeInteger > &compare) const |
Determines if this vector is equal to the given vector. More... | |
NVector< NLargeInteger > & | operator= (const NVector< NLargeInteger > &cloneMe) |
Sets this vector equal to the given vector. More... | |
void | operator+= (const NVector< NLargeInteger > &other) |
Adds the given vector to this vector. More... | |
void | operator-= (const NVector< NLargeInteger > &other) |
Subtracts the given vector from this vector. More... | |
void | operator*= (const NLargeInteger &factor) |
Multiplies this vector by the given scalar. More... | |
NLargeInteger | operator* (const NVector< NLargeInteger > &other) const |
Calculates the dot product of this vector and the given vector. More... | |
void | negate () |
Negates every element of this vector. More... | |
NLargeInteger | norm () const |
Returns the norm of this vector. More... | |
NLargeInteger | elementSum () const |
Returns the sum of all elements of this vector. More... | |
void | addCopies (const NVector< NLargeInteger > &other, const NLargeInteger &multiple) |
Adds the given multiple of the given vector to this vector. More... | |
void | subtractCopies (const NVector< NLargeInteger > &other, const NLargeInteger &multiple) |
Subtracts the given multiple of the given vector to this vector. More... | |
Static Public Member Functions | |
static NNormalSurfaceVector * | makeZeroVector (const NTriangulation *triangulation) |
static NMatrixInt * | makeMatchingEquations (NTriangulation *triangulation) |
static NEnumConstraintList * | makeEmbeddedConstraints (NTriangulation *triangulation) |
Additional Inherited Members | |
![]() | |
static NLargeInteger | zero |
Zero in the underlying number system. More... | |
static NLargeInteger | one |
One in the underlying number system. More... | |
static NLargeInteger | minusOne |
Negative one in the underlying number system. More... | |
![]() | |
NLargeInteger * | elements |
The internal array containing all vector elements. More... | |
NLargeInteger * | end |
A pointer just beyond the end of the internal array. More... | |
A normal surface vector using quad coordinates.
If there are t tetrahedra in the underlying triangulation, there must be precisely 3t coordinates. The first three coordinates will be for the first tetrahedron, the next three for the second tetrahedron and so on. For each tetrahedron, the three individual coordinates represent the number of quadrilateral discs of type 0, 1 and 2 (see NNormalSurface::getQuadCoord()).
|
inline |
Creates a new vector all of whose entries are initialised to zero.
length | the number of elements in the new vector. |
|
inline |
Creates a new vector that is a clone of the given vector.
cloneMe | the vector to clone. |
|
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 |
Determines if the specific underlying coordinate system allows for transversely oriented normal surfaces.
true
if and only if transverse orientations are supported. Implements regina::NNormalSurfaceVector.
|
virtual |
Determines if the specific underlying coordinate system allows for spun-normal surfaces; that is, surfaces with infinitely many triangles.
Note that this has nothing to do with whether or not this specific surface contains infinitely many triangles.
true
if and only if spun-normal surfaces are allowed. Implements regina::NNormalSurfaceVector.
|
virtual |
Creates a newly allocated clone of this vector.
The clone will be of the same subclass of NNormalSurfaceVector as this vector.
Implements regina::NNormalSurfaceVector.
|
inlinevirtual |
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. |
Reimplemented from regina::NNormalSurfaceVectorMirrored.
|
inlinevirtual |
Determines if a rational multiple of the normal surface represented is the link of a single vertex.
The default implementation for this routine involves counting the number of discs of every type. Subclasses of NNormalSurfaceVector should override this if they can provide a faster implementation.
triang | the triangulation in which this normal surface lives. |
Reimplemented from regina::NNormalSurfaceVector.
|
virtual |
Creates a new mirror vector corresponding to this vector.
The mirror vector should represent the same normal surface as this vector, and should have fast coordinate lookup routines (getTriangleCoord(), getQuadCord() and so on). It is recommended that the mirror vector be an NNormalSurfaceVectorStandard or an NNormalSurfaceVectorANStandard.
triang | the triangulation in which this normal surface lives. |
Implements regina::NNormalSurfaceVectorMirrored.