Punctuation (missing comma after "however").

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

1 files changed, 7 insertions, 7 deletions

diff --git a/src/sub1sp.c b/src/sub1sp.c
index 96ef4ffd9..32368aa6f 100644
--- a/src/sub1sp.c
+++ b/src/sub1sp.c
@@ -244,7 +244,7 @@ mpfr_sub1sp1 (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode,
               /* Warning: if d = GMP_NUMB_BITS and c0 = 1000...000, then
                  b0 - c0 = |0111...111|1000...000|, which after the shift
                  becomes |111...111|000...000| thus if p = GMP_NUMB_BITS-1
-                 we have rb = 1 but sb = 0. However in this case the round
+                 we have rb = 1 but sb = 0. However, in this case the round
                  even rule will round up, which is what we get with sb = 1:
                  the final result will be correct, while sb is incorrect. */
             }
@@ -255,7 +255,7 @@ mpfr_sub1sp1 (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode,
   /* now perform rounding */
 
   /* Warning: MPFR considers underflow *after* rounding with an unbounded
-     exponent range. However since b and c have same precision p, they are
+     exponent range. However, since b and c have same precision p, they are
      multiples of 2^(emin-p), likewise for b-c. Thus if bx < emin, the
      subtraction (with an unbounded exponent range) is exact, so that bx is
      also the exponent after rounding with an unbounded exponent range. */
@@ -445,7 +445,7 @@ mpfr_sub1sp1n (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode)
   /* now perform rounding */
 
   /* Warning: MPFR considers underflow *after* rounding with an unbounded
-     exponent range. However since b and c have same precision p, they are
+     exponent range. However, since b and c have same precision p, they are
      multiples of 2^(emin-p), likewise for b-c. Thus if bx < emin, the
      subtraction (with an unbounded exponent range) is exact, so that bx is
      also the exponent after rounding with an unbounded exponent range. */
@@ -711,7 +711,7 @@ mpfr_sub1sp2 (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode,
   /* now perform rounding */
 
   /* Warning: MPFR considers underflow *after* rounding with an unbounded
-     exponent range. However since b and c have same precision p, they are
+     exponent range. However, since b and c have same precision p, they are
      multiples of 2^(emin-p), likewise for b-c. Thus if bx < emin, the
      subtraction (with an unbounded exponent range) is exact, so that bx is
      also the exponent after rounding with an unbounded exponent range. */
@@ -992,7 +992,7 @@ mpfr_sub1sp2n (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode)
   /* now perform rounding */
 
   /* Warning: MPFR considers underflow *after* rounding with an unbounded
-     exponent range. However since b and c have same precision p, they are
+     exponent range. However, since b and c have same precision p, they are
      multiples of 2^(emin-p), likewise for b-c. Thus if bx < emin, the
      subtraction (with an unbounded exponent range) is exact, so that bx is
      also the exponent after rounding with an unbounded exponent range. */
@@ -1318,7 +1318,7 @@ mpfr_sub1sp3 (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode,
   /* now perform rounding */
 
   /* Warning: MPFR considers underflow *after* rounding with an unbounded
-     exponent range. However since b and c have same precision p, they are
+     exponent range. However, since b and c have same precision p, they are
      multiples of 2^(emin-p), likewise for b-c. Thus if bx < emin, the
      subtraction (with an unbounded exponent range) is exact, so that bx is
      also the exponent after rounding with an unbounded exponent range. */
@@ -1648,7 +1648,7 @@ mpfr_sub1sp (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c, mpfr_rnd_t rnd_mode)
                   return 0;
                 }
               /* c0 is non-zero, thus we have to subtract 1/2*ulp(a),
-                 however we know (see analysis above) that this cannot
+                 however, we know (see analysis above) that this cannot
                  make the exponent decrease */
               MPFR_ASSERTD( !(ap[0] & ~mask) );    /* Check last bits */
               /* No normalize is needed */