xref: /netbsd-src/external/lgpl3/mpc/dist/tests/pow_z.dat (revision 39f28e1e142c5bfb6be935a49cb55e2287fec7ea)
1# Data file for mpc_pow_z.
2#
3# Copyright (C) 2012 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# option) 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# The line format respects the parameter order in function prototype as
21# follow:
22#
23# INEX_RE INEX_IM PREC_ROP_RE  ROP_RE  PREC_ROP_IM  ROP_IM  PREC_OP1_RE  OP1_RE  PREC_OP1_IM  OP1_IM  OP2  RND_RE  RND_IM
24#
25# where op1 = op1_re + i * op1_im, rop = rop_re + i * rop_im,
26# The data are read from the file and stored in variables op1, op2, rop using
27# rounding to nearest when needed, for instance: rop_re is ROP_RE rounded to
28# nearest to the precision of PREC_ROP_RE.
29# ROP_RE is checked against Re(op1^op2) rounded to the precision PREC_ROP_RE
30#   in the direction RND_RE
31# ROP_IM is checked against Im(op1^op2) rounded to the precision PREC_ROP_IM
32#   in the direction RND_IM
33# INEX_RE is the ternary value for the real part with the following notation:
34# "?" ternary value not checked
35# "+" if ROP_RE is greater than the exact mathematical result
36# "0" if ROP_RE is exactly the mathematical result
37# "-" if ROP_RE is less than the exact mathematical result
38# (m.m. INEX_IM)
39# rounding modes notation:
40# "N" is rounding to nearest
41# "Z" is rounding towards zero
42# "U" is rounding towards plus infinity
43# "D" is rounding towards minus infinity
44# Use prefixes "0b" for values in base two, "0x" for values in base sixteen,
45#   no prefix for value in base ten.
46# In all bases, "nan" is NaN, "inf" is infinity;
47# The sign of the result is checked with "+inf", "-inf", "-0", or "+0".
48
490 0 5   17 5    42    5  17 5  42   1                  N N
500 0 5  0.5 5  -0.5    5   1 5   1  -1                  N N
510 0 5    1 5     0    5   0 5   1   0x8000000000000000 N N
52