summaryrefslogtreecommitdiff
path: root/tests/log.dat
diff options
context:
space:
mode:
authorthevenyp <thevenyp@211d60ee-9f03-0410-a15a-8952a2c7a4e4>2008-12-05 14:16:15 +0000
committerthevenyp <thevenyp@211d60ee-9f03-0410-a15a-8952a2c7a4e4>2008-12-05 14:16:15 +0000
commitd4c8d8eb30996db22c8095a7337ccfc7ccea58e0 (patch)
tree679021c9d2737066c60e76677bb4e601737b2b14 /tests/log.dat
parent4ab4dab384e5718ab56f7031f530867dcabdc087 (diff)
downloadmpc-d4c8d8eb30996db22c8095a7337ccfc7ccea58e0.tar.gz
tests/read_data.c: now read and optionally check inexact flag.
tests/*.dat: add two columns for ternary value. git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@383 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests/log.dat')
-rw-r--r--tests/log.dat84
1 files changed, 42 insertions, 42 deletions
diff --git a/tests/log.dat b/tests/log.dat
index be97295..d76f479 100644
--- a/tests/log.dat
+++ b/tests/log.dat
@@ -27,75 +27,75 @@
# Rule [conj]: log(conj(z)) = conj(log(z))
# log(-0 + i*0) = -inf + i*pi
-2 -inf 53 0x3243F6A8885A3p-48 2 -0 2 +0 N N
-2 -inf 53 -0x3243F6A8885A3p-48 2 -0 2 -0 N N
-2 -inf 53 0x3243F6A8885A3p-48 2 -0 2 +0 N D
-2 -inf 53 -0x3243F6A8885A32p-52 2 -0 2 -0 N D
+? ? 2 -inf 53 0x3243F6A8885A3p-48 2 -0 2 +0 N N
+? ? 2 -inf 53 -0x3243F6A8885A3p-48 2 -0 2 -0 N N
+? ? 2 -inf 53 0x3243F6A8885A3p-48 2 -0 2 +0 N D
+? ? 2 -inf 53 -0x3243F6A8885A32p-52 2 -0 2 -0 N D
# log(+0 + i*0) = -inf + i*0
-2 -inf 2 +0 2 +0 2 +0 N N
-2 -inf 2 -0 2 +0 2 -0 N N
+0 0 2 -inf 2 +0 2 +0 2 +0 N N
+0 0 2 -inf 2 -0 2 +0 2 -0 N N
# log(x + i*inf) = +inf + i*pi/2 for finite x
-2 +inf 53 0x3243F6A8885A3p-49 2 1 2 +inf N N
-2 +inf 53 0x3243F6A8885A3p-49 2 +0 2 +inf N N
-2 +inf 53 0x3243F6A8885A3p-49 2 -0 2 +inf N N
-2 +inf 53 0x3243F6A8885A3p-49 2 -1 2 +inf N N
+? ? 2 +inf 53 0x3243F6A8885A3p-49 2 1 2 +inf N N
+? ? 2 +inf 53 0x3243F6A8885A3p-49 2 +0 2 +inf N N
+? ? 2 +inf 53 0x3243F6A8885A3p-49 2 -0 2 +inf N N
+? ? 2 +inf 53 0x3243F6A8885A3p-49 2 -1 2 +inf N N
# by [conj]: log(x - i*inf) = +inf - i*pi/2 for finite x
-2 +inf 53 -0x3243F6A8885A3p-49 2 1 2 -inf N N
-2 +inf 53 -0x3243F6A8885A3p-49 2 +0 2 -inf N N
-2 +inf 53 -0x3243F6A8885A3p-49 2 -0 2 -inf N N
-2 +inf 53 -0x3243F6A8885A3p-49 2 -1 2 -inf N N
+? ? 2 +inf 53 -0x3243F6A8885A3p-49 2 1 2 -inf N N
+? ? 2 +inf 53 -0x3243F6A8885A3p-49 2 +0 2 -inf N N
+? ? 2 +inf 53 -0x3243F6A8885A3p-49 2 -0 2 -inf N N
+? ? 2 +inf 53 -0x3243F6A8885A3p-49 2 -1 2 -inf N N
# log(x + i*nan) = nan+i*nan for finite x
-2 nan 2 nan 2 1 2 nan N N
-2 nan 2 nan 2 +0 2 nan N N
-2 nan 2 nan 2 -0 2 nan N N
-2 nan 2 nan 2 -1 2 nan N N
+0 0 2 nan 2 nan 2 1 2 nan N N
+0 0 2 nan 2 nan 2 +0 2 nan N N
+0 0 2 nan 2 nan 2 -0 2 nan N N
+0 0 2 nan 2 nan 2 -1 2 nan N N
# log(-inf + i*y) = +inf + i*pi for finite positive-signed y
-2 +inf 53 0x3243F6A8885A3p-48 2 -inf 2 1 N N
-2 +inf 53 0x3243F6A8885A3p-48 2 -inf 2 +0 N N
+0 ? 2 +inf 53 0x3243F6A8885A3p-48 2 -inf 2 1 N N
+0 ? 2 +inf 53 0x3243F6A8885A3p-48 2 -inf 2 +0 N N
# by [conj]: log(-inf + i*y) = +inf - i*pi for finite negative-signed y
-2 +inf 53 -0x3243F6A8885A3p-48 2 -inf 2 -1 N N
-2 +inf 53 -0x3243F6A8885A3p-48 2 -inf 2 -0 N N
+0 ? 2 +inf 53 -0x3243F6A8885A3p-48 2 -inf 2 -1 N N
+0 ? 2 +inf 53 -0x3243F6A8885A3p-48 2 -inf 2 -0 N N
# log(+inf + i*y) = +inf + i*0 for finite positive-signed y
-2 +inf 2 +0 2 +inf 2 1 N N
-2 +inf 2 +0 2 +inf 2 +0 N N
+0 0 2 +inf 2 +0 2 +inf 2 1 N N
+0 0 2 +inf 2 +0 2 +inf 2 +0 N N
# by [conj]: log(+inf + i*y) = +inf - i*0 for finite negative-signed y
-2 +inf 2 -0 2 +inf 2 -1 N N
-2 +inf 2 -0 2 +inf 2 -0 N N
+0 0 2 +inf 2 -0 2 +inf 2 -1 N N
+0 0 2 +inf 2 -0 2 +inf 2 -0 N N
# log(-inf + i*inf) = +inf + i*(3*pi/4)
-2 +inf 53 0x96CBE3F9990E9p-50 2 -inf 2 +inf N N
+0 ? 2 +inf 53 0x96CBE3F9990E9p-50 2 -inf 2 +inf N N
# by [conj]: log(-inf - i*inf) = +inf - i*(3*pi/4)
-2 +inf 53 -0x96CBE3F9990E9p-50 2 -inf 2 -inf N N
+0 ? 2 +inf 53 -0x96CBE3F9990E9p-50 2 -inf 2 -inf N N
# log(+inf + i*inf) = +inf + i*(pi/4)
-2 +inf 53 0x3243F6A8885A3p-50 2 +inf 2 +inf N N
+0 ? 2 +inf 53 0x3243F6A8885A3p-50 2 +inf 2 +inf N N
# by [conj]: log(+inf - i*inf) = +inf - i*(pi/4)
-2 +inf 53 -0x3243F6A8885A3p-50 2 +inf 2 -inf N N
+0 ? 2 +inf 53 -0x3243F6A8885A3p-50 2 +inf 2 -inf N N
# log(+/-inf + i*nan) = +inf + i*nan
-2 +inf 2 nan 2 +inf 2 nan N N
-2 +inf 2 nan 2 -inf 2 nan N N
+0 0 2 +inf 2 nan 2 +inf 2 nan N N
+0 0 2 +inf 2 nan 2 -inf 2 nan N N
# log(nan + i*y) = nan + i*nan for finite y
-2 nan 2 nan 2 nan 2 1 N N
-2 nan 2 nan 2 nan 2 +0 N N
-2 nan 2 nan 2 nan 2 -0 N N
-2 nan 2 nan 2 nan 2 -1 N N
+0 0 2 nan 2 nan 2 nan 2 1 N N
+0 0 2 nan 2 nan 2 nan 2 +0 N N
+0 0 2 nan 2 nan 2 nan 2 -0 N N
+0 0 2 nan 2 nan 2 nan 2 -1 N N
# log(nan + i*inf) = +inf + i*nan
-2 +inf 2 nan 2 nan 2 +inf N N
+0 0 2 +inf 2 nan 2 nan 2 +inf N N
# log(nan + i*nan) = nan + i*nan
-2 nan 2 nan 2 nan 2 nan N N
+0 0 2 nan 2 nan 2 nan 2 nan N N
# log(x + i*y) with either x or y zero and the other non-zero
-53 0xB5535E0FD3FBDp-50 2 0 5 0x11 2 0 N N
-53 0xB5535E0FD3FBDp-50 53 0x3243F6A8885A3p-49 2 0 5 0x11 N N
-53 0x5E38D81812CCBp-49 53 0x3243F6A8885A3p-48 5 -0x13 2 0 N N
-53 0x5E38D81812CCBp-49 53 -0x3243F6A8885A3p-49 2 0 5 -0x13 N N
+? ? 53 0xB5535E0FD3FBDp-50 2 0 5 0x11 2 0 N N
+? ? 53 0xB5535E0FD3FBDp-50 53 0x3243F6A8885A3p-49 2 0 5 0x11 N N
+? ? 53 0x5E38D81812CCBp-49 53 0x3243F6A8885A3p-48 5 -0x13 2 0 N N
+? ? 53 0x5E38D81812CCBp-49 53 -0x3243F6A8885A3p-49 2 0 5 -0x13 N N