]> birchwood-abbey.net Git - mit-scheme.git/commit
projects / mit-scheme.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b9da75) | patch
Clarify some of the proofs and logic.
authorTaylor R Campbell <campbell@mumble.net>
Thu, 25 Oct 2018 01:40:10 +0000 (01:40 +0000)
committerTaylor R Campbell <campbell@mumble.net>
Thu, 25 Oct 2018 01:40:10 +0000 (01:40 +0000)
commit72edcab7ca25c1548e9f0d2f9043fcc6e0d40e40
treedde65e9faab9504e6c8addc536e48f615b32a399tree | snapshot
parent2b9da75439e37ef7375c7d2b8ccccfefc081f12fcommit | diff
Clarify some of the proofs and logic.

Style: Avoid log1p for anything but the floating-point approximation
just to be extra-clear; write log(1 + ...) in the math otherwise.

Reverse order of branches to make the condition (<= lo x hi) clearer.
src/runtime/arith.scm diff | blob | history
MIT/GNU Scheme is an implementation of the Scheme programming