Computational Topology with Regina: Algorithms, Heuristics and Implementations
Computational Topology with Regina: Algorithms, Heuristics and Implementations
Regina is a software package for studying 3-manifold triangulations and normal surfaces.It includes a graphical user interface and Python bindings, and also supports angle structures, census enumeration, combinatorial recognition of triangulations, and high-level functions such as 3-sphere recognition, unknot recognition and connected sum decomposition.This paper brings 3-manifold topologists up-to-date with …