From: Taylor R Campbell Date: Thu, 25 Oct 2018 05:16:50 +0000 (+0000) Subject: Omit stray sentence terminator. X-Git-Tag: mit-scheme-pucked-10.1.2~16^2~166 X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=a52311f99613ab2bfb0152fba081a92cefddf3b5;p=mit-scheme.git Omit stray sentence terminator. --- diff --git a/src/runtime/arith.scm b/src/runtime/arith.scm index a061722a5..311fd583e 100644 --- a/src/runtime/arith.scm +++ b/src/runtime/arith.scm @@ -2208,7 +2208,7 @@ USA. ;; have |log(p/(1 - p))| > 1. Hence this error is bounded by ;; ;; |d2 + (1 + d2) log((1 + d0)/(1 + d1))/log(p/(1 - p))| - ;; <= |d2| + |(1 + d2) log((1 + d0)/(1 + d1))/log(p/(1 - p))|. + ;; <= |d2| + |(1 + d2) log((1 + d0)/(1 + d1))/log(p/(1 - p))| ;; <= |d2| + |(1 + d2) log((1 + d0)/(1 + d1))| ;; <= |d2| + 4|(1 + d2) (d0 - d1)|, by Lemma 3, ;; <= |d2| + 4|d0 - d1 + d2 d0 - d1 d0|