tests/pow_fr.dat

   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
  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