completed implementation of Vincent's algorithm for mpfr_remquo

all tests now pass again


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

1 files changed, 12 insertions, 2 deletions

diff --git a/tests/tremquo.c b/tests/tremquo.c
index dc57aca66..698a110d2 100644
--- a/tests/tremquo.c
+++ b/tests/tremquo.c
@@ -119,18 +119,28 @@ main (int argc, char *argv[])
 
   mpfr_set_prec (x, 53);
   mpfr_set_prec (y, 53);
-
+  
+  /* check four possible sign combinations */
   mpfr_set_ui (x, 42, GMP_RNDN);
   mpfr_set_ui (y, 17, GMP_RNDN);
   mpfr_remquo (r, q, x, y, GMP_RNDN);
   MPFR_ASSERTN (mpfr_cmp_ui (r, 8) == 0);
   MPFR_ASSERTN (q[0] == (long) 2);
-
   mpfr_set_si (x, -42, GMP_RNDN);
   mpfr_set_ui (y, 17, GMP_RNDN);
   mpfr_remquo (r, q, x, y, GMP_RNDN);
   MPFR_ASSERTN (mpfr_cmp_si (r, -8) == 0);
   MPFR_ASSERTN (q[0] == (long) -2);
+  mpfr_set_si (x, -42, GMP_RNDN);
+  mpfr_set_si (y, -17, GMP_RNDN);
+  mpfr_remquo (r, q, x, y, GMP_RNDN);
+  MPFR_ASSERTN (mpfr_cmp_si (r, -8) == 0);
+  MPFR_ASSERTN (q[0] == (long) 2);
+  mpfr_set_ui (x, 42, GMP_RNDN);
+  mpfr_set_si (y, -17, GMP_RNDN);
+  mpfr_remquo (r, q, x, y, GMP_RNDN);
+  MPFR_ASSERTN (mpfr_cmp_ui (r, 8) == 0);
+  MPFR_ASSERTN (q[0] == (long) -2);
 
   mpfr_set_prec (x, 100);
   mpfr_set_prec (y, 50);