summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2015-11-11 01:25:12 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2015-11-11 01:25:12 +0000
commit9f41e6122e803fbb37b01b3067dc9bdcc954caba (patch)
tree3bebfe82b6d2f34ccf150065b8af58ffcfa8b436 /doc
parent37699107610af76af6416e80a6d6e36e375119c6 (diff)
downloadmpfr-9f41e6122e803fbb37b01b3067dc9bdcc954caba.tar.gz
[doc/sum.txt] Update.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9741 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc')
-rw-r--r--doc/sum.txt5
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/sum.txt b/doc/sum.txt
index 3e7b6f94d..fe4ccdadc 100644
--- a/doc/sum.txt
+++ b/doc/sum.txt
@@ -804,8 +804,9 @@ second argument of mpfr_check_range.
We distinguish two cases:
* tmd = 0. The TMD does not occur, so that t' has no influence on
- the rounding and the ternary value (one can assume t' = 0). In
- the directed rounding modes, inex = 0 iff t = 0. Therefore:
+ the rounding and the ternary value (one can assume t' = 0). One
+ has inex = 0 if and only if t = 0, so that inex is currently the
+ absolute value of the ternary value. Therefore:
* for MPFR_RNDD, corr ← 0;
* for MPFR_RNDU, corr ← inex;
* for MPFR_RNDZ, corr ← inex && !pos;