summaryrefslogtreecommitdiff
path: root/tests/pow.dat
diff options
context:
space:
mode:
authorthevenyp <thevenyp@211d60ee-9f03-0410-a15a-8952a2c7a4e4>2009-07-29 16:41:45 +0000
committerthevenyp <thevenyp@211d60ee-9f03-0410-a15a-8952a2c7a4e4>2009-07-29 16:41:45 +0000
commitacc9fd2dc1cff899745e08217deec27dd5bb741a (patch)
tree648c9c98689b495559ac5b0c3600fc946f5e30a3 /tests/pow.dat
parent310ebdd32c1d7679c3aa560c61b4a6dafd67aae0 (diff)
downloadmpc-acc9fd2dc1cff899745e08217deec27dd5bb741a.tar.gz
src/pow.c: set sign of the zero imaginary part as determined in the proof in algorithms.tex revision r628.
tests/pow.dat: Zero signs in test values according to the proof in algorithms.tex revision r628. git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@629 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests/pow.dat')
-rw-r--r--tests/pow.dat342
1 files changed, 210 insertions, 132 deletions
diff --git a/tests/pow.dat b/tests/pow.dat
index 281853a..cafe264 100644
--- a/tests/pow.dat
+++ b/tests/pow.dat
@@ -1,6 +1,6 @@
# Data file for mpc_pow.
#
-# Copyright (C) 2009 Paul Zimmermann
+# Copyright (C) 2009 Paul Zimmermann, Philippe Theveny
#
# This file is part of the MPC Library.
#
@@ -21,7 +21,7 @@
#
# For explanations on the file format, see add.dat.
-0 0 53 nan 53 nan 53 nan 53 +0 53 +0 53 +0 N N
+0 0 53 +1 53 0 53 nan 53 +0 53 +0 53 +0 N N
0 0 53 nan 53 nan 53 nan 53 +0 53 +0 53 +1 N N
0 0 53 nan 53 nan 53 nan 53 +0 53 +0 53 -1 N N
0 0 53 nan 53 nan 53 nan 53 +0 53 +1 53 +0 N N
@@ -32,7 +32,6 @@
0 0 53 nan 53 nan 53 nan 53 +0 53 +inf 53 +1 N N
0 0 53 nan 53 nan 53 nan 53 +0 53 +inf 53 -1 N N
0 0 53 nan 53 nan 53 nan 53 +0 53 -inf 53 +0 N N
-0 0 53 nan 53 nan 53 +inf 53 +0 53 +0 53 +0 N N
0 0 53 nan 53 nan 53 +inf 53 +0 53 +0 53 +1 N N
0 0 53 nan 53 nan 53 +inf 53 +0 53 +0 53 -1 N N
0 0 53 inf 53 nan 53 +inf 53 +0 53 +1 53 +0 N N
@@ -50,7 +49,6 @@
0 0 53 0 53 0 53 +inf 53 +0 53 -inf 53 +0 N N
0 0 53 0 53 0 53 +inf 53 +0 53 -inf 53 +1 N N
0 0 53 0 53 0 53 +inf 53 +0 53 -inf 53 -1 N N
-0 0 53 nan 53 nan 53 +inf 53 +1 53 +0 53 +0 N N
0 0 53 nan 53 nan 53 +inf 53 +1 53 +0 53 +1 N N
0 0 53 nan 53 nan 53 +inf 53 +1 53 +0 53 -1 N N
0 0 53 +inf 53 nan 53 +inf 53 +1 53 +1 53 +0 N N
@@ -68,7 +66,6 @@
0 0 53 0 53 0 53 +inf 53 +1 53 -inf 53 +0 N N
0 0 53 0 53 0 53 +inf 53 +1 53 -inf 53 +1 N N
0 0 53 0 53 0 53 +inf 53 +1 53 -inf 53 -1 N N
-0 0 53 nan 53 nan 53 +inf 53 -1 53 +0 53 +0 N N
0 0 53 nan 53 nan 53 +inf 53 -1 53 +0 53 +1 N N
0 0 53 nan 53 nan 53 +inf 53 -1 53 +0 53 -1 N N
0 0 53 +inf 53 nan 53 +inf 53 -1 53 +1 53 +0 N N
@@ -86,7 +83,6 @@
0 0 53 0 53 0 53 +inf 53 -1 53 -inf 53 +0 N N
0 0 53 0 53 0 53 +inf 53 -1 53 -inf 53 +1 N N
0 0 53 0 53 0 53 +inf 53 -1 53 -inf 53 -1 N N
-0 0 53 nan 53 nan 53 -inf 53 +0 53 +0 53 +0 N N
0 0 53 nan 53 nan 53 -inf 53 +0 53 +0 53 +1 N N
0 0 53 nan 53 nan 53 -inf 53 +0 53 +0 53 -1 N N
0 0 53 +inf 53 nan 53 -inf 53 +0 53 +1 53 +0 N N
@@ -104,7 +100,6 @@
0 0 53 0 53 0 53 -inf 53 +0 53 -inf 53 +0 N N
0 0 53 0 53 0 53 -inf 53 +0 53 -inf 53 +1 N N
0 0 53 0 53 0 53 -inf 53 +0 53 -inf 53 -1 N N
-0 0 53 nan 53 nan 53 -inf 53 +1 53 +0 53 +0 N N
0 0 53 nan 53 nan 53 -inf 53 +1 53 +0 53 +1 N N
0 0 53 nan 53 nan 53 -inf 53 +1 53 +0 53 -1 N N
0 0 53 +inf 53 nan 53 -inf 53 +1 53 +1 53 +0 N N
@@ -122,7 +117,6 @@
0 0 53 0 53 0 53 -inf 53 +1 53 -inf 53 +0 N N
0 0 53 0 53 0 53 -inf 53 +1 53 -inf 53 +1 N N
0 0 53 0 53 0 53 -inf 53 +1 53 -inf 53 -1 N N
-0 0 53 nan 53 nan 53 -inf 53 -1 53 +0 53 +0 N N
0 0 53 nan 53 nan 53 -inf 53 -1 53 +0 53 +1 N N
0 0 53 nan 53 nan 53 -inf 53 -1 53 +0 53 -1 N N
0 0 53 +inf 53 nan 53 -inf 53 -1 53 +1 53 +0 N N
@@ -141,7 +135,6 @@
0 0 53 0 53 0 53 -inf 53 -1 53 -inf 53 +1 N N
0 0 53 0 53 0 53 -inf 53 -1 53 -inf 53 -1 N N
-0 0 53 nan 53 nan 53 +0 53 +0 53 +0 53 +0 N N
0 0 53 nan 53 nan 53 +0 53 +0 53 +0 53 +1 N N
0 0 53 nan 53 nan 53 +0 53 +0 53 +0 53 -1 N N
0 0 53 0 53 0 53 +0 53 +0 53 +1 53 +0 N N
@@ -160,136 +153,221 @@
0 0 53 +inf 53 nan 53 +0 53 +0 53 -inf 53 +1 N N
0 0 53 +inf 53 nan 53 +0 53 +0 53 -inf 53 -1 N N
+# zeros with determined sign, see algorithms.tex
+# x^0 = +1 +sign(Im(x))*sign(Re(y))*0i when |x|=1
0 0 53 +1 53 +0 53 +0 53 +1 53 +0 53 +0 N N
-# zero cases from algorithms.tex
-# (1+0*i)^(-0+0*i) -> 1-0*i
-0 0 53 +1 53 -0 53 +1 53 +0 53 -0 53 +0 N N
-# (1-0*i)^(+0+0*i) -> 1-0*i
-0 0 53 +1 53 -0 53 +1 53 -0 53 +0 53 +0 N N
-# (1-0*i)^(-0-0*i) -> 1+0*i
-0 0 53 +1 53 +0 53 +1 53 -0 53 -0 53 -0 N N
+0 0 53 +1 53 -0 53 +0 53 +1 53 +0 53 +0 N D #round toward -oo
+0 0 53 +1 53 +0 53 -0 53 +1 53 +0 53 +0 N N
+0 0 53 +1 53 +0 53 -1 53 +0 53 +0 53 +0 N N
+0 0 53 +1 53 -0 53 -1 53 -0 53 +0 53 +0 N N
+0 0 53 +1 53 -0 53 -0 53 -1 53 +0 53 +0 N N
+0 0 53 +1 53 -0 53 +0 53 -1 53 +0 53 +0 N N
-# (x-0i)^(y-0i) = +a +0i when 0 < x < 1 and y <= -0
-0 0 53 4 53 +0 53 +0.5 53 -0 53 -2 53 -0 N N
-0 0 53 1 53 +0 53 +0.5 53 -0 53 -0 53 -0 N N
-# x^(-0-0i) = +1 +0i when |x| < 1 and Im(x) < 0
-0 0 53 1 53 +0 53 -0.5 53 -0.5 53 -0 53 -0 N N
-0 0 53 1 53 +0 53 -0 53 -0.5 53 -0 53 -0 N N
-0 0 53 1 53 +0 53 +0 53 -0.5 53 -0 53 -0 N N
-0 0 53 1 53 +0 53 +0.5 53 -0.5 53 -0 53 -0 N N
-# x^(+0-0i) = +1 +0i when |x| < 1 and Im(x) > 0
-0 0 53 1 53 +0 53 +0.5 53 +0.5 53 +0 53 -0 N N
-0 0 53 1 53 +0 53 +0 53 +0.5 53 +0 53 -0 N N
-0 0 53 1 53 +0 53 -0 53 +0.5 53 +0 53 -0 N N
-0 0 53 1 53 +0 53 -0.5 53 +0.5 53 +0 53 -0 N N
-# (x+0i)^(y-0i) = +a +0i when 0 < x < 1 and y >= +0
-0 0 53 1 53 +0 53 +0.5 53 +0 53 +0 53 -0 N N
-0 0 53 0.25 53 +0 53 +0.5 53 +0 53 +2 53 -0 N N
+0 0 53 +1 53 +0 53 +0 53 +1 53 +0 53 -0 N N
+0 0 53 +1 53 +0 53 -0 53 +1 53 +0 53 -0 N N
+0 0 53 +1 53 +0 53 -1 53 +0 53 +0 53 -0 N N
+0 0 53 +1 53 -0 53 -1 53 -0 53 +0 53 -0 N N
+0 0 53 +1 53 -0 53 -0 53 -1 53 +0 53 -0 N N
+0 0 53 +1 53 -0 53 +0 53 -1 53 +0 53 -0 N N
-# (x-0i)^(y+0i) = +a +0i when x >= 1 and y <= -0
-0 0 53 0.5 53 +0 53 +2 53 -0 53 -1 53 +0 N N
-0 0 53 1 53 +0 53 +3 53 -0 53 -0 53 +0 N N
-0 0 53 1 53 +0 53 +1 53 -0 53 -1 53 +0 N N
-0 0 53 1 53 +0 53 +1 53 -0 53 -0 53 +0 N N
-# x^(-0+0i) = +1 +0i when |x| >= 1 and Im(x) < 0
-0 0 53 1 53 +0 53 +0.5 53 -0.5 53 -0 53 +0 N N
-0 0 53 1 53 +0 53 +0 53 -0.5 53 -0 53 +0 N N
-0 0 53 1 53 +0 53 -0 53 -0.5 53 -0 53 +0 N N
-0 0 53 1 53 +0 53 -0.5 53 -0.5 53 -0 53 +0 N N
-# x^(+0+0i) = +1 +0i when |x| >= 1 and Im(x) > 0
-0 0 53 1 53 +0 53 +0.5 53 +0.5 53 +0 53 +0 N N
-0 0 53 1 53 +0 53 +0 53 -1 53 +0 53 +0 N N
-0 0 53 1 53 +0 53 -0 53 +1 53 +0 53 +0 N N
-0 0 53 1 53 +0 53 -0.5 53 +0.5 53 +0 53 +0 N N
-# (x+0i)^(y+0i) = +a +0i when x >= 1 and y >= +0
-0 0 53 1 53 +0 53 +2 53 +0 53 +0 53 +0 N N
-0 0 53 4 53 +0 53 +2 53 +0 53 +2 53 +0 N N
-0 0 53 1 53 +0 53 +1 53 +0 53 +0 53 +0 N N
-0 0 53 1 53 +0 53 +1 53 +0 53 +2 53 +0 N N
+0 0 53 +1 53 -0 53 +0 53 +1 53 -0 53 +0 N N
+0 0 53 +1 53 -0 53 -0 53 +1 53 -0 53 +0 N N
+0 0 53 +1 53 -0 53 -1 53 +0 53 -0 53 +0 N N
+0 0 53 +1 53 +0 53 -1 53 -0 53 -0 53 +0 N N
+0 0 53 +1 53 +0 53 -0 53 -1 53 -0 53 +0 N N
+0 0 53 +1 53 +0 53 +0 53 -1 53 -0 53 +0 N N
-# (+1-0i)^(y1+y2 i) = +1 +0i when y1 <= -0 and y2 > 0
-0 0 53 1 53 +0 53 +1 53 -0 53 -2 53 +1 N N
-0 0 53 1 53 +0 53 +1 53 -0 53 -1 53 +2 N N
-# (+/-1-0i)^(+0+y i) = +a +0i when y > 0
-0 0 53 1 53 +0 53 +1 53 -0 53 -0 53 +1 N N
-- 0 53 +0x10BBEEE9177E19p-43 53 +0 53 -1 53 -0 53 -0 53 +2 N N
-# x^(-0-y i) = +a +0i when |x| = 1, Im(x) < 0 and y > 0
-+ 0 53 +0x1724046EB0933Ap-48 53 +0 53 -1 53 -0 53 -0 53 +1 N N
-+ 0 53 +0x1724046EB0933Ap-48 53 +0 53 -0 53 -1 53 -0 53 +2 N N
-- 0 53 +0x1BD4567B975381p-46 53 +0 53 +0 53 -1 53 -0 53 +3 N N
-0 0 53 1 53 +0 53 +1 53 -0 53 -0 53 +4 N N
-# x^(+0+y i) = +a +0i when |x| = 1, Im(x) > 0 and y > 0
-0 0 53 1 53 +0 53 +1 53 +0 53 +0 53 +1 N N
-+ 0 53 +0x1620227B598EF9p-57 53 +0 53 +0 53 +1 53 +0 53 +2 N N
-- 0 53 +0x1265D4E92B6B9Bp-59 53 +0 53 -0 53 +1 53 +0 53 +3 N N
-+ 0 53 +0x1D4102BC3F7D4Cp-71 53 +0 53 -1 53 +0 53 +0 53 +4 N N
-# (+/-1+0i)^(0+yi) = +a +0i when y > 0
-+ 0 53 +0x1E989F5D6DFF5Cp-62 53 +0 53 -1 53 +0 53 +0 53 +2 N N
-0 0 53 1 53 +0 53 +1 53 +0 53 +0 53 +2 N N
-# (+1 +0i)^(y1+y2 i) = +1 +0i when y1 >= +0 and y2 >0
-0 0 53 1 53 +0 53 +1 53 +0 53 +2 53 +2 N N
-0 0 53 1 53 +0 53 +1 53 +0 53 +0 53 +2 N N
+0 0 53 +1 53 -0 53 +0 53 +1 53 -0 53 -0 N N
+0 0 53 +1 53 -0 53 -0 53 +1 53 -0 53 -0 N N
+0 0 53 +1 53 -0 53 -1 53 +0 53 -0 53 -0 N N
+0 0 53 +1 53 +0 53 -1 53 -0 53 -0 53 -0 N N
+0 0 53 +1 53 +0 53 -0 53 -1 53 -0 53 -0 N N
+0 0 53 +1 53 +0 53 +0 53 -1 53 -0 53 -0 N N
-# (+1 +0i)^y = +1 -0i when Re(y) <= -0 and Im(y) < 0
-0 0 53 1 53 -0 53 +1 53 +0 53 -1 53 -1 N N
-# (+/-1 +0i)^(-0 +yi) = +a -0i when y < 0
-0 0 53 1 53 -0 53 +1 53 +0 53 -0 53 -1 N N
-+ 0 53 +0x1724046EB0933Ap-48 53 -0 53 -1 53 +0 53 -0 53 -1 N N
-# x^(-0+y i) = +a -0i when |x| = 1, Im(x) >= +0 and y < 0
-+ 0 53 +0x1724046EB0933Ap-48 53 -0 53 +0 53 +1 53 -0 53 -2 N N
-- 0 53 +0x1BD4567B975381p-46 53 -0 53 -0 53 +1 53 -0 53 -3 N N
-# x^(+0+y i) = +a -0i when |x| = 1, Im(x) <= -0 and y < 0
-- 0 53 +0x1A9BCC46F767DFp-55 53 -0 53 +0 53 -1 53 +0 53 -1 N N
-+ 0 53 +0x1620227B598EF9p-57 53 -0 53 -0 53 -1 53 +0 53 -2 N N
-# (+/-1 -0i)^(+0+y i) = +a -0i when y < 0
-0 0 53 1 53 -0 53 +1 53 -0 53 +0 53 -1 N N
-+ 0 53 +0x1620227B598EF9p-57 53 -0 53 -1 53 -0 53 +0 53 -1 N N
-# (+1 -0i)^y = +1 -0i when Re(y) > 0 and Im(y) < 0
-0 0 53 1 53 -0 53 +1 53 -0 53 +2 53 -3 N N
+# x^0 = +1 +sign(Im(y))*0i when |x| > 1
+0 0 53 +1 53 +0 53 +inf 53 +2 53 +0 53 +0 N N
+0 0 53 +1 53 +0 53 +inf 53 -0 53 +0 53 +0 N N
+0 0 53 +1 53 +0 53 +2 53 +inf 53 +0 53 +0 N N
+0 0 53 +1 53 +0 53 +2 53 +0 53 +0 53 +0 N N
+0 0 53 +1 53 +0 53 +0 53 +2 53 +0 53 +0 N N
+0 0 53 +1 53 +0 53 +0 53 +inf 53 +0 53 +0 N N
+0 0 53 +1 53 +0 53 -0 53 +2 53 +0 53 +0 N N
+0 0 53 +1 53 +0 53 -0 53 +inf 53 +0 53 +0 N N
+0 0 53 +1 53 +0 53 -5 53 +inf 53 +0 53 +0 N N
+0 0 53 +1 53 +0 53 -2 53 +0 53 +0 53 +0 N N
+0 0 53 +1 53 +0 53 -inf 53 +0 53 +0 53 +0 N N
+0 0 53 +1 53 +0 53 -inf 53 +3 53 +0 53 +0 N N
-# (x +0i)^(y -0i) = +a -0i when x >= 1 and y < 0
-0 0 53 0.5 53 -0 53 +2 53 +0 53 -1 53 -0 N N
-0 0 53 1 53 -0 53 +1 53 +0 53 -1 53 -0 N N
-# x^(-0 -0i) = +1 -0i when |x| >= 1 and Im (x) >= +0
-0 0 53 1 53 -0 53 +1.5 53 +0 53 -0 53 -0 N N
-0 0 53 1 53 -0 53 +1 53 +0 53 -0 53 -0 N N
-0 0 53 1 53 -0 53 -1 53 +0 53 -0 53 -0 N N
-0 0 53 1 53 -0 53 -1.5 53 +0 53 -0 53 -0 N N
-0 0 53 1 53 -0 53 +1.5 53 +4 53 -0 53 -0 N N
-0 0 53 1 53 -0 53 +1 53 +4 53 -0 53 -0 N N
-0 0 53 1 53 -0 53 -1 53 +4 53 -0 53 -0 N N
-0 0 53 1 53 -0 53 -1.5 53 +4 53 -0 53 -0 N N
-# x^(+0 -0i) = +1 -0i when |x| >= 1 and Im (x) <= -0
-0 0 53 1 53 -0 53 +1.5 53 -0 53 +0 53 -0 N N
-0 0 53 1 53 -0 53 +1 53 -0 53 +0 53 -0 N N
-0 0 53 1 53 -0 53 -1 53 -0 53 +0 53 -0 N N
-0 0 53 1 53 -0 53 -1.5 53 -0 53 +0 53 -0 N N
-0 0 53 1 53 -0 53 +1.5 53 -4 53 +0 53 -0 N N
-0 0 53 1 53 -0 53 +1 53 -4 53 +0 53 -0 N N
-0 0 53 1 53 -0 53 -1 53 -4 53 +0 53 -0 N N
-0 0 53 1 53 -0 53 -1.5 53 -4 53 +0 53 -0 N N
-# (x -0i)^(y -0i) = x^y -0i when x >= 1 and y > 0
-0 0 53 9 53 -0 53 +3 53 -0 53 +2 53 -0 N N
-0 0 53 1 53 -0 53 +1 53 -0 53 +2 53 -0 N N
+0 0 53 +1 53 -0 53 +inf 53 -inf 53 +0 53 -0 N N
+0 0 53 +1 53 -0 53 +inf 53 +0 53 +0 53 -0 N N
+0 0 53 +1 53 -0 53 +inf 53 -2 53 +0 53 -0 N N
+0 0 53 +1 53 -0 53 +2 53 -5 53 +0 53 -0 N N
+0 0 53 +1 53 -0 53 +5 53 +0 53 +0 53 -0 N N
+0 0 53 +1 53 -0 53 +0 53 -inf 53 +0 53 -0 N N
+0 0 53 +1 53 -0 53 -0 53 -inf 53 +0 53 -0 N N
+0 0 53 +1 53 -0 53 -5 53 -0 53 +0 53 -0 N N
+0 0 53 +1 53 -0 53 +inf 53 -0 53 +0 53 -0 N N
+0 0 53 +1 53 -0 53 +inf 53 -2 53 +0 53 -0 N N
-# (x +0i)^(y +0i) = x^y -0i when 0 < x < 1 and y < 0
-0 0 53 2 53 -0 53 +0.5 53 +0 53 -1 53 +0 N N
-# x^(-0+0i) = +1 -0i when |x| < 1 and Im(x) >= +0
-0 0 53 1 53 -0 53 -0.5 53 +0 53 -0 53 +0 N N
-0 0 53 1 53 -0 53 -0.1 53 +0.3 53 -0 53 +0 N N
-0 0 53 1 53 -0 53 -0.0 53 +0.3 53 -0 53 +0 N N
-0 0 53 1 53 -0 53 +0.0 53 +0.3 53 -0 53 +0 N N
-0 0 53 1 53 -0 53 +0.1 53 +0.3 53 -0 53 +0 N N
-0 0 53 1 53 -0 53 +0.5 53 +0 53 -0 53 +0 N N
-# x^(+0+0i) = +1 -0i when |x| < 1 and Im(x) <= -0
-0 0 53 1 53 -0 53 -0.5 53 -0 53 +0 53 +0 N N
-0 0 53 1 53 -0 53 -0.1 53 -0.3 53 +0 53 +0 N N
-0 0 53 1 53 -0 53 -0.0 53 -0.3 53 +0 53 +0 N N
-0 0 53 1 53 -0 53 +0.0 53 -0.3 53 +0 53 +0 N N
-0 0 53 1 53 -0 53 +0.1 53 -0.3 53 +0 53 +0 N N
-0 0 53 1 53 -0 53 +0.5 53 -0 53 +0 53 +0 N N
-# (x-0i)^(y+0i) = x^y -0i when 0 < x < 1 and y > 0
-0 0 53 +0.25 53 -0 53 +0.5 53 -0 53 +2 53 +0 N N
+0 0 53 +1 53 +0 53 -inf 53 -inf 53 -0 53 +0 N N
+0 0 53 +1 53 +0 53 +inf 53 +0 53 -0 53 +0 N N
+0 0 53 +1 53 +0 53 +2 53 -5 53 -0 53 +0 N N
+0 0 53 +1 53 +0 53 +5 53 +0 53 -0 53 +0 N N
+0 0 53 +1 53 +0 53 +5 53 -0 53 -0 53 +0 N N
+0 0 53 +1 53 +0 53 +0 53 -2 53 -0 53 +0 N N
+0 0 53 +1 53 +0 53 -0 53 -2 53 -0 53 +0 N N
+0 0 53 +1 53 +0 53 -5 53 -0 53 -0 53 +0 N N
+0 0 53 +1 53 +0 53 -inf 53 -0 53 -0 53 +0 N N
+
+0 0 53 +1 53 -0 53 +inf 53 +inf 53 -0 53 -0 N N
+0 0 53 +1 53 -0 53 +2 53 +5 53 -0 53 -0 N N
+0 0 53 +1 53 -0 53 +2 53 +0 53 -0 53 -0 N N
+0 0 53 +1 53 -0 53 +2 53 -0 53 -0 53 -0 N N
+0 0 53 +1 53 -0 53 +0 53 +2 53 -0 53 -0 N N
+0 0 53 +1 53 -0 53 -0 53 +2 53 -0 53 -0 N N
+0 0 53 +1 53 -0 53 -5 53 +2 53 -0 53 -0 N N
+0 0 53 +1 53 -0 53 -5 53 +0 53 -0 53 -0 N N
+0 0 53 +1 53 -0 53 -inf 53 +inf 53 -0 53 -0 N N
+0 0 53 +1 53 -0 53 -inf 53 +inf 53 -0 53 -0 N N
+
+# x^0 = +1 -sign(Im(y))*0i when 1 > |x| > 0
+0 0 53 +1 53 -0 53 +0.5 53 -0.5 53 +0 53 +0 N N
+0 0 53 +1 53 -0 53 +0.5 53 +0 53 +0 53 +0 N N
+0 0 53 +1 53 -0 53 +0.5 53 -0 53 +0 53 +0 N N
+0 0 53 +1 53 -0 53 -0.5 53 -0 53 +0 53 +0 N N
+0 0 53 +1 53 -0 53 +0 53 -0.5 53 +0 53 +0 N N
+0 0 53 +1 53 -0 53 -0 53 -0.5 53 +0 53 +0 N N
+
+0 0 53 +1 53 +0 53 +0.5 53 +0.5 53 +0 53 -0 N N
+0 0 53 +1 53 +0 53 +0.5 53 +0 53 +0 53 -0 N N
+0 0 53 +1 53 +0 53 +0.5 53 -0 53 +0 53 -0 N N
+0 0 53 +1 53 +0 53 -0.5 53 +0 53 +0 53 -0 N N
+0 0 53 +1 53 +0 53 +0 53 +0.5 53 +0 53 -0 N N
+0 0 53 +1 53 +0 53 -0 53 +0.5 53 +0 53 -0 N N
+
+0 0 53 +1 53 -0 53 +0.5 53 +0.5 53 -0 53 +0 N N
+0 0 53 +1 53 -0 53 +0.5 53 +0 53 -0 53 +0 N N
+0 0 53 +1 53 -0 53 +0.5 53 -0 53 -0 53 +0 N N
+0 0 53 +1 53 -0 53 -0.5 53 -0 53 -0 53 +0 N N
+0 0 53 +1 53 -0 53 +0 53 +0.5 53 -0 53 +0 N N
+0 0 53 +1 53 -0 53 -0 53 +0.5 53 -0 53 +0 N N
+
+0 0 53 +1 53 +0 53 +0.5 53 -0.5 53 -0 53 -0 N N
+0 0 53 +1 53 +0 53 +0.5 53 +0 53 -0 53 -0 N N
+0 0 53 +1 53 +0 53 +0.5 53 -0 53 -0 53 -0 N N
+0 0 53 +1 53 +0 53 -0.5 53 -0 53 -0 53 -0 N N
+0 0 53 +1 53 +0 53 +0 53 -0.5 53 -0 53 -0 N N
+0 0 53 +1 53 +0 53 -0 53 -0.5 53 -0 53 -0 N N
+
+# determined sign of imaginary part in pure real powers
+0 0 53 +9 53 +0 53 +3 53 +0 53 +2 53 +0 N N
+0 0 53 +9 53 -0 53 +3 53 -0 53 +2 53 -0 N N
+0 0 53 0.25 53 +0 53 +2 53 -0 53 -2 53 +0 N N
+0 0 53 0.25 53 -0 53 +2 53 +0 53 -2 53 -0 N N
+0 0 53 +1 53 +0 53 +1 53 +0 53 +4 53 +0 N N
+0 0 53 +1 53 +0 53 +1 53 +0 53 +4 53 -0 N N
+0 0 53 +1 53 -0 53 +1 53 -0 53 +4 53 +0 N N
+0 0 53 +1 53 -0 53 +1 53 -0 53 +4 53 -0 N N
+0 0 53 +1 53 +0 53 +1 53 -0 53 -4 53 +0 N N
+0 0 53 +1 53 +0 53 +1 53 -0 53 -4 53 -0 N N
+0 0 53 +1 53 -0 53 +1 53 +0 53 -4 53 +0 N N
+0 0 53 +1 53 -0 53 +1 53 +0 53 -4 53 -0 N N
+0 0 53 0.25 53 +0 53 +0.5 53 +0 53 +2 53 -0 N N
+0 0 53 0.25 53 -0 53 +0.5 53 -0 53 +2 53 +0 N N
+0 0 53 +4 53 +0 53 +0.5 53 -0 53 -2 53 -0 N N
+0 0 53 +4 53 -0 53 +0.5 53 +0 53 -2 53 +0 N N
+
+
+# pure real power with nondetermined sign in imaginary part
+0 0 53 1 53 0 53 +2 53 -1 53 +0 53 +0 N N
+0 0 53 1 53 0 53 -2 53 -1 53 +0 53 +0 N N
+0 0 53 1 53 0 53 -2 53 -0 53 +0 53 +0 N N
+0 0 53 1 53 0 53 +0.5 53 +0.5 53 +0 53 +0 N N
+0 0 53 1 53 0 53 -0.5 53 +0.5 53 +0 53 +0 N N
+0 0 53 1 53 0 53 -0.5 53 +0 53 +0 53 +0 N N
+0 0 53 1 53 0 53 +0 53 +0.5 53 +0 53 +0 N N
+0 0 53 1 53 0 53 -0 53 +0.5 53 +0 53 +0 N N
+0 0 53 1 53 0 53 -0 53 -4 53 +0 53 +0 N N
+0 0 53 1 53 0 53 +0 53 -4 53 +0 53 +0 N N
+0 0 53 1 53 0 53 -1 53 -0 53 +0 53 +0 N N
+0 0 53 1 53 0 53 -1 53 +0 53 +0 53 +0 N N
+0 0 53 1 53 0 53 +2 53 -1 53 -0 53 -0 N N
+0 0 53 1 53 0 53 -2 53 -1 53 -0 53 -0 N N
+0 0 53 1 53 0 53 -2 53 -0 53 -0 53 -0 N N
+0 0 53 1 53 0 53 +0.5 53 +0.5 53 -0 53 -0 N N
+0 0 53 1 53 0 53 -0.5 53 +0.5 53 -0 53 -0 N N
+0 0 53 1 53 0 53 -0.5 53 +0 53 -0 53 -0 N N
+0 0 53 1 53 0 53 +0 53 +0.5 53 -0 53 -0 N N
+0 0 53 1 53 0 53 -0 53 +0.5 53 -0 53 -0 N N
+0 0 53 1 53 0 53 -0 53 -4 53 -0 53 -0 N N
+0 0 53 1 53 0 53 +0 53 -4 53 -0 53 -0 N N
+0 0 53 1 53 0 53 -1 53 -0 53 -0 53 -0 N N
+0 0 53 1 53 0 53 -1 53 +0 53 -0 53 -0 N N
+0 0 53 1 53 0 53 +2 53 +1 53 -0 53 +0 N N
+0 0 53 1 53 0 53 -2 53 +1 53 -0 53 +0 N N
+0 0 53 1 53 0 53 -2 53 +0 53 -0 53 +0 N N
+0 0 53 1 53 0 53 +0.5 53 -0.5 53 -0 53 +0 N N
+0 0 53 1 53 0 53 -0.5 53 -0.5 53 -0 53 +0 N N
+0 0 53 1 53 0 53 -0.5 53 -0 53 -0 53 +0 N N
+0 0 53 1 53 0 53 +0 53 +5 53 -0 53 +0 N N
+0 0 53 1 53 0 53 -0 53 +5 53 -0 53 +0 N N
+0 0 53 1 53 0 53 -0 53 -0.5 53 -0 53 +0 N N
+0 0 53 1 53 0 53 +0 53 -0.5 53 -0 53 +0 N N
+0 0 53 1 53 0 53 -1 53 -0 53 -0 53 +0 N N
+0 0 53 1 53 0 53 -1 53 +0 53 -0 53 +0 N N
+0 0 53 1 53 0 53 +2 53 +1 53 +0 53 -0 N N
+0 0 53 1 53 0 53 -2 53 +1 53 +0 53 -0 N N
+0 0 53 1 53 0 53 -2 53 +0 53 +0 53 -0 N N
+0 0 53 1 53 0 53 +0.5 53 -0.5 53 +0 53 -0 N N
+0 0 53 1 53 0 53 -0.5 53 -0.5 53 +0 53 -0 N N
+0 0 53 1 53 0 53 -0.5 53 -0 53 +0 53 -0 N N
+0 0 53 1 53 0 53 +0 53 +5 53 +0 53 -0 N N
+0 0 53 1 53 0 53 -0 53 +5 53 +0 53 -0 N N
+0 0 53 1 53 0 53 -0 53 -0.5 53 +0 53 -0 N N
+0 0 53 1 53 0 53 +0 53 -0.5 53 +0 53 -0 N N
+0 0 53 1 53 0 53 -1 53 -0 53 +0 53 -0 N N
+0 0 53 1 53 0 53 -1 53 +0 53 +0 53 -0 N N
+
+0 0 53 4 53 0 53 +2 53 -0 53 +2 53 +0 N N
+0 0 53 1 53 0 53 +1 53 +0 53 +2 53 +0 N N
+0 0 53 1 53 0 53 +1 53 +0 53 +2 53 -0 N N
+0 0 53 4 53 0 53 +2 53 +0 53 +2 53 -0 N N
+0 0 53 1 53 0 53 +1 53 -0 53 +2 53 +0 N N
+0 0 53 1 53 0 53 +1 53 -0 53 +2 53 -0 N N
+0 0 53 +.25 53 0 53 +2 53 +0 53 -2 53 +0 N N
+0 0 53 1 53 0 53 +1 53 +0 53 -2 53 +0 N N
+0 0 53 1 53 0 53 +1 53 +0 53 -2 53 -0 N N
+0 0 53 +.25 53 0 53 +2 53 -0 53 -2 53 -0 N N
+0 0 53 1 53 0 53 +1 53 -0 53 -2 53 +0 N N
+0 0 53 1 53 0 53 +1 53 -0 53 -2 53 -0 N N
+
+# when (+/-1 +/-0i)^y is pure real
+0 0 53 1 53 0 53 +1 53 -0 53 -2 53 +1 N N
+0 0 53 1 53 0 53 +1 53 -0 53 -1 53 +2 N N
+0 0 53 1 53 0 53 +1 53 -0 53 -0 53 +1 N N
+- 0 53 +0x10BBEEE9177E19p-43 53 0 53 -1 53 -0 53 -0 53 +2 N N
++ 0 53 +0x1E989F5D6DFF5Cp-62 53 0 53 -1 53 +0 53 +0 53 +2 N N
+0 0 53 1 53 0 53 +1 53 +0 53 +0 53 +2 N N
+0 0 53 1 53 0 53 +1 53 +0 53 +2 53 +2 N N
+0 0 53 1 53 0 53 +1 53 +0 53 +0 53 +2 N N
+0 0 53 1 53 0 53 +1 53 +0 53 -1 53 -1 N N
+0 0 53 1 53 0 53 +1 53 +0 53 -0 53 -1 N N
++ 0 53 +0x1724046EB0933Ap-48 53 0 53 -1 53 +0 53 -0 53 -1 N N
+0 0 53 1 53 0 53 +1 53 -0 53 +0 53 -1 N N
++ 0 53 +0x1620227B598EF9p-57 53 0 53 -1 53 -0 53 +0 53 -1 N N
+0 0 53 1 53 0 53 +1 53 -0 53 +2 53 -3 N N
++ 0 53 +0x1D4102BC3F7D4Cp-71 53 0 53 -1 53 +0 53 +0 53 +4 N N
++ 0 53 +0x1724046EB0933Ap-48 53 0 53 -1 53 -0 53 -0 53 +1 N N
+
+# when (0 +/-i)^y is pure real
++ 0 53 +0x1724046EB0933Ap-48 53 0 53 -0 53 -1 53 -0 53 +2 N N
+- 0 53 +0x1BD4567B975381p-46 53 0 53 +0 53 -1 53 -0 53 +3 N N
++ 0 53 +0x1620227B598EF9p-57 53 0 53 +0 53 +1 53 +0 53 +2 N N
+- 0 53 +0x1265D4E92B6B9Bp-59 53 0 53 -0 53 +1 53 +0 53 +3 N N
++ 0 53 +0x1724046EB0933Ap-48 53 0 53 +0 53 +1 53 -0 53 -2 N N
+- 0 53 +0x1BD4567B975381p-46 53 0 53 -0 53 +1 53 -0 53 -3 N N
+- 0 53 +0x1A9BCC46F767DFp-55 53 0 53 +0 53 -1 53 +0 53 -1 N N
++ 0 53 +0x1620227B598EF9p-57 53 0 53 -0 53 -1 53 +0 53 -2 N N
# exact cases
# (-4)^(1/4) = 1+i