Index

— 0-9 —

0-efficiency
making a triangulaton 0-efficient
testing for 0-efficiency
2-0 edge move
(see See: elementary moves)
2-0 vertex move
(see See: elementary moves)
2-1 move
(see See: elementary moves)
2-3 move
(see See: elementary moves)
3-2 move
(see See: elementary moves)
3-ball recognition
3-sphere recognition
4-4 move
(see See: elementary moves)

— A —

almost normal surfaces
(see See: normal surfaces)
angle structures
definition
enumerating vertex angle structures
enumerating taut structures
individual angles
strict, testing
taut, testing
API documentation
(see See: documentation)
augmented triangular solid torus, creation
auto-indent

— B —

barycentric subdivision
book closing move
(see See: elementary moves)
book opening move
(see See: elementary moves)
boundary
extension from real to ideal
of a normal surface
of a triangulation
boundary components, viewing in a triangulation
boundary shelling move
(see See: elementary moves)
bug reporting

— C —

C++ source
(see See: source code)
calculation engine
accessing
documentation
Casson
(see See: Orb)
census
creating a census of splitting surface signatures
creating a census of triangulations (command-line)
creating a census of triangulations (GUI)
distributing census creation across several machines
searching for a triangulation in the available censuses
searching for a triangulation, configuration
central surfaces, recognising
character encodings
in imports and exports
in Python
cloning packets
close book
(see See: elementary moves)
closed triangulations in SnapPea
code
(see See: libraries)
collapsing an edge
(see See: elementary moves)
combinatorial composition
combining data files
combining surface filters
comma-separated values
exporting normal surface lists to CSV files
command-line tools
scripting interface
specialised utilities
compactness of normal surfaces
compatibility matrices for normal surfaces
displaying
threshold for automatic generation
compiling
compiling Regina into other code
fixing compile errors when building Regina
component decomposition
components, viewing in a triangulation
composition, combinatorial
(see See: combinatorial composition)
configuration
census lookup</a>
GAP (Groups, Algorithms and Programming)
general
Graphviz
normal surface enumeration
PDF viewing
Python scripting
SnapPea interaction
triangulation viewing and editing
connected sum decomposition
connectedness, testing for
container packets
conversion between file formats
coordinate systems, normal surface
configuring default coordinate system
enumerating in a particular coordinate system
explanation of different coordinate systems
viewing in a different coordinate system
crushing a normal surface
crushing an edge
(see See: elementary moves)
CSV
(see See: comma-separated values)
cusps, identifying in a triangulation
cutting along a normal surface
CW-decomposition

— D —

data files
(see See: files)
decomposition
by components
by connected sum
dehydrated triangulations
importing a list of dehydration strings
rehydrating from a dehydration string
viewing the dehydration string for a triangulation
deleting packets
disjoint normal surfaces
(see See: compatibility matrices for normal surfaces)
docking packets
documentation
Regina objects, classes and methods
double cover
(see See: orientable double cover)
dual 1-skeleton
(see See: face pairing graphs)
<dt>dual CW-decomposition
(see See: CW-decomposition)
dumping contents of a file

— E —

edge linking surfaces, recognising
edge weight normal coordinates
(see See: coordinate systems)
edges, viewing in a triangulation
editing packets
elementary moves on triangulations
embeddability in homology spheres
embedded normal surfaces, enumerating
embedded PDF viewer, configuration
encodings
(see See: character encodings)
enumerating vertex angle structures
enumerating vertex normal surfaces
errors, fixing
Euler characteristic
of a manifold
of a normal surface
examples
Python scripting
sample data files
triangulations
exporting data
extension
of a triangulation boundary
external PDF viewer, configuration

— F —

face arc normal coordinates
(see See: coordinate systems)
face gluings
(see See: tetrahedron face gluings)
face pairing graphs
faces, viewing in a triangulation
feature set
figure eight knot complement
files
automatic file extension
combining data files
comparing triangulations between data files
conversion between file formats
dumping contents of a file
exporting data
identifying file types
importing data
sample data files
specification of file format
<dt>filtering normal surface lists
(see See: surface filters)
finite boundary
(see See: boundary)
floating packets in separate windows
frequently asked questions
fundamental group

— G —

GAP (Groups, Algorithms and Programming)
configuration
using to simplify group presentations
globally compatible normal surfaces
(see See: compatibility matrices for normal surfaces)
gluings
(see See: tetrahedron face gluings)
graphs, face pairing
(see See: face pairing graphs)
Graphviz
configuration
using to display face pairing graphs

— H —

homology groups
all homology groups
first homology group
induced map from manifold to boundary
hyperbolic
solution type
volume

— I —

ideal vertices
creating from real boundary components
testing for
truncating / converting to real boundary
viewing
identifications
(see See: tetrahedron face gluings)
identifying file types
immersed / singular normal surfaces
enumerating
warn before enumerating
importing data
induced homology map
(see See: homology groups)
interface
(see See: user interface)
internationalisation
(see See: character encodings)
invalid
(see See: valid)
isomorphism signatures
importing a list of isomorphism signatures
reconstructing triangulations from isomorphism signatures
viewing the isomorphism signature for a triangulation
isomorphism testing
between individual triangulations
between sets of triangulations

— K —

Kawauchi-Kojima invariants
(see See: torsion linking form)

— L —

LATIN1
(see See: character encodings)
layered lens space, creation
layered loop, creation
layered solid torus
creating
locating within a triangulation
legacy almost normal coordinates
(see See: coordinate systems)
Legendre symbol vector
invariant of torsion linking form
lens space, creation
libraries
Python
Regina, compiling into other code
licence details
locally compatible normal surfaces
(see See: compatibility matrices for normal surfaces)
log files, summarising (MPI)
look up
(see See: search)

