diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-11-09 03:20:29 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-11-09 03:20:29 +0000 |
commit | 53ef484ed89fef2e2706e3025b8876b775994f96 (patch) | |
tree | 632a661bc99517d8f2abb8453a9c8036d6423f19 | |
parent | bdb2290d33a1b2618472e542f6705ea6bb17c71f (diff) | |
download | mpfr-53ef484ed89fef2e2706e3025b8876b775994f96.tar.gz |
[doc/sum.txt] Correction.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10951 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r-- | doc/sum.txt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/sum.txt b/doc/sum.txt index e4874ebd1..ef82c6a03 100644 --- a/doc/sum.txt +++ b/doc/sum.txt @@ -974,10 +974,10 @@ sgn to the corresponding sign. In short: └──────────┴─────┴─────┘ Now we seek to determine how the value will be rounded, more precisely, -what correction will be done to the significand that has been copied -just above. We currently have a significand, a trailing term t in the -accumulator such that 0 ≤ t < 1 ulp (nonnegative thanks to the two's -complement representation), and an error on the trailing term bounded by +what correction will be done to the significand that will be copied. +We currently have a significand, a trailing term t in the accumulator +such that 0 ≤ t < 1 ulp (nonnegative thanks to the two's complement +representation), and an error on the trailing term bounded by t' ≤ 2^(u−3) = 2^(−3) ulp in absolute value, so that the error ε on the significand satisfies −t' ≤ ε < 1 ulp + t'. Thus one has 4 correction cases, denoted by an integer value corr between −1 and 2, which depends |