diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-06-06 10:07:47 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-06-06 10:07:47 +0000 |
| commit | c813c5cb8996caea308298e4246fa8a17b49dc97 (patch) | |
| tree | ca96cbb6d7e3901cf685e5b9ce05d069f1491d77 | |
| parent | ea6ee4a8b997f9f7c7ecf15e6b1f8bc218c9a021 (diff) | |
| download | mpfr-c813c5cb8996caea308298e4246fa8a17b49dc97.tar.gz | |
[TODO] Faithful rounding: small correction.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10433 280ebfd0-de03-0410-8827-d642c229c3f4
| -rw-r--r-- | TODO | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -463,8 +463,8 @@ Table of contents: then by rounding this approximation to nearest. Concerning the choice of the error bound, if the result x is equal to 1 + t, where t is a very small positive number, then the error bound - needs to be at most ulp(1)/4 + t. Since t can be arbitrarily small, - the error bound needs to be at most ulp(1)/4. And this error bound + needs to be at most ulp(x)/4 + t. Since t can be arbitrarily small, + the error bound needs to be at most ulp(x)/4. And this error bound is sufficient in all cases. Note that with the even rounding rule or rounding away from zero, it is not needed to relax the condition when x is exactly representable. |