diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2015-11-11 01:25:12 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2015-11-11 01:25:12 +0000 |
commit | 9f41e6122e803fbb37b01b3067dc9bdcc954caba (patch) | |
tree | 3bebfe82b6d2f34ccf150065b8af58ffcfa8b436 /doc | |
parent | 37699107610af76af6416e80a6d6e36e375119c6 (diff) | |
download | mpfr-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.txt | 5 |
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; |