Regina is a suite of mathematical software for
3-manifold
In mathematics, a 3-manifold is a space that locally looks like Euclidean 3-dimensional space. A 3-manifold can be thought of as a possible shape of the universe. Just as a sphere looks like a plane to a small enough observer, all 3-manifolds ...
topologists. It focuses upon the study of 3-manifold
triangulations and includes support for
normal surface In mathematics, a normal surface is a surface inside a triangulated 3-manifold that intersects each tetrahedron so that each component of intersection is a ''triangle'' or a ''quad'' (see figure). A triangle cuts off a vertex of the tetrahedron wh ...
s and angle structures.
Features
* Regina implements a variant of
Rubinstein's 3-sphere
In mathematics, a 3-sphere is a higher-dimensional analogue of a sphere. It may be embedded in 4-dimensional Euclidean space as the set of points equidistant from a fixed central point. Analogous to how the boundary of a ball in three dimens ...
recognition algorithm. This is an algorithm that determines whether or not a
triangulated 3-manifold
In mathematics, a 3-manifold is a space that locally looks like Euclidean 3-dimensional space. A 3-manifold can be thought of as a possible shape of the universe. Just as a sphere looks like a plane to a small enough observer, all 3-manifolds ...
is
homeomorphic to the
3-sphere
In mathematics, a 3-sphere is a higher-dimensional analogue of a sphere. It may be embedded in 4-dimensional Euclidean space as the set of points equidistant from a fixed central point. Analogous to how the boundary of a ball in three dimens ...
.
* Regina further implements the
connect-sum decomposition. This will decompose a
triangulated 3-manifold into a
connect-sum of
triangulated prime
A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only way ...
3-manifolds.
*
Homology and
Poincare duality for 3-manifolds, including the
torsion linking form
Torsion may refer to:
Science
* Torsion (mechanics), the twisting of an object due to an applied torque
* Torsion of spacetime, the field used in Einstein–Cartan theory and
** Alternatives to general relativity
* Torsion angle, in chemistry
Bio ...
.
* Includes portions of the
SnapPea kernel for some geometric calculations.
* Has both a
GUI
The GUI ( "UI" by itself is still usually pronounced . or ), graphical user interface, is a form of user interface that allows users to interact with electronic devices through graphical icons and audio indicator such as primary notation, inste ...
and
Python interface.
See also
*
Computational topology Algorithmic topology, or computational topology, is a subfield of topology with an overlap with areas of computer science, in particular, computational geometry and computational complexity theory.
A primary concern of algorithmic topology, as its ...
References
Mathematical software
{{science-software-stub