Snap is a computer program for computing arithmetic invariants of hyperbolic 3-manifolds, built on Jeff Weeks's SnapPea and the number theory package Pari. Its approach is to compute the hyperbolic structure to very high prec ision, and use th is to find an exact description of the structure. Then the correctness of the hyperbolic structure can be verified, and the arithmetic invariants of Neumann and Reid can be computed. Snap also computes high precision numerical invariants such as volume, Chern–Simons invariant, eta invariant, and the Borel regulator.
No takes yet. Share an insight, caveat, or question.
Coulson et al. (2000) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: