This app is for research mathematicians in 3-manifold and 4-manifold topology.
Have you encountered 3-manifolds and normal surfaces, or heard about the desktop software packages Regina or SnapPy? If so, then you might find this app useful. If not, but if you are curious as to what its all about, you might like to read about the Poincaré conjecture (http://www.claymath.org/millenium-problems/poincaré-conjecture), or hunt down a copy of Jeffrey Weeks excellent book "The Shape of Space".
Regina is a software package for 3-manifold and 4-manifold topologists, with a focus on triangulations, normal surfaces, and angle structures. For 3-manifolds, it includes high-level tasks such as 3-sphere recognition, connected sum decomposition and Hakenness testing, comes with a rich database of census manifolds, and incorporates the SnapPea kernel for working with hyperbolic manifolds. For 4-manifolds, Regina offers several combinatorial and algebraic tools, as well as support for normal hypersurfaces. Advanced users can also access Reginas mathematical engine using Python scripting.
This iPad app offers most of Reginas functionality, but not all. For example, the iPad version does not support some of the more exotic import/export formats, and some mathematical functions are only accessible through Python (such as isomorphism testing, or manifolds of dimension ≥ 5). If you need these features then please download a desktop version of Regina from regina-normal.github.io.
If you have any questions, requests or feedback then please contact Ben or the Regina development team – see http://regina-normal.github.io/ for details.