Skip to content

Commit

Permalink
Making min diameter a constant.
Browse files Browse the repository at this point in the history
  • Loading branch information
unhyperbolic committed Aug 3, 2023
1 parent 26eccf3 commit 79533f0
Showing 1 changed file with 6 additions and 3 deletions.
9 changes: 6 additions & 3 deletions python/verify/short_slopes.py
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,10 @@ def sqrt(x):
return x.sqrt()
return math.sqrt(x)


# Reject computing short slopes if intervals for translations
# are too wide (error is more than 1%).
_min_diameter_translations = 0.01

def short_slopes_from_cusp_shape_and_area(
cusp_shape, cusp_area, length=6):
"""
Expand Down Expand Up @@ -144,12 +147,12 @@ def _verified_short_slopes_from_translations(translations, length=6):
"Could not verify that longitude meridian translation "
"has non-trivial imaginary part.")

if m_tran.diameter() > 0.01:
if m_tran.diameter() > _min_diameter_translations:
raise InsufficientPrecisionError(
"Meridian translation has insufficient precision to compute "
"a reasonable set of short slopes.")

if l_tran.diameter() > 0.01:
if l_tran.diameter() > _min_diameter_translations:
raise InsufficientPrecisionError(
"Longitude translation has insufficient precision to compute "
"a reasonable set of short slopes.")
Expand Down

0 comments on commit 79533f0

Please sign in to comment.