| commit | 1cf6dfc8b2445ee1a7307bab83b23b4eab6d9f05 | [log] [tgz] |
|---|---|---|
| author | Stefan Krah <skrah@bytereef.org> | Fri Jun 08 18:41:33 2012 +0200 |
| committer | Stefan Krah <skrah@bytereef.org> | Fri Jun 08 18:41:33 2012 +0200 |
| tree | 53f64c1da9e80e3a9e2e5a67f6be9897f89681dd | |
| parent | ed36b2e55be884afb7517905e02da313973998d1 [diff] |
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()).