SnapPy

Those who are involved into mathematical work and study manifolds located into 3D space that resembles Eucliedean space locally could require a software solution for inspecting such items. SnapPy is an application that was developed in order to provide users a way to easily load 3-manifolds, preview their structure and study their corresponding topology and geometry.

The application is centered around a Python interface that represents the main interaction component used by people when dealing with the application. Custom Dehn-fillings can be specified for each boundary components, therefore allowing one to create descriptions for closed 3-manifolds and orbifolds.

SnapPy supports spun normal surfaces, Bar-Natan’s super fast tangle-based algorithm for computing the Alexander polynomial and Seifert matrix computations. One will be able to inspect the manifolds in the main viewing area, which also serves as the text input for creating manifolds.

Combining a link editor and 3D graphics for cusp neighborhoods and Dirichlet domains, the application allows users to view cusp horoballs and perform manifold censuses. They will be able to access a manifold browser window for easy manifold inspection, split manifolds along surfaces of non-negative Euler characteristics or generalize Ptolemy obstructions.

Rigorous verification of hyperbolic structures is also available, combined with sage-specific functions that can be easily accessed as methods of Manifolds. People will be able to convert to / from SageMath links and braids and the utility also allows them to perform quick verifications of non-tetrahedral canonical cell decompositions.