#include <nsquad.h>
Public Member Functions | |
NNormalSurfaceVectorQuad (unsigned length) | |
Creates a new vector all of whose entries are initialised to zero. | |
NNormalSurfaceVectorQuad (const NVector< NLargeInteger > &cloneMe) | |
Creates a new vector that is a clone of the given vector. | |
virtual NNormalSurfaceVector * | makeMirror (NTriangulation *triang) const |
Creates a new mirror vector corresponding to this vector. | |
virtual bool | allowsAlmostNormal () const |
Determines if the specific underlying coordinate system allows for almost normal surfaces, that is, allows for octahedral discs. | |
virtual const NVertex * | isVertexLink (NTriangulation *triang) const |
Determines if a rational multiple of the normal surface represented is the link of a single vertex. | |
virtual NLargeInteger | getOctCoord (unsigned long tetIndex, int octType, NTriangulation *triang) const |
Returns the number of octahedral discs of the given type in this normal surface. | |
virtual NVector < NLargeInteger > * | clone () const |
Makes a newly allocated clone of this vector. | |
Static Public Member Functions | |
template<class RayOutputIterator, class FaceOutputIterator> | |
static void | createNonNegativeCone (NTriangulation *triangulation, RayOutputIterator rays, FaceOutputIterator faces) |
Writes to the given output iterators newly allocated rays and faces representing the cone obtained by setting all coordinates non-negative in the flavour of coordinate system corresponding to this particular 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 NCompConstraintSet * | makeEmbeddedConstraints (NTriangulation *triangulation) |
Creates a new set of compatibility constraints representing the condition that normal surfaces be embedded. |
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()).
regina::NNormalSurfaceVectorQuad::NNormalSurfaceVectorQuad | ( | 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::NNormalSurfaceVectorQuad::NNormalSurfaceVectorQuad | ( | const NVector< NLargeInteger > & | cloneMe | ) | [inline] |
Creates a new vector that is a clone of the given vector.
cloneMe | the vector to clone. |
virtual NNormalSurfaceVector* regina::NNormalSurfaceVectorQuad::makeMirror | ( | NTriangulation * | triang | ) | const [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.
virtual bool regina::NNormalSurfaceVectorQuad::allowsAlmostNormal | ( | ) | const [virtual] |
Determines if the specific underlying coordinate system allows for almost normal surfaces, that is, allows for octahedral discs.
Note that this has nothing to do with whether or not this specific surface contains octahedral discs.
true
if and only if almost normal surfaces are allowed. Implements regina::NNormalSurfaceVector.
const NVertex * regina::NNormalSurfaceVectorQuad::isVertexLink | ( | NTriangulation * | triang | ) | const [inline, virtual] |
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.
NLargeInteger regina::NNormalSurfaceVectorQuad::getOctCoord | ( | unsigned long | tetIndex, | |
int | octType, | |||
NTriangulation * | triang | |||
) | const [inline, virtual] |
Returns the number of octahedral 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 octahedrons reside; this should be between 0 and NTriangulation::getNumberOfTetrahedra()-1 inclusive. | |
octType | the number of the vertex splitting that this octahedron type represents; this should be between 0 and 2 inclusive. | |
triang | the triangulation in which this normal surface lives. |
Reimplemented from regina::NNormalSurfaceVectorMirrored.
virtual NVector<NLargeInteger>* regina::NNormalSurfaceVectorQuad::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.
static void regina::NNormalSurfaceVectorQuad::createNonNegativeCone | ( | NTriangulation * | triangulation, | |
RayOutputIterator | rays, | |||
FaceOutputIterator | faces | |||
) | [inline, static] |
Writes to the given output iterators newly allocated rays and faces representing the cone obtained by setting all coordinates non-negative in the flavour of coordinate system corresponding to this particular subclass of NNormalSurfaceVector.
The elements written to rays must be of this particular subclass of NNormalSurfaceVector.
See createNonNegativeCone() for further details.
triangulation | the triangulation upon which the underlying coordinate system is based. | |
rays | the output iterator to which the newly allocated extremal rays will be written; these rays must all be of this particular subclass of NNormalSurfaceVector. This iterator must accept objects of type NRay* . | |
faces | the output iterator to which the newly allocated face perpendiculars will be written; these vectors may be of any subclass of NVector<NLargeInteger>. This iterator must accept objects of type NVector<NLargeInteger>* . |
Reimplemented from regina::NNormalSurfaceVector.
static NMatrixInt* regina::NNormalSurfaceVectorQuad::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 NCompConstraintSet* regina::NNormalSurfaceVectorQuad::makeEmbeddedConstraints | ( | NTriangulation * | triangulation | ) | [static] |
Creates a new set of compatibility constraints representing the condition that normal surfaces be embedded.
The compatibility constraints will be expressed relative to the flavour of coordinate system corresponding to this particular subclass of NNormalSurfaceVector.
triangulation | the triangulation upon which these compatibility constraints will be based. |
Reimplemented from regina::NNormalSurfaceVector.