# Data file for mpc_pow_fr.
#
# Copyright (C) 2011, 2022 INRIA
#
# This file is part of GNU MPC.
#
# GNU MPC is free software; you can redistribute it and/or modify it under
# the terms of the GNU Lesser General Public License as published by the
# Free Software Foundation; either version 3 of the License, or (at your
#o ption) any later version.
#
# GNU MPC is distributed in the hope that it will be useful, but WITHOUT ANY
# WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
# FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for
# more details.
#
# You should have received a copy of the GNU Lesser General Public License
# along with this program. If not, see http://www.gnu.org/licenses/ .
#
# For explanations on the file format, see add_fr.dat.

0 0 5 -9 5 46   5 3 5 2  3 3 N N

# (-0 -0.75)^4 = (0.31640625 -0) is rounded to (0.375 -0)
+ 0 2 0x3p-3 2 -0    2 -0 2 -0x3p-2   2 4 N N
0 0 8 0x51p-8 2 -0   2 -0 2 -0x3p-2   2 4 N N
# (+0 -0.75)^4 = (0.31640625 +0) is rounded to (0.375 +0)
+ 0 2 0x3p-3 2 +0    2 +0 2 -0x3p-2   2 4 N N
0 0 8 0x51p-8 2 +0   2 +0 2 -0x3p-2   2 4 N N
# (-0 0.75)^5 = (0.31640625 +0) is rounded to (0.375 +0)
+ 0 2 0x3p-3 2 +0    2 -0 2 0x3p-2   2 4 N N
0 0 8 0x51p-8 2 +0   2 -0 2 0x3p-2   2 4 N N
# (+0 0.75)^5 = (0.31640625 -0) is rounded to (0.375 -0)
+ 0 2 0x3p-3 2 -0    2 +0 2 0x3p-2   2 4 N N
0 0 8 0x51p-8 2 -0   2 +0 2 0x3p-2   2 4 N N

# (-0 -0.75)^5 = (-0 -0.2373046875) is rounded to (-0 -0.25)
0 - 2 -0 2 -0x1p-2   2 -0 2 -0x3p-2   3 5 N N
0 0 8 -0 8 -0xf3p-10 2 -0 2 -0x3p-2   3 5 N N
# (+0 -0.75)^5 = (+0 -0.2373046875) is rounded to (+0 -0.25)
0 - 2 +0 2 -0x1p-2   2 +0 2 -0x3p-2   3 5 N N
0 0 8 +0 8 -0xf3p-10 2 +0 2 -0x3p-2   3 5 N N
# (-0 0.75)^5 = (-0 0.2373046875) is rounded to (-0 0.25)
0 + 2 -0 2 0x1p-2   2 -0 2 0x3p-2   3 5 N N
0 0 8 -0 8 0xf3p-10 2 -0 2 0x3p-2   3 5 N N
# (+0 0.75)^5 = (+0 0.2373046875) is rounded to (+0 0.25)
0 + 2 +0 2 0x1p-2   2 +0 2 0x3p-2   3 5 N N
0 0 8 +0 8 0xf3p-10 2 +0 2 0x3p-2   3 5 N N

# (-0 -0.75)^6 = (-0.177978515625 +0) is rounded to (-0.1875 +0)
- 0 2 -0x3p-4 2 +0   2 -0 2 -0x3p-2   3 6 N N
+ 0 8 -0x5bp-9 8 +0  2 -0 2 -0x3p-2   3 6 N N
# (+0 -0.75)^6 = (-0.177978515625 -0) is rounded to (-0.1875 -0)
- 0 2 -0x3p-4 2 -0   2 +0 2 -0x3p-2   3 6 N N
+ 0 8 -0x5bp-9 8 -0  2 +0 2 -0x3p-2   3 6 N N
# (-0 0.75)^6 = (-0.177978515625 -0) is rounded to (-0.1875 -0)
- 0 2 -0x3p-4 2 -0   2 -0 2 0x3p-2   3 6 N N
+ 0 8 -0x5bp-9 8 -0  2 -0 2 0x3p-2   3 6 N N
# (+0 0.75)^6 = (-0.177978515625 +0) is rounded to (-0.1875 +0)
- 0 2 -0x3p-4 2 +0   2 +0 2 0x3p-2   3 6 N N
+ 0 8 -0x5bp-9 8 +0  2 +0 2 0x3p-2   3 6 N N

# (-0 -0.75)^7 = (+0 0.13348388671875) is rounded to (+0 0.125)
0 - 2 +0 2 0x1p-3   2 -0 2 -0x3p-2   3 7 N N
0 + 8 +0 8 0x89p-10 2 -0 2 -0x3p-2   3 7 N N
# (+0 -0.75)^7 = (-0 0.13348388671875) is rounded to (-0 0.125)
0 - 2 -0 2 0x1p-3   2 +0 2 -0x3p-2   3 7 N N
0 + 8 -0 8 0x89p-10 2 +0 2 -0x3p-2   3 7 N N
# (-0 0.75)^7 = (+0 -0.13348388671875) is rounded to (+0 -0.125)
0 + 2 +0 2 -0x1p-3   2 -0 2 0x3p-2   3 7 N N
0 - 8 +0 8 -0x89p-10 2 -0 2 0x3p-2   3 7 N N
# (+0 0.75)^7 = (-0 -0.13348388671875) is rounded to (-0 -0.125)
0 + 2 -0 2 -0x1p-3   2 +0 2 0x3p-2   3 7 N N
0 - 8 -0 8 -0x89p-10 2 +0 2 0x3p-2   3 7 N N

# issue revealed by random tests (with GMP_CHECK_RANDOMIZE=1669437260)
- 0 2 -0x3p-29 2 +0   2 0x1.8p-8 2  0x1.8p-8 2 4 N N
- 0 2 -0x3p-29 2 +0   2 0x1.8p-8 2 -0x1.8p-8 2 4 N N
0 - 2 +0 2  0x1p-14   2 0x1.8p-8 2  0x1.8p-8 2 2 N N
0 + 2 +0 2 -0x1p-14   2 0x1.8p-8 2 -0x1.8p-8 2 2 N N
# issue revealed by random tests (with GMP_CHECK_RANDOMIZE=1670627686)
0 + 2 +0 2 -0x3p-18   2 -0x3p6   2 -0x3p6    2 -2 N Z