From: Taylor R Campbell <campbell@mumble.net>
Date: Thu, 25 Oct 2018 05:33:57 +0000 (+0000)
Subject: Apply the same bound to the other region.
X-Git-Tag: mit-scheme-pucked-10.1.2~16^2~161
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=1918c3bfe6a39559231d94486240ebff7e1114d1;p=mit-scheme.git

Apply the same bound to the other region.
---

diff --git a/src/runtime/arith.scm b/src/runtime/arith.scm
index db95eb486..e1afa94c1 100644
--- a/src/runtime/arith.scm
+++ b/src/runtime/arith.scm
@@ -2304,7 +2304,9 @@ USA.
          ;;     = -log(e^{-t} - 1)
          ;;       * (1 + d0 + (1 + d0) log(1 + d1)/log(e^{-t} - 1))
          ;;
-         ;; If t <= -log(1 + e), then log(e^{-t} - 1) >= 1, so
+         ;; If t <= -log(1 + e), then log(e^{-t} - 1) >= 1; similarly,
+         ;; if t >= -log(1 + 1/e), then log(e^{-t} - 1) <= -1.  Hence,
+         ;; in both cases, |log(e^{-t} - 1)| >= 1, so that
          ;;
          ;;     |d0 + (1 + d0) log(1 + d1)/log(e^{-t} - 1)|
          ;;     <= |d0| + |(1 + d0) log(1 + d1)/log(e^{-t} - 1)|