diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-03-05 10:46:53 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-03-05 10:46:53 +0000 |
commit | e0d5114341ced0e4329c0078cdbdd046e6d03884 (patch) | |
tree | ede4c1c31f7236c6dfbbfa1e09edfef36a0ce8f0 /doc | |
parent | 74be4f4d43283be249864a25fae1a95e17a96179 (diff) | |
download | mpfr-e0d5114341ced0e4329c0078cdbdd046e6d03884.tar.gz |
[doc/mpfr.texi] Typographic corrections for mpfr_subnormalize.
(merged changeset r12462 from the trunk)
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@12463 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc')
-rw-r--r-- | doc/mpfr.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/mpfr.texi b/doc/mpfr.texi index 7ee8e0d8c..abd894465 100644 --- a/doc/mpfr.texi +++ b/doc/mpfr.texi @@ -3408,20 +3408,20 @@ This function rounds @var{x} emulating subnormal number arithmetic: if @var{x} is outside the subnormal exponent range of the emulated floating-point system, this function just propagates the @ref{ternary value} @var{t}; otherwise, it rounds @var{x} to precision -@code{EXP(x)-emin+1} according to rounding mode @var{rnd} and previous +@code{EXP(@var{x})-emin+1} according to rounding mode @var{rnd} and previous ternary value @var{t}, avoiding double rounding problems. -More precisely in the subnormal domain, denoting by @var{e} the value of +More precisely in the subnormal domain, denoting by @m{e,@var{e}} the value of @code{emin}, @var{x} is rounded in fixed-point arithmetic to an integer multiple of @m{2^{e-1}, two to the power @var{e}@minus{}1}; as a consequence, @m{1.5 \times 2^{e-1}, 1.5 multiplied by two to the power @var{e}@minus{}1} when @var{t} is zero is rounded to @m{2^e, two to the power @var{e}} with rounding to nearest. -@code{PREC(x)} is not modified by this function. +@code{PREC(@var{x})} is not modified by this function. @var{rnd} and @var{t} must be the rounding mode and the returned ternary value used when computing @var{x} (as in @code{mpfr_check_range}). -The subnormal exponent range is from @code{emin} to @code{emin+PREC(x)-1}. +The subnormal exponent range is from @code{emin} to @code{emin+PREC(@var{x})-1}. If the result cannot be represented in the current exponent range of MPFR (due to a too small @code{emax}), the behavior is undefined. Note that unlike most functions, the result is compared to the exact one, |