Index

0-9ABCDEFGHIKLMNOPQRSTUVWZ

— 0-9 —

0-efficiency
making a triangulaton 0-efficient
testing for 0-efficiency
1-4 move
See: elementary moves
2-0 edge move
See: elementary moves
2-0 vertex move
See: elementary moves
2-1 move
See: elementary moves
2-3 move
See: elementary moves
2-manifold triangulation
See: triangulation, 2-manifold
3-2 move
See: elementary moves
3-ball recognition
3-Manifold Recogniser (Matveev)
exporting to
3-manifold recognition
3-manifold triangulation
See: triangulation, 3-manifold
3-sphere recognition
4-4 move
See: elementary moves
(5–8)-dimensional triangulations
See: triangulation, (5–8)-dimensional
(9–15)-dimensional triangulations, removed
See: triangulation, (9–15)-dimensional, removed

— B —

barycentric subdivision
bistellar flip
See: elementary moves
blackboard framing
See: framings, for links
book closing move
See: elementary moves
book opening move
See: elementary moves
boundary
extension from real to ideal
of a normal surface or hypersurface
of a triangulation
boundary components
counting, for normal surfaces
triangulating, for triangulations
viewing, for triangulations
boundary shelling move
See: elementary moves
boundary slopes for spun-normal surfaces
bug reporting
bundles, creation

— C —

C++ source
See: source code
cabling of links
See: parallel cables
calculation engine
accessing
documentation
canonical retriangulation
Casson
See: Orb
census
creating a census of splitting surface signatures
creating a census of triangulations (command-line)
creating a census of triangulations (GUI)
examples, for knots and links
examples, for triangulations
searching for a triangulation across the census databases (GUI)
searching for a triangulation across the census databases (command line)
central surfaces, recognising
certifying hyperbolicity
See: hyperbolic manifolds, certifying hyperbolicity
changing crossings
character encodings
in imports and exports
classical Gauss code
See: Gauss code
cloning packets
close book
See: elementary moves
closed quadrilateral normal coordinates
See: coordinate systems
closed quadrilateral-octagon almost normal coordinates
See: coordinate systems
code
See: libraries
collapsing an edge
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 or hypersurfaces
compatibility matrices
for normal surfaces or hypersurfaces
compiling
compiling Regina into other code
fixing compile errors when building Regina
complement, of a knot or link
components
decomposing into, for triangulations
viewing, for links
viewing, for triangulations
composite link
building
composition, combinatorial
See: combinatorial composition
configuration
GAP (Groups, Algorithms and Programming)
general
Python scripting
SnapPea interaction
tools, third-party
connected sum, for links
See: composite link
connected sum, for triangulations
building
decomposition
connectedness, testing for
container packets
conversion
between file formats
from links to Regina or SnapPea triangulations
from native Regina to SnapPea triangulations
from SnapPea to native Regina triangulations
coordinate systems, normal surface or hypersurface
enumerating in a particular coordinate system
explanation of different coordinate systems
viewing in a different coordinate system
crossings, in links
changing (or switching)
resolving (or splicing)
viewing
crushing a normal surface
crushing an edge
See: elementary moves
CSV
See: comma-separated values
cusps
identifying in a native triangulation
viewing and filling in a SnapPea triangulation
custom surfaces or hypersurfaces
cutting along a normal surface
CW-decomposition

— D —

data files
See: files
decomposition
by components
by connected sum
Dehn fillings
See: fillings on cusps
dehydrated triangulations
importing a list of dehydration strings
rehydrating from a dehydration string
viewing the dehydration string for a triangulation
deleting packets
diagram graphs, for links
tree decomposition of
dimensions 5–8
See: triangulation, (5–8)-dimensional
dimensions 9–15, removed
See: triangulation, (9–15)-dimensional, removed
disjoint normal surfaces
See: compatibility matrices for normal surfaces
documentation
Regina objects, classes and methods
double cover
See: orientable double cover
Dowker-Thistlethwaite notation
described
reconstructing knots from Dowker-Thistlethwaite notation
viewing the Dowker-Thistlethwaite notation for a knot
drilling edges
See: edges, drilling out of a triangulation
dual CW-decomposition
See: CW-decomposition
dual graphs, for triangulations
labelling
tree decomposition of
viewing
dumping contents of a file

— F —

