added C99 rationale for remquo

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

1 files changed, 8 insertions, 2 deletions

diff --git a/TODO b/TODO
index 67c1b3ec2..6f56b47bc 100644
--- a/TODO
+++ b/TODO
@@ -96,8 +96,14 @@ New functions to implement:
 - mpfr_remainder (mpfr_t, mpfr_srcptr, mpfr_srcptr, mp_rnd_t)
   as in ISO C99: "centered" remainder.
 - mpfr_remquo (mpfr_t, mpfr_t, mpfr_srcptr, mpfr_srcptr, mp_rnd_t)
-  as in ISO C99: remainder and quotient
-  [suggested by Kaveh Ghazi, 18 Feb 2007]
+  as in ISO C99: remainder and quotient [suggested by Kaveh Ghazi, 18 Feb 2007]
+  Question: compute the full quotient (mpfr or mpz?) or only its low
+  significant bits as in C99 (see rationale below)?
+    "New feature for C99. The remquo functions are intended for
+    implementing argument reductions which can exploit a few low-order
+    bits of the quotient. Note that x may be so large in magnitude
+    relative to y that an exact representation of the quotient is not
+    practical."
 - mpfr_fms for a-b*c
   [suggested by Tomas Zahradnicky <tomas@24uSoftware.com>, 29 Nov 2003]
 - 1/sqrt(x) [Regis Dupont <dupont@lix.polytechnique.fr>, 15 Sep 2004]