]> git.ipfire.org Git - thirdparty/Python/cpython.git/commit
1) List relative error for _mpd_qln10().
authorStefan Krah <skrah@bytereef.org>
Fri, 8 Jun 2012 16:41:33 +0000 (18:41 +0200)
committerStefan Krah <skrah@bytereef.org>
Fri, 8 Jun 2012 16:41:33 +0000 (18:41 +0200)
commit1cf6dfc8b2445ee1a7307bab83b23b4eab6d9f05
tree53f64c1da9e80e3a9e2e5a67f6be9897f89681dd
parented36b2e55be884afb7517905e02da313973998d1
1) List relative error for _mpd_qln10().

2) Add rigorous error analysis to _mpd_qlog10 (ACL2 proofs exist).

3) Use the relative error as a basis for the interval generation in the
   correction loop (same as in _mpd_qln()).
Modules/_decimal/libmpdec/mpdecimal.c