SnapPea

SnapPea
The original uploader was C S at English Wikipedia. · GPL · source
Name	SnapPea
Developer	Jeffrey Weeks
Released	1990s
Programming language	C++
Operating system	Windows, macOS, Linux
Genre	Mathematical software, Topology
License	Freeware / Open-source components

SnapPea SnapPea is a computer program for studying three-dimensional hyperbolic manifolds and knot complements. Developed originally by Jeffrey Weeks and later maintained by contributors associated with Geometry Center and Mathematical Sciences Research Institute, SnapPea has been used by researchers at institutions such as Princeton University, Harvard University, University of California, Berkeley, and Ohio State University. The software interfaces with other projects including SnapPy, Regina (software), SageMath and libraries from Computational Geometry groups.

History

SnapPea was created in the 1990s by Jeffrey Weeks while affiliated with Cornell University and the Geometry Center at the University of Minnesota. Early development drew on work by William Thurston, William Goldman, John Milnor, and C. C. Adams, connecting to classical results like the Mostow rigidity theorem and constructions from the Thurston geometrization conjecture. SnapPea's capabilities expanded through collaborations with researchers from Princeton University, Yale University, Columbia University, University of Warwick, and the University of Utah, and influenced software such as SnapPy and packages in SageMath. The program was instrumental in computational explorations used in papers by Daryl Cooper, Gavin Brown, Nathan Dunfield, Marc Culler, and Peter Shalen.

Features

SnapPea computes canonical decompositions, hyperbolic structures, and invariants for cusped 3-manifolds, knot complements, and link complements. It provides tools to work with ideal triangulations, cusp shapes, and length spectra used in studies by Thurston, Calegari, Agol, Ian Agol, and Daniel Wise. SnapPea outputs invariants such as hyperbolic volume, Chern–Simons invariants related to work of Edward Witten and Chern and Simons, and arithmetic data used by Alan Reid and Martin Bridson. Integration features let users export data compatible with Regina (software), SnapPy, KnotTheory` in Mathematica, and computational workflows at Mathematical Sciences Research Institute.

Mathematical Foundations

SnapPea is grounded in three-dimensional topology and hyperbolic geometry stemming from the work of William Thurston, Hyman Bass, Gromov, and Mostow. It uses ideal tetrahedra as in constructions by Thurston and analytic techniques related to Teichmüller theory seen in studies by A. Marden and Linda Keen. SnapPea implements gluing equations for hyperbolic structures referencing results by Neumann and Zagier and links to number-theoretic properties studied by Walter Neumann, Don Zagier, and Alan Baker. Its computations relate to the JSJ decomposition concepts from William Jaco and Peter Shalen, and to triangulation theory developed by Matveev and Vladimir Turaev.

Algorithms and Implementation

The core algorithms solve Thurston’s hyperbolic gluing equations using Newton–Raphson and rigorous verification strategies influenced by work at Institut des Hautes Études Scientifiques and algorithmic topology research by Joel Hass, Jeff Erickson, and Erik Demaine. SnapPea employs geometric enumeration, cusp normalization, and canonical cell decomposition algorithms related to Weeks's canonical decomposition and computational complexity results examined by Dorit Hochbaum and Richard Karp. Numerical linear algebra routines interface with libraries and methods popularized by Gene Golub, James Wilkinson, and packages used in SageMath development. Mesh and triangulation data structures were inspired by computational geometry techniques from Boris Aronov and Herbert Edelsbrunner.

User Interface and Platforms

SnapPea originally shipped as a Windows application and later had ports and compatibility layers for Linux and macOS. Graphical elements were influenced by visualization practices from the Geometry Center and integrate with visualization tools used by Wolfram Research and Mathematica, as well as rendering libraries comparable to those used in Blender and OpenGL projects. Command-line features enabled scripting consistent with workflows in SageMath, Python (programming language), and interoperability with SnapPy bindings developed by contributors from University of Sydney and University of Texas at Austin.

Applications

Researchers have used SnapPea to study knot theory problems involving examples like the figure-eight knot, Whitehead link, and families cataloged in the Rolfsen knot table and Hoste–Thistlethwaite link table. It contributed to experiments in hyperbolic volume conjectures such as the Volume Conjecture studied by Rinat Kashaev and Jun Murakami, and informed work on virtually special cube complexes by Ian Agol and Daniel Wise. Applied projects include explicit census creation of cusped manifolds used by Thurston and databases maintained at The Geometry Center and SnapPy repositories hosted by research groups at Microsoft Research and Google Research.

Reception and Impact

SnapPea has been widely cited in literature by authors including Thurston, Culler, Dunfield, Weeks, and Neumann, and used in computational proofs and conjecture testing across institutions like Harvard University, MIT, University of Chicago, and Princeton University. Its influence extended to the development of successor projects such as SnapPy and educational visualizations promoted by the Geometry Center and museums like the Museum of Mathematics. SnapPea shaped computational topology practices and continues to be referenced in textbooks and monographs published by academic presses like Princeton University Press and Cambridge University Press.

Category:Mathematical software