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 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303
|
/**************************************************************************
* *
* Regina - A Normal Surface Theory Calculator *
* Computational Engine *
* *
* Copyright (c) 1999-2008, 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 nanglestructure.h
* \brief Deals with angle structures on triangulations.
*/
#ifndef __NANGLESTRUCTURE_H
#ifndef __DOXYGEN
#define __NANGLESTRUCTURE_H
#endif
#include "shareableobject.h"
#include "file/nfilepropertyreader.h"
#include "maths/nray.h"
#include "utilities/nrational.h"
namespace regina {
class NTriangulation;
class NXMLAngleStructureReader;
/**
* \addtogroup angle Angle Structures
* Angle structures on triangulations.
* @{
*/
/**
* A vector of integers used to indirectly store the individual angles
* in an angle structure.
*
* This vector will contain one member per angle plus a final scaling
* member; to obtain the actual angle in the angle structure one should
* divide the corresonding angle member by the scaling member and then
* multiply by <i>pi</i>.
*
* The reason for using this obfuscated representation is so we can
* be lazy and use the NVertexEnumerator vertex solution routines to
* calculate vertex angle structures.
*
* If there are \a t tetrahedra in the underlying triangulation, there
* will be precisely 3<i>t</i>+1 elements in this vector. The first
* three elements will be the angle members for the first tetrahedron,
* the next three for the second tetrahedron and so on. For each
* tetraheron, the three individual elements are the angle members
* for vertex splittings 0, 1 and 2 (see NAngleStructure::getAngle()).
* The final element of the vector is the scaling member as described
* above.
*
* \testpart
*
* \ifacespython Not present.
*/
class NAngleStructureVector : public NRay {
public:
/**
* Creates a new vector all of whose entries are initialised to
* zero.
*
* @param length the number of elements in the new vector.
*/
NAngleStructureVector(unsigned length);
/**
* Creates a new vector that is a clone of the given vector.
*
* @param cloneMe the vector to clone.
*/
NAngleStructureVector(const NVector<NLargeInteger>& cloneMe);
virtual NVector<NLargeInteger>* clone() const;
};
/**
* Represents an angle structure on a triangulation.
* Once the underlying triangulation changes, this angle structure
* is no longer valid.
*
* \testpart
*/
class NAngleStructure : public ShareableObject, public NFilePropertyReader {
private:
NAngleStructureVector* vector;
/**< Stores (indirectly) the individual angles in this angle
* structure. */
NTriangulation* triangulation;
/**< The triangulation on which this angle structure is placed. */
mutable unsigned long flags;
/**< Stores a variety of angle structure properties as
* described by the flag constants in this class.
* Flags can be combined using bitwise OR. */
static const unsigned long flagStrict;
/**< Signals that this angle structure is strict. */
static const unsigned long flagTaut;
/**< Signals that this angle structure is taut. */
static const unsigned long flagCalculatedType;
/**< Signals that the type (strict/taut) has been calculated. */
public:
/**
* Creates a new angle structure on the given triangulation with
* the given coordinate vector.
*
* \ifacespython Not present.
*
* @param triang the triangulation on which this angle structure lies.
* @param newVector a vector containing the individual angles in the
* angle structure.
*/
NAngleStructure(NTriangulation* triang,
NAngleStructureVector* newVector);
/**
* Destroys this angle structure.
* The underlying vector of angles will also be deallocated.
*/
virtual ~NAngleStructure();
/**
* Creates a newly allocated clone of this angle structure.
*
* @return a clone of this angle structure.
*/
NAngleStructure* clone() const;
/**
* Returns the requested angle in this angle structure.
* The angle returned will be scaled down; the actual angle is
* the returned value multiplied by <i>pi</i>.
*
* @param tetIndex the index in the triangulation of the
* tetrahedron in which the requested angle lives; this should
* be between 0 and NTriangulation::getNumberOfTetrahedra()-1
* inclusive.
* @param edgePair the number of the vertex splitting
* representing the pair of edges holding the requested angle;
* this should be between 0 and 2 inclusive. See ::vertexSplit
* and ::vertexSplitDefn for details regarding vertex
* splittings.
* @return the requested angle scaled down by <i>pi</i>.
*/
NRational getAngle(unsigned long tetIndex, int edgePair) const;
/**
* Returns the triangulation on which this angle structure lies.
*
* @return the underlying triangulation.
*/
NTriangulation* getTriangulation() const;
/**
* Determines whether this is a strict angle structure.
* A strict angle structure has all angles strictly between (not
* including) 0 and <i>pi</i>.
*
* @return \c true if and only if this is a strict angle structure.
*/
bool isStrict() const;
/**
* Determines whether this is a taut structure.
* A taut structure contains only angles 0 and <i>pi</i>.
*
* @return \c true if and only if this is a taut structure.
*/
bool isTaut() const;
void writeTextShort(std::ostream& out) const;
/**
* Writes a chunk of XML containing this angle structure and all
* of its properties. This routine will be called from within
* NAngleStructureList::writeXMLPacketData().
*
* \ifacespython Not present.
*
* @param out the output stream to which the XML should be written.
*/
void writeXMLData(std::ostream& out) const;
/**
* Writes this angle structure and all of its properties to the
* given old-style binary file.
*
* This routine writes precisely what readFromFile() reads.
*
* \deprecated For the preferred way to write data to file, see
* writeXMLData() instead.
*
* \pre The given file is currently opened for writing.
*
* \ifacespython Not present.
*
* @param out the file to which to write.
*/
void writeToFile(NFile& out) const;
/**
* Reads an angle structure and all its properties from the
* given old-style binary file.
*
* This routine reads precisely what writeToFile() writes.
*
* \deprecated For the preferred way of reading angle structures
* from file, see class NXMLAngleStructureReader instead.
*
* \pre The given file is currently opened for reading.
*
* \ifacespython Not present.
*
* @param in the file from which to read.
* @param triangulation the triangulation on which this angle
* structure will lie.
* @return a newly allocated angle structure containing the
* information read from file.
*/
static NAngleStructure* readFromFile(NFile& in,
NTriangulation* triangulation);
protected:
virtual void readIndividualProperty(NFile& infile, unsigned propType);
/**
* Calculates the structure type (strict or taut) and stores it
* as a property.
*/
void calculateType() const;
friend class regina::NXMLAngleStructureReader;
};
/*@}*/
// Inline functions for NAngleStructureVector
inline NAngleStructureVector::NAngleStructureVector(unsigned length) :
NRay(length) {
}
inline NAngleStructureVector::NAngleStructureVector(
const NVector<NLargeInteger>& cloneMe) : NRay(cloneMe) {
}
inline NVector<NLargeInteger>* NAngleStructureVector::clone() const {
return new NAngleStructureVector(*this);
}
// Inline functions for NAngleStructure
inline NAngleStructure::NAngleStructure(NTriangulation* triang,
NAngleStructureVector* newVector) : vector(newVector),
triangulation(triang), flags(0) {
}
inline NAngleStructure::~NAngleStructure() {
delete vector;
}
inline NTriangulation* NAngleStructure::getTriangulation() const {
return triangulation;
}
inline bool NAngleStructure::isStrict() const {
if ((flags & flagCalculatedType) == 0)
calculateType();
return ((flags & flagStrict) != 0);
}
inline bool NAngleStructure::isTaut() const {
if ((flags & flagCalculatedType) == 0)
calculateType();
return ((flags & flagTaut) != 0);
}
} // namespace regina
#endif
|