summaryrefslogtreecommitdiff
path: root/doc/sum.txt
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2016-03-14 01:48:55 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2016-03-14 01:48:55 +0000
commit250cba59acd32d45acf67aca0a315021a417033f (patch)
tree4083a64ed0728c6904662b11adeac5ef2a0fc919 /doc/sum.txt
parent32035bccda44ea02d9503e4103a699ef6e7a9a39 (diff)
downloadmpfr-250cba59acd32d45acf67aca0a315021a417033f.tar.gz
[doc/sum.txt] Replaced e by ε for the error (e is already used).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10230 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc/sum.txt')
-rw-r--r--doc/sum.txt6
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/sum.txt b/doc/sum.txt
index bf3c2e5e0..189ccfdef 100644
--- a/doc/sum.txt
+++ b/doc/sum.txt
@@ -890,10 +890,10 @@ 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 (non-negative 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 e on the
-significand satisfies −t' ≤ e < 1 ulp + t'. Thus one has 4 correction
+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
-on e, the sign of the significand, rbit, and the rounding mode:
+on ε, the sign of the significand, rbit, and the rounding mode:
−1: equivalent to nextbelow;
0: no correction;
+1: equivalent to nextabove.