summaryrefslogtreecommitdiff
path: root/TODO
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2012-04-27 13:51:49 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2012-04-27 13:51:49 +0000
commitf4623ed2e19e5b5317864bf499de22f6aab27c2f (patch)
tree5c9a6e9a0ac3b54d2016049825729ef4b2a576bd /TODO
parent873818817bcc94fc58f393642ff2b14dee87766d (diff)
downloadmpfr-f4623ed2e19e5b5317864bf499de22f6aab27c2f.tar.gz
[TODO] Suggested a new rounding mode: MPFR_RNDE, to be used when the
result is known to be exact (normal mode: optimize; debug mode: check). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8168 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'TODO')
-rw-r--r--TODO5
1 files changed, 5 insertions, 0 deletions
diff --git a/TODO b/TODO
index b4de70504..b1068717d 100644
--- a/TODO
+++ b/TODO
@@ -397,6 +397,11 @@ Table of contents:
z = round(y, p, TO_NEAREST_EVEN), then
z = round(x, p, TO_NEAREST_EVEN)
so it avoids the double-rounding problem.
+- new rounding mode MPFR_RNDE when the result is known to be exact?
+ * In normal mode, this would allow MPFR to optimize using
+ this information.
+ * In debug mode, MPFR would check that the result is exact
+ (i.e. that the ternary value is 0).
- add tests of the ternary value for constants