From be451b505261d9e6ac4e644f2169a4f3f1c66a30 Mon Sep 17 00:00:00 2001 From: Matthias Goerner <1239022+unhyperbolic@users.noreply.github.com> Date: Fri, 29 Mar 2024 21:20:10 -0700 Subject: [PATCH] Fix --- python/len_spec/__init__.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/python/len_spec/__init__.py b/python/len_spec/__init__.py index 6fded93a..f90bd011 100644 --- a/python/len_spec/__init__.py +++ b/python/len_spec/__init__.py @@ -96,6 +96,10 @@ def length_spectrum(manifold, bits_prec : Optional[int] = None, verified : bool if not tile.word: continue + if r13_dot(tile.o13_matrix * mcomplex.R13_baseTetInCenter, + mcomplex.R13_baseTetInCenter) > -(mcomplex.baseTetInRadius/2).cosh(): + continue + num += 1 r = tile.lower_bound_cover_radius