Skip to content

Commit

Permalink
Remove now unused method
Browse files Browse the repository at this point in the history
  • Loading branch information
DRMacIver committed Jul 31, 2020
1 parent 532bda9 commit 7df7a3c
Showing 1 changed file with 0 additions and 9 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -1391,14 +1391,5 @@ def non_zero_suffix(b):
return b[i:]


def expand_region(f, a, b):
"""Attempts to find u, v with u <= a, v >= b such that f(u, v) is true.
Assumes that f(a, b) is already true.
"""
b += find_integer(lambda k: f(a, b + k))
a -= find_integer(lambda k: f(a - k, b))
return (a, b)


class StopShrinking(Exception):
pass

0 comments on commit 7df7a3c

Please sign in to comment.