summaryrefslogtreecommitdiff
path: root/doc/sum.txt
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2016-11-09 03:20:29 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2016-11-09 03:20:29 +0000
commit53ef484ed89fef2e2706e3025b8876b775994f96 (patch)
tree632a661bc99517d8f2abb8453a9c8036d6423f19 /doc/sum.txt
parentbdb2290d33a1b2618472e542f6705ea6bb17c71f (diff)
downloadmpfr-53ef484ed89fef2e2706e3025b8876b775994f96.tar.gz
[doc/sum.txt] Correction.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10951 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc/sum.txt')
-rw-r--r--doc/sum.txt8
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