— M —

mailing lists
matching equations for normal surfaces
merging data files
from the command-line
in the graphical user interface
moving packets in the packet tree
MPI
(see See: parallel processing)

— N —

naming
packets
surfaces in a surface list
tetrahedra in a triangulation
normal surfaces
basic properties
breakdown of total counts by properties
central surfaces, recognising
compatibility matrices
coordinate systems, configuring default
coordinate systems, different systems explained
coordinate systems, viewing in different systems
counting different types of surfaces
crushing a surface
cutting along a surface
definition
edge links, recognising
enumerating vertex normal surfaces
exporting to CSV files
filtering surface lists
matching equations
naming surfaces in a list
numbering surfaces in a list
splitting surfaces, recognising
vertex links, recognising

— O —

octagons
locating within almost normal surfaces
octagonal almost normal surfaces
(see See: normal surfaces)
one-sidedness
(see See: sidedness)
open book
(see See: elementary moves)
options
(see See: configuration)
Orb
importing from
orientability
of a normal surface
of a triangulation
orientable double cover
orienting tetrahedra
testing for consistent orientations

— P —

packet tree
display large icon
jump size
moving packets
overview
refreshing a subtree
packets
automatic docking
available packet types
cannot be edited
cloning
creating new packets
deleting
docking and undocking
floating in separate windows
moving within the tree
viewing and editing
padlock
in the packet tree
paper clip
button in packet viewers
parallel processing
census creation
PDF documents
embedded / external viewer configuration
exporting
importing
PDF packets
Poincaré homology sphere
preferences
(see See: configuration)
Python scripting
(see See: scripting)

— Q —

quadrilateral normal coordinates
(see See: coordinate systems)
quadrilateral-octagon almost normal coordinates
(see See: coordinate systems)
questions, frequently asked

— R —

rank vector
invariant of torsion linking form
real boundary
(see See: boundary)
recognising triangulations and 3-manifolds
rehydrating triangulations
(see See: dehydrated triangulations)
removing
(see See: deleting)
renaming
(see See: naming)
reporting bugs

— S —

samples
(see See: examples)
scripting
accessing Regina objects, classes and methods
Boost.Python.ArgumentError, resolving
caveats and traps
command-line scripting interface
configuration
documentation of Regina objects, classes and methods
enabling
examples
exporting Python scripts
importing Python scripts
invoking in the GUI
ownership of objects
Python libraries
script packets
TypeError, resolving
search
for a triangulation in the available censuses
Seifert fibred space, creation
Seifert-Weber dodecahedral space
(see See: Weber-Seifert dodecahedral space)
settings
(see See: configuration)
shell boundary
(see See: elementary moves)
sidedness of a normal surface
sigma vector
invariant of torsion linking form
signatures, splitting surface
(see See: splitting surfaces)
simplification of triangulations
singular / immersed normal surfaces
(see See: immersed / singular surfaces)
skeleton
of a triangulation
dual 1-skeleton
SnapPea
calculations
closed triangulations, allowing
diagnostic messages, enabling
exporting to
importing from
solution type
(see See: hyperbolic solution type)
source code
combining with the Regina calculation engine
exporting triangulations to C++
Python scripting
splitting surfaces
census of splitting surface signatures
recognising in a surface list
reconstructing a triangulation from
testing for existence in a triangulation
spun normal surfaces
standard normal coordinates
(see See: coordinate systems)
standard subcomplexes
creating
testing for
strict angle structures
subcomplex
searching for standard subcomplexes
testing between two triangulations
testing between sets of triangulations
subdivision of triangulations
surface filters
combining filters
filtering by surface properties
overview
surfaces, normal
(see See: normal surfaces)

— T —

tab size
taut angle structures
detecting
enumerating
test suite
tetrahedra
face gluings, editing
orientation, testing for consistency
text packets
torsion linking form
Kawauchi-Kojima invariants
tree
(see See: packet tree)
triangulation
0-efficiency, testing for
0-efficient triangulation, conversion to
3-ball recognition
3-sphere recognition
barycentric subdivision
boundary components, viewing
boundary, converting real to ideal
boundary, testing for
closed, allowing in SnapPea
combinatorial composition
component decomposition
components, viewing
connected sum decomposition
connectedness
creation
cusps
dehydration string, rehydrating
elementary moves (3-2, 4-4, open book, etc.)
examples, creating
exporting to external files
face pairing graphs
faces, viewing shapes
fundamental group
homology groups
hyperbolic solution type
ideal vertices, creation
ideal vertices, testing for
ideal vertices, truncation
importing from external files
isomorphism and subcomplex testing
isomorphism signature, recreating from
orientability
orientable double cover
searching for a triangulation in the available censuses
simplification
skeleton, viewing details
splitting surface, reconstructing triangulation from
splitting surface, testing for
tetrahedron face gluings, editing
Turaev-Viro invariants
validity
volume
troubleshooting
truncation of ideal vertices
Turaev-Viro invariants
two-sidedness
(see See: sidedness)

— U —

undocking packets
user interface
command-line scripting interface
graphical user interface
specialised command-line utilities
user libraries
(see See: libraries)
UTF-8
(see See: character encodings)

— V —

valid edges, testing for
valid triangulation, testing for
vertex angle structures
(see See: angle structures)
vertex linking surfaces, recognising
vertex normal surfaces</dt>
(see See: normal surfaces)
vertices, viewing in a triangulation
viewing packets
volume
(see See: hyperbolic volume)

— W —

Weber-Seifert dodecahedral space

— Z —

zero-efficiency
(see See: 0-effiency)