1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
/**************************************************************************
* *
* Regina - A Normal Surface Theory Calculator *
* Computational Engine *
* *
* Copyright (c) 1999-2011, Ben Burton *
* For further details contact Ben Burton (bab@debian.org). *
* *
* This program is free software; you can redistribute it and/or *
* modify it under the terms of the GNU General Public License as *
* published by the Free Software Foundation; either version 2 of the *
* License, or (at your option) any later version. *
* *
* This program is distributed in the hope that it will be useful, but *
* WITHOUT ANY WARRANTY; without even the implied warranty of *
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *
* General Public License for more details. *
* *
* You should have received a copy of the GNU General Public *
* License along with this program; if not, write to the Free *
* Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, *
* MA 02110-1301, USA. *
* *
**************************************************************************/
/* end stub */
/*! \file surfaces/nsquad.h
* \brief Implements normal surface vectors using quad coordinates.
*/
#ifndef __NSQUAD_H
#ifndef __DOXYGEN
#define __NSQUAD_H
#endif
#include "regina-core.h"
#include "surfaces/nsmirrored.h"
namespace regina {
class NMatrixInt;
/**
* \weakgroup surfaces
* @{
*/
/**
* A normal surface vector using quad coordinates.
*
* If there are \a t tetrahedra in the underlying
* triangulation, there must be precisely 3<i>t</i> 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()).
*
* \ifacespython Not present.
*/
class REGINA_API NNormalSurfaceVectorQuad :
public NNormalSurfaceVectorMirrored {
public:
/**
* Creates a new vector all of whose entries are initialised to
* zero.
*
* @param length the number of elements in the new vector.
*/
NNormalSurfaceVectorQuad(unsigned length);
/**
* Creates a new vector that is a clone of the given vector.
*
* @param cloneMe the vector to clone.
*/
NNormalSurfaceVectorQuad(const NVector<NLargeInteger>& cloneMe);
virtual NNormalSurfaceVector* makeMirror(NTriangulation* triang) const;
virtual bool allowsAlmostNormal() const;
virtual bool allowsSpun() const;
virtual bool allowsOriented() const;
virtual const NVertex* isVertexLink(NTriangulation* triang) const;
virtual NLargeInteger getOctCoord(unsigned long tetIndex,
int octType, NTriangulation* triang) const;
virtual NNormalSurfaceVector* clone() const;
static NNormalSurfaceVector* makeZeroVector(
const NTriangulation* triangulation);
static NMatrixInt* makeMatchingEquations(NTriangulation* triangulation);
static NEnumConstraintList* makeEmbeddedConstraints(
NTriangulation* triangulation);
};
/*@}*/
// Inline functions for NNormalSurfaceVectorQuad
inline NNormalSurfaceVectorQuad::NNormalSurfaceVectorQuad(
unsigned length) : NNormalSurfaceVectorMirrored(length) {
}
inline NNormalSurfaceVectorQuad::NNormalSurfaceVectorQuad(
const NVector<NLargeInteger>& cloneMe) :
NNormalSurfaceVectorMirrored(cloneMe) {
}
inline const NVertex* NNormalSurfaceVectorQuad::isVertexLink(
NTriangulation*) const {
// Quad space does not contain vertex links at all.
return 0;
}
inline NLargeInteger NNormalSurfaceVectorQuad::getOctCoord(
unsigned long, int, NTriangulation*) const {
return zero;
}
} // namespace regina
#endif
|
