From 1918c3bfe6a39559231d94486240ebff7e1114d1 Mon Sep 17 00:00:00 2001 From: Taylor R Campbell Date: Thu, 25 Oct 2018 05:33:57 +0000 Subject: [PATCH] Apply the same bound to the other region. --- src/runtime/arith.scm | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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)| -- 2.25.1