blob: 0816c1341c9c524e11b42b5674d003c3a40b6103 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
|
# Data file for mpc_pow_fr.
#
# Copyright (C) 2011 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
|
