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