A new basic (sub)class: S3Knot (and/or S3Link).
Consider adding a HeegaardSplitting class
Consider merging our t3m project and normal surface code into SnapPy.
Redo much of Snap in the context of Sage/SnapPy.
- Add a method for computing tetrahedron shapes to arbitrary precision.
- Add methods for computing invariant trace fields and related number fields.
- Add a method which implements and extends Harriet Moser’s algorithm to allow SnapPy to prove that a manifold is hyperbolic.