1 # Data file for mpc_pow_fr. 2 # 3 # Copyright (C) 2011, 2022 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 22 0 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 26 0 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 29 0 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 32 0 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 35 0 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) 38 0 - 2 -0 2 -0x1p-2 2 -0 2 -0x3p-2 3 5 N N 39 0 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) 41 0 - 2 +0 2 -0x1p-2 2 +0 2 -0x3p-2 3 5 N N 42 0 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) 44 0 + 2 -0 2 0x1p-2 2 -0 2 0x3p-2 3 5 N N 45 0 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) 47 0 + 2 +0 2 0x1p-2 2 +0 2 0x3p-2 3 5 N N 48 0 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) 64 0 - 2 +0 2 0x1p-3 2 -0 2 -0x3p-2 3 7 N N 65 0 + 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) 67 0 - 2 -0 2 0x1p-3 2 +0 2 -0x3p-2 3 7 N N 68 0 + 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) 70 0 + 2 +0 2 -0x1p-3 2 -0 2 0x3p-2 3 7 N N 71 0 - 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) 73 0 + 2 -0 2 -0x1p-3 2 +0 2 0x3p-2 3 7 N N 74 0 - 8 -0 8 -0x89p-10 2 +0 2 0x3p-2 3 7 N N 75 76 # issue revealed by random tests (with GMP_CHECK_RANDOMIZE=1669437260) 77 - 0 2 -0x3p-29 2 +0 2 0x1.8p-8 2 0x1.8p-8 2 4 N N 78 - 0 2 -0x3p-29 2 +0 2 0x1.8p-8 2 -0x1.8p-8 2 4 N N 79 0 - 2 +0 2 0x1p-14 2 0x1.8p-8 2 0x1.8p-8 2 2 N N 80 0 + 2 +0 2 -0x1p-14 2 0x1.8p-8 2 -0x1.8p-8 2 2 N N 81 # issue revealed by random tests (with GMP_CHECK_RANDOMIZE=1670627686) 82 0 + 2 +0 2 -0x3p-18 2 -0x3p6 2 -0x3p6 2 -2 N Z 83
Indexes created Tue Mar 03 05:31:39 UTC 2026