3-manifolds / SnapPy

SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the SnapPea kernel written by Jeff Weeks.
https://snappy.computop.org/
87 stars 41 forks source link

Horoball viewer glitch #5

Open unhyperbolic opened 4 years ago

unhyperbolic commented 4 years ago

If the current peripheral framing is far from the one that minimizes the length of the basis curves, then the cusp neighborhood view can be missing various horoballs and cells of the triangulation and Ford domain. Here is an example, created by:

M = snappy.Manifold('m004')
M.set_peripheral_curves([[1, 0], [18, 1]])
N = M.cusp_neighborhood().view() 

2720439011-Cusp_neighborhood_of_m004_and_dev_—_IPython__snappy_dev_—_py3__pkgs_pythons_py36_bin_ipython

Another example is K14n18339; from the default position, just move to the right to see this image:

2281610583-Cusp_neighborhood_of_K14n18339

The root cause is likely in CyOpenGL.pyx, possibly in the build_shifts method of HoroballScene.

Reported by Saul Schleimer (https://bitbucket.org/t3m/snappy/issues/18/horoball-viewer-glitch).