1# Data file for mpc_pow_fr.
2#
3# Copyright (C) 2011 INRIA
4#
5# This file is part of GNU MPC.
6#
7# GNU MPC is free software; you can redistribute it and/or modify it under
8# the terms of the GNU Lesser General Public License as published by the
9# Free Software Foundation; either version 3 of the License, or (at your
10#o ption) any later version.
11#
12# GNU MPC is distributed in the hope that it will be useful, but WITHOUT ANY
13# WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
14# FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for
15# more details.
16#
17# You should have received a copy of the GNU Lesser General Public License
18# along with this program. If not, see http://www.gnu.org/licenses/ .
19#
20# For explanations on the file format, see add_fr.dat.
21
220 0 5 -9 5 46   5 3 5 2  3 3 N N
23
24# (-0 -0.75)^4 = (0.31640625 -0) is rounded to (0.375 -0)
25+ 0 2 0x3p-3 2 -0    2 -0 2 -0x3p-2   2 4 N N
260 0 8 0x51p-8 2 -0   2 -0 2 -0x3p-2   2 4 N N
27# (+0 -0.75)^4 = (0.31640625 +0) is rounded to (0.375 +0)
28+ 0 2 0x3p-3 2 +0    2 +0 2 -0x3p-2   2 4 N N
290 0 8 0x51p-8 2 +0   2 +0 2 -0x3p-2   2 4 N N
30# (-0 0.75)^5 = (0.31640625 +0) is rounded to (0.375 +0)
31+ 0 2 0x3p-3 2 +0    2 -0 2 0x3p-2   2 4 N N
320 0 8 0x51p-8 2 +0   2 -0 2 0x3p-2   2 4 N N
33# (+0 0.75)^5 = (0.31640625 -0) is rounded to (0.375 -0)
34+ 0 2 0x3p-3 2 -0    2 +0 2 0x3p-2   2 4 N N
350 0 8 0x51p-8 2 -0   2 +0 2 0x3p-2   2 4 N N
36
37# (-0 -0.75)^5 = (-0 -0.2373046875) is rounded to (-0 -0.25)
380 - 2 -0 2 -0x1p-2   2 -0 2 -0x3p-2   3 5 N N
390 0 8 -0 8 -0xf3p-10 2 -0 2 -0x3p-2   3 5 N N
40# (+0 -0.75)^5 = (+0 -0.2373046875) is rounded to (+0 -0.25)
410 - 2 +0 2 -0x1p-2   2 +0 2 -0x3p-2   3 5 N N
420 0 8 +0 8 -0xf3p-10 2 +0 2 -0x3p-2   3 5 N N
43# (-0 0.75)^5 = (-0 0.2373046875) is rounded to (-0 0.25)
440 + 2 -0 2 0x1p-2   2 -0 2 0x3p-2   3 5 N N
450 0 8 -0 8 0xf3p-10 2 -0 2 0x3p-2   3 5 N N
46# (+0 0.75)^5 = (+0 0.2373046875) is rounded to (+0 0.25)
470 + 2 +0 2 0x1p-2   2 +0 2 0x3p-2   3 5 N N
480 0 8 +0 8 0xf3p-10 2 +0 2 0x3p-2   3 5 N N
49
50# (-0 -0.75)^6 = (-0.177978515625 +0) is rounded to (-0.1875 +0)
51- 0 2 -0x3p-4 2 +0   2 -0 2 -0x3p-2   3 6 N N
52+ 0 8 -0x5bp-9 8 +0  2 -0 2 -0x3p-2   3 6 N N
53# (+0 -0.75)^6 = (-0.177978515625 -0) is rounded to (-0.1875 -0)
54- 0 2 -0x3p-4 2 -0   2 +0 2 -0x3p-2   3 6 N N
55+ 0 8 -0x5bp-9 8 -0  2 +0 2 -0x3p-2   3 6 N N
56# (-0 0.75)^6 = (-0.177978515625 -0) is rounded to (-0.1875 -0)
57- 0 2 -0x3p-4 2 -0   2 -0 2 0x3p-2   3 6 N N
58+ 0 8 -0x5bp-9 8 -0  2 -0 2 0x3p-2   3 6 N N
59# (+0 0.75)^6 = (-0.177978515625 +0) is rounded to (-0.1875 +0)
60- 0 2 -0x3p-4 2 +0   2 +0 2 0x3p-2   3 6 N N
61+ 0 8 -0x5bp-9 8 +0  2 +0 2 0x3p-2   3 6 N N
62
63# (-0 -0.75)^7 = (+0 0.13348388671875) is rounded to (+0 0.125)
640 - 2 +0 2 0x1p-3   2 -0 2 -0x3p-2   3 7 N N
650 + 8 +0 8 0x89p-10 2 -0 2 -0x3p-2   3 7 N N
66# (+0 -0.75)^7 = (-0 0.13348388671875) is rounded to (-0 0.125)
670 - 2 -0 2 0x1p-3   2 +0 2 -0x3p-2   3 7 N N
680 + 8 -0 8 0x89p-10 2 +0 2 -0x3p-2   3 7 N N
69# (-0 0.75)^7 = (+0 -0.13348388671875) is rounded to (+0 -0.125)
700 + 2 +0 2 -0x1p-3   2 -0 2 0x3p-2   3 7 N N
710 - 8 +0 8 -0x89p-10 2 -0 2 0x3p-2   3 7 N N
72# (+0 0.75)^7 = (-0 -0.13348388671875) is rounded to (-0 -0.125)
730 + 2 -0 2 -0x1p-3   2 +0 2 0x3p-2   3 7 N N
740 - 8 -0 8 -0x89p-10 2 +0 2 0x3p-2   3 7 N N
75