Changed "plus/minus infinity" to "positive/negative infinity".

git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14318 280ebfd0-de03-0410-8827-d642c229c3f4

2 files changed, 6 insertions, 6 deletions

diff --git a/doc/FAQ.html b/doc/FAQ.html
index cd8a81b9a..c0f2a86f6 100644
--- a/doc/FAQ.html
+++ b/doc/FAQ.html
@@ -188,8 +188,8 @@ infinities, not-a-number (NaN).</p></li>
 <dd><p>You need to add <q><code>r</code></q> to the function names, and to
 specify the rounding mode (<code>MPFR_RNDN</code> for rounding to nearest,
 <code>MPFR_RNDZ</code> for rounding toward zero, <code>MPFR_RNDU</code>
-for rounding toward plus infinity, <code>MPFR_RNDD</code> for rounding
-toward minus infinity). You can also define macros as follows:
+for rounding toward positive infinity, <code>MPFR_RNDD</code> for rounding
+toward negative infinity). You can also define macros as follows:
 <code class="block-code">#define mpf_add(a, b, c) mpfr_add(a, b, c, MPFR_RNDN)</code></p>
 <p>The header file <samp>mpf2mpfr.h</samp> from the
 <cite><acronym>MPFR</acronym></cite> distribution automatically
diff --git a/doc/algorithms.tex b/doc/algorithms.tex
index 63d1704c0..9b11d0491 100644
--- a/doc/algorithms.tex
+++ b/doc/algorithms.tex
@@ -85,8 +85,8 @@ Algorithms and Proofs}
 
 In the whole document, $\N()$ denotes rounding to nearest,
 $\Z()$ rounding toward zero,
-$\pinf()$ rounding toward plus infinity,
-$\minf()$ rounding toward minus infinity,
+$\pinf()$ rounding toward positive infinity,
+$\minf()$ rounding toward negative infinity,
 and $\circ()$ any of those four rounding modes.
 
 In the whole document, except special notice, all variables are assumed
@@ -2414,12 +2414,12 @@ When rounding to nearest, if $p_x \leq p_z$ and $\frac{p_z+1}{2} < \Exp(x) -
 p_x$, the condition $\frac{p_x+1}{2} < \Exp(x) - \Exp(y)$ ensures that
 $\frac{y^2}{2x} < \frac{1}{2} \ulp_{p_x}(x)$.  In both cases, these
 inequalities show that $z=\N_{p_z}(x)$, except that tie case is rounded
-toward plus infinity since hypot($x$,$y$) is strictly greater than $x$.
+toward positive infinity since hypot($x$,$y$) is strictly greater than $x$.
 
 With the other rounding modes, the conditions $p_z/2 < \Exp(x) - \Exp(y)$
 if $p_x \leq p_z$, and $p_x/2 < \Exp(x) - \Exp(y)$ if $p_z < p_x$ mean in
 a similar way that $z=\circ_{p_z}(x)$, except that we need to add one ulp
-to the result when rounding toward plus infinity and $x$ is exactly
+to the result when rounding toward positive infinity and $x$ is exactly
 representable with $p_z$ bits of precision.
 
 When none of the above conditions are satisfied, we use the following