Regina Calculation Engine
Public Member Functions | Static Public Member Functions | Protected Attributes | List of all members
regina::NSVectorMirrored Class Referenceabstract

A normal surface vector that is mirrored in another coordinate system to avoid frequent lengthy calculations. More...

#include <surfaces/nsvectormirrored.h>

Inheritance diagram for regina::NSVectorMirrored:
regina::NormalSurfaceVector regina::NSVectorOrientedQuad regina::NSVectorQuad regina::NSVectorQuadOct regina::NSVectorQuadClosed regina::NSVectorQuadOctClosed

Public Member Functions

 NSVectorMirrored (size_t length)
 Creates a new vector all of whose entries are initialised to zero. More...
 
 NSVectorMirrored (const Vector< LargeInteger > &cloneMe)
 Creates a new vector that is a clone of the given vector. More...
 
virtual ~NSVectorMirrored ()
 Destroys this vector and its mirror if appropriate. More...
 
virtual NormalSurfaceVectormakeMirror (const Triangulation< 3 > *triang) const =0
 Creates a new mirror vector corresponding to this vector. More...
 
virtual void setElement (size_t index, const LargeInteger &value) override
 Sets the given normal coordinate to the given value. More...
 
virtual void operator+= (const NormalSurfaceVector &other) override
 Adds the given vector to this vector. More...
 
virtual void scaleDown () override
 Scales this vector down by the greatest common divisor of all its elements. More...
 
virtual LargeInteger triangles (size_t tetIndex, int vertex, const Triangulation< 3 > *triang) const override
 Returns the number of triangular discs of the given type in this normal surface. More...
 
virtual LargeInteger orientedTriangles (size_t tetIndex, int vertex, const Triangulation< 3 > *triang, bool orientation) const override
 Returns the number of oriented triangular discs of the given type in this normal surface. More...
 
virtual LargeInteger quads (size_t tetIndex, int quadType, const Triangulation< 3 > *triang) const override
 Returns the number of quadrilateral discs of the given type in this normal surface. More...
 
virtual LargeInteger orientedQuads (size_t tetIndex, int quadType, const Triangulation< 3 > *triang, bool orientation) const override
 Returns the number of oriented quadrilateral discs of the given type in this normal surface. More...
 
virtual LargeInteger octs (size_t tetIndex, int octType, const Triangulation< 3 > *triang) const override
 Returns the number of octagonal discs of the given type in this normal surface. More...
 
virtual LargeInteger edgeWeight (size_t edgeIndex, const Triangulation< 3 > *triang) const override
 Returns the number of times this normal surface crosses the given edge. More...
 
virtual LargeInteger arcs (size_t triIndex, int triVertex, const Triangulation< 3 > *triang) const override
 Returns the number of arcs in which this normal surface intersects the given triangle in the given direction. More...
 
const Raycoords () const
 Gives read-only access to the underlying vector of coordinates. More...
 
virtual NormalSurfaceVectorclone () const =0
 Creates a newly allocated clone of this vector. More...
 
size_t size () const
 Returns the number of coordinates in the underlying vector. More...
 
const LargeIntegeroperator[] (size_t index) const
 Returns the given coordinate from the underlying vector. More...
 
virtual bool allowsAlmostNormal () const =0
 Determines if the specific underlying coordinate system allows for almost normal surfaces, that is, allows for octagonal discs. More...
 
virtual bool allowsSpun () const =0
 Determines if the specific underlying coordinate system allows for spun-normal surfaces; that is, surfaces with infinitely many triangles. More...
 
virtual bool allowsOriented () const =0
 Determines if the specific underlying coordinate system allows for transversely oriented normal surfaces. More...
 
virtual bool hasMultipleOctDiscs (const Triangulation< 3 > *triang) const
 Determines if this normal surface has more than one octagonal disc. More...
 
virtual bool isCompact (const Triangulation< 3 > *triang) const
 Determines if the normal surface represented is compact (has finitely many discs). More...
 
virtual bool isVertexLinking (const Triangulation< 3 > *triang) const
 Determines if the normal surface represented is vertex linking. More...
 
virtual const Vertex< 3 > * isVertexLink (const Triangulation< 3 > *triang) const
 Determines if a rational multiple of the normal surface represented is the link of a single vertex. More...
 
virtual std::pair< const Edge< 3 > *, const Edge< 3 > * > isThinEdgeLink (const Triangulation< 3 > *triang) const
 Determines if a rational multiple of the normal surface represented is the thin link of a single edge. More...
 
virtual bool isSplitting (const Triangulation< 3 > *triang) const
 Determines if the normal surface represented is a splitting surface in the given triangulation. More...
 
virtual LargeInteger isCentral (const Triangulation< 3 > *triang) const
 Determines if the normal surface represented is a central surface in the given triangulation. More...
 

Static Public Member Functions

static NormalSurfaceVectormakeMirror (const Ray &original, const Triangulation< 3 > *triang)
 Creates a new mirror vector corresponding to the given vector. More...
 
static NormalSurfaceVectormakeZeroVector (const Triangulation< 3 > *triangulation)
 Returns a new normal surface vector of the appropriate length for the given triangulation and for the coordinate system corresponding to this subclass of NormalSurfaceVector. More...
 
static MatrixIntmakeMatchingEquations (const Triangulation< 3 > *triangulation)
 Creates a new set of normal surface matching equations for the given triangulation using the coordinate system corresponding to this particular subclass of NormalSurfaceVector. More...
 
static EnumConstraintsmakeEmbeddedConstraints (const Triangulation< 3 > *triangulation)
 Creates a new set of validity constraints representing the condition that normal surfaces be embedded. More...
 

Protected Attributes

Ray coords_
 The raw vector of normal coordinates. More...
 

Detailed Description

A normal surface vector that is mirrored in another coordinate system to avoid frequent lengthy calculations.

When it is difficult to convert from the native coordinate system to standard tri-quad-oct coordinates, use this as a base class. The conversion of the entire vector will be done once only, and future coordinate lookups will be performed through the pre-converted mirror vector.

Subclasses need not implement any of the coordinate lookup routines. The default implementation will be to pass the lookup to the mirror. If any particular lookup can be done more efficiently in the native coordinate system, the corresponding routine should be overridden.

Subclasses must however implement two variants of makeMirror():

Python
Not present.

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

Copyright © 1999-2021, 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).