face arc normal coordinates
See: triangle arc normal coordinates
face gluings
See: tetrahedron face gluings
face pairing graphs
See: dual graphs
faces, viewing in a triangulation
See: triangles (2-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
fillings on cusps
viewing and changing filling coefficients
permanently filling cusps
filtering normal surface lists
See: surface filters
finite boundary
See: boundary
flip graph
See: Pachner graph
fonts, unicode symbols
framings, for links
frequently asked questions
fundamental group
of a manifold or triangulation
of a link complement
fundamental normal surfaces or hypersurfaces, enumerating

— G —

GAP (Groups, Algorithms and Programming)
configuration
using to simplify group presentations
Gauss code, classical or oriented
classical Gauss codes, described
oriented Gauss codes, described
reconstructing knots from Gauss codes
viewing the Gauss codes for a knot
generalised angle structures
working with
globally compatible normal surfaces
See: compatibility matrices for normal surfaces
gluing equations, hyperbolic
gluings
See: tetrahedron face gluings
Gordian unknot
graphs, diagram
See: diagram graphs
graphs, face pairing
See: dual graphs
group, fundamental
See: fundamental group
group, knot/link
See: link group

— K —

Kauffman bracket
Kawauchi-Kojima invariants
See: torsion linking form
knot group
knot signatures
described
reconstructing knots from knot signatures
viewing the knot signature for a knot
knots
See: links

— O —

octagons
locating within almost normal surfaces
octagonal almost normal surfaces
See: normal surfaces
one-sidedness
See: sidedness
open book
See: elementary moves
options
See: configuration
Orb
importing from
orientability
of a normal surface or hypersurface
of a native triangulation
of a SnapPea triangulation
orientable double cover
oriented Gauss code
See: Gauss code
orienting links
orienting tetrahedra
reflecting triangulations
testing for consistent orientations

— Q —

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

— R —

randomising triangulations
rank vector
invariant of torsion linking form
real boundary
See: boundary
Recogniser, 3-Manifold (Matveev)
See: 3-Manifold Recogniser
recognising 3-manifolds
recognising triangulations
reducibility, testing
reflecting
links
triangulations
rehydrating triangulations
See: dehydrated triangulations
Reidemeister graph, searching
from the command-line
in the GUI
Reidemeister moves
removing
See: deleting
renaming
See: naming
reporting bugs
resolving crossings
retriangulating manifolds
See: Pachner graph, searching
reversing links
rewriting link diagrams
See: Reidemeister graph, searching
rotating links

— S —

S1-bundles, creation
samples
See: examples
scripting
accessing Regina objects, classes and methods
command-line scripting interface
configuration
documentation of Regina objects, classes and methods
enabling
examples
exporting Python scripts
importing Python scripts
invoking in the GUI
script packets
search
for a triangulation across the census databases
Seifert fibred space, creation
Seifert framing
See: framings, for links
Seifert-Weber dodecahedral space
See: Weber-Seifert dodecahedral space
self framing of links
settings
See: configuration
shell boundary
See: elementary moves
shapes of tetrahedra
sidedness
of a normal surface or hypersurface
sigma vector
invariant of torsion linking form
signatures, splitting surface
See: splitting surfaces
simplifying
group presentations
links
triangulations
singular / immersed normal surfaces
See: immersed / singular surfaces
skeleton
of a triangulation
dual 1-skeleton
SnapPea
calculations for Regina triangulations
diagnostic messages, enabling
exporting files to
exporting SnapPea file contents
importing files from
importing SnapPea file contents
SnapPea triangulation
canonical retriangulation
converting from links
converting from native Regina triangulations
converting to native Regina triangulations
cusps, viewing and filling
examples, creating
filling coefficients
fundamental group
homology
orientability
permanently filling cusps
randomising
SnapPea file contents, creating from
SnapPea file contents, exporting to
solution type
tetrahedron shapes
vertex links
volume
solid torus recognition
solution type
See: hyperbolic manifolds, solution type
source code
combining with the Regina calculation engine
major C++ changes in Regina 7.0
major Python changes in Regina 7.0
Python scripting
splicing crossings
See: resolving crossings
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
boundary slopes
identifying
standard normal coordinates
See: coordinate systems
standard subcomplexes
creating
testing for
strict angle structures
testing for existence
type of angle structure
subcomplex
searching for standard subcomplexes
testing between two triangulations
testing between sets of triangulations
subdivision of triangulations
subscript / superscript symbols, enabling / disabling
surface
See: triangulation, 2-manifold
surface filters
combining filters
filtering by surface properties
overview
surface, normal
See: normal surfaces
switching crossings
See: changing crossings

— T —

T × I recognition
tab size
taut angle structures
detecting
enumerating
test suite
tetrahedra
face gluings, editing
orientation, testing for consistency
shapes from hyperbolic gluing equations
viewing in a triangulation
text encodings
See: character encodings
text packets
torsion linking form
Kawauchi-Kojima invariants
torus bundle recognition
torus knots and links, creating
transversely oriented normal surfaces, removed
tree
See: packet tree
tree decomposition
for links
for triangulations
triangle arc normal coordinates
See: coordinate systems
triangles (2-faces), viewing in a triangulation
triangulating
a boundary component in a 4-manifold triangulation
a normal hypersurface
a vertex link in a triangulation
triangulation, (2,3,4)-manifold
0-efficiency, testing for
0-efficient triangulation, conversion to
3-ball recognition
3-manifold, recognising
3-sphere recognition
barycentric subdivision
boundary components, viewing
boundary, converting real to ideal
boundary, testing for
combinatorial composition
component decomposition
components, viewing
connected sum, building
connected sum, decomposition
connectedness
converting from a link
converting from a SnapPea triangulations
converting to a SnapPea triangulation
creation
cusps
dehydration string, rehydrating
drilling edges
dual graph
elementary moves (3-2, 4-4, open book, etc.)
Euler characteristic
examples, creating
examples, from censuses
exporting to external files
face pairing graph
faces, viewing shapes
fundamental group
homology groups
hyperbolic solution type
hyperbolicity, certifying
ideal vertices, creation
ideal vertices, testing for
ideal vertices, truncation
importing from external files
isomorphism and subcomplex testing
isomorphism signature, recreating from
nice tree decomposition
orientability
orientable double cover
puncturing
recognising the underlying 2-manifold
recognising the underlying 3-manifold
reflecting
searching for a triangulation across the census databases
simplification
skeleton, viewing details
SnapPea triangulations
solid torus recognition
splitting surface, reconstructing triangulation from
splitting surface, testing for
T × I recognition
tetrahedron face gluings, editing
tree decomposition
triangles, viewing shapes
Turaev-Viro invariants
unknot complement recognition
validity
volume
triangulation, (5–8)-dimensional
triangulation, (9–15)-dimensional, removed
troubleshooting
truncation of ideal vertices
Turaev-Viro invariants
two-sidedness
See: sidedness

— Z —

zero-efficiency
See: 0-effiency