Blame tests/norm.dat

Packit Service 2e9770
# Data file for mpc_norm.
Packit Service 2e9770
#
Packit Service 2e9770
# Copyright (C) 2008, 2010, 2011 INRIA
Packit Service 2e9770
#
Packit Service 2e9770
# This file is part of GNU MPC.
Packit Service 2e9770
#
Packit Service 2e9770
# GNU MPC is free software; you can redistribute it and/or modify it under
Packit Service 2e9770
# the terms of the GNU Lesser General Public License as published by the
Packit Service 2e9770
# Free Software Foundation; either version 3 of the License, or (at your
Packit Service 2e9770
#o ption) any later version.
Packit Service 2e9770
#
Packit Service 2e9770
# GNU MPC is distributed in the hope that it will be useful, but WITHOUT ANY
Packit Service 2e9770
# WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
Packit Service 2e9770
# FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for
Packit Service 2e9770
# more details.
Packit Service 2e9770
#
Packit Service 2e9770
# You should have received a copy of the GNU Lesser General Public License
Packit Service 2e9770
# along with this program. If not, see http://www.gnu.org/licenses/ .
Packit Service 2e9770
#
Packit Service 2e9770
# For explanations on the file format, see abs.dat.
Packit Service 2e9770
Packit Service 2e9770
# special values
Packit Service 2e9770
0 7 +inf   7 -inf 7 -inf N
Packit Service 2e9770
0 7 +inf   7 -inf 7   -1 N
Packit Service 2e9770
0 7 +inf   7 -inf 7   -0 N
Packit Service 2e9770
0 7 +inf   7 -inf 7   +0 N
Packit Service 2e9770
0 7 +inf   7 -inf 7    1 N
Packit Service 2e9770
0 7 +inf   7 -inf 7 +inf N
Packit Service 2e9770
0 7 +inf   7 -inf 7  nan N
Packit Service 2e9770
0 7 +inf   7   -1 7 -inf N
Packit Service 2e9770
0 7 +inf   7   -1 7 +inf N
Packit Service 2e9770
0 7  nan   7   -1 7  nan N
Packit Service 2e9770
0 7 +inf   7   -0 7 -inf N
Packit Service 2e9770
0 7 +inf   7   -0 7 +inf N
Packit Service 2e9770
0 7  nan   7   -0 7  nan N
Packit Service 2e9770
0 7 +inf   7   +0 7 -inf N
Packit Service 2e9770
0 7 +inf   7   +0 7 +inf N
Packit Service 2e9770
0 7  nan   7   +0 7  nan N
Packit Service 2e9770
0 7 +inf   7    1 7 -inf N
Packit Service 2e9770
0 7 +inf   7    1 7 +inf N
Packit Service 2e9770
0 7  nan   7    1 7  nan N
Packit Service 2e9770
0 7 +inf   7 +inf 7 -inf N
Packit Service 2e9770
0 7 +inf   7 +inf 7   -1 N
Packit Service 2e9770
0 7 +inf   7 +inf 7   -0 N
Packit Service 2e9770
0 7 +inf   7 +inf 7   +0 N
Packit Service 2e9770
0 7 +inf   7 +inf 7    1 N
Packit Service 2e9770
0 7 +inf   7 +inf 7 +inf N
Packit Service 2e9770
0 7 +inf   7 +inf 7  nan N
Packit Service 2e9770
0 7 +inf   7  nan 7 -inf N
Packit Service 2e9770
0 7  nan   7  nan 7   -1 N
Packit Service 2e9770
0 7  nan   7  nan 7   -0 N
Packit Service 2e9770
0 7  nan   7  nan 7   +0 N
Packit Service 2e9770
0 7  nan   7  nan 7    1 N
Packit Service 2e9770
0 7 +inf   7  nan 7 +inf N
Packit Service 2e9770
0 7  nan   7  nan 7  nan N
Packit Service 2e9770
Packit Service 2e9770
# values with only 1, -1, +0, -0
Packit Service 2e9770
0 7    2   7   -1 7   -1 N
Packit Service 2e9770
0 7    1   7   -1 7   -0 N
Packit Service 2e9770
0 7    1   7   -1 7   +0 N
Packit Service 2e9770
0 7    2   7   -1 7    1 N
Packit Service 2e9770
0 7    1   7   -0 7   -1 N
Packit Service 2e9770
0 7   +0   7   -0 7   -0 N
Packit Service 2e9770
0 7   +0   7   -0 7   +0 N
Packit Service 2e9770
0 7    1   7   -0 7    1 N
Packit Service 2e9770
0 7    1   7   +0 7   -1 N
Packit Service 2e9770
0 7   +0   7   +0 7   -0 N
Packit Service 2e9770
0 7   +0   7   +0 7   +0 N
Packit Service 2e9770
0 7    1   7   +0 7    1 N
Packit Service 2e9770
0 7    2   7    1 7   -1 N
Packit Service 2e9770
0 7    1   7    1 7   -0 N
Packit Service 2e9770
0 7    1   7    1 7   +0 N
Packit Service 2e9770
0 7    2   7    1 7    1 N
Packit Service 2e9770
Packit Service 2e9770
# overflow
Packit Service 2e9770
+ 53 +inf  2 0x1p536870912 2 0x1p536870912 U
Packit Service 2e9770
Packit Service 2e9770
# infinite loop reported by E. Thome
Packit Service 2e9770
- 250 +0 250 -0xf.fdda3457c3e69e5841461d505b42987feb42867a4a2d2872179c4efa20054c0@-136943039 250 -0xc.670d1beda685fdd771b6246e32ff49ec4fd70aec25367444e00933e6965d3c0@-136943040 N
Packit Service 2e9770
Packit Service 2e9770
# inexact values: norm (2+i)=5, in the middle between two values at precision 2
Packit Service 2e9770
- 2 4  2 2 2 1 D
Packit Service 2e9770
- 2 4  2 2 2 1 Z
Packit Service 2e9770
+ 2 6  2 2 2 1 U
Packit Service 2e9770
- 2 4  2 2 2 1 N
Packit Service 2e9770
Packit Service 2e9770
# over- and underflows
Packit Service 2e9770
+ 10 inf                        10 0 10 0b1@536870912  N
Packit Service 2e9770
+ 10 inf                        10 0 10 0b1@536870912  U
Packit Service 2e9770
- 10 0b1.111111111@1073741820   10 0 10 0b1@536870912  D
Packit Service 2e9770
- 10 0b1.111111111@1073741820   10 0 10 0b1@536870912  Z
Packit Service 2e9770
- 10 0                          10 0 10 0b1@-536870913 N
Packit Service 2e9770
- 10 0                          10 0 10 0b1@-536870913 D
Packit Service 2e9770
- 10 0                          10 0 10 0b1@-536870913 Z
Packit Service 2e9770
+ 10 0b1.000000000e-1073741822  10 0 10 0b1@-536870913 U
Packit Service 2e9770
Packit Service 2e9770
+ 10 inf                        10 0b1@536870912  10 0 N
Packit Service 2e9770
+ 10 inf                        10 0b1@536870912  10 0 U
Packit Service 2e9770
- 10 0b1.111111111@1073741820   10 0b1@536870912  10 0 D
Packit Service 2e9770
- 10 0b1.111111111@1073741820   10 0b1@536870912  10 0 Z
Packit Service 2e9770
- 10 0                          10 0b1@-536870913 10 0 N
Packit Service 2e9770
- 10 0                          10 0b1@-536870913 10 0 D
Packit Service 2e9770
- 10 0                          10 0b1@-536870913 10 0 Z
Packit Service 2e9770
+ 10 0b1.000000000e-1073741822  10 0b1@-536870913 10 0 U
Packit Service 2e9770
Packit Service 2e9770
+ 10 inf                        10 1 10 0b1@536870912  N
Packit Service 2e9770
+ 10 inf                        10 1 10 0b1@536870912  U
Packit Service 2e9770
- 10 0b1.111111111@1073741820   10 1 10 0b1@536870912  D
Packit Service 2e9770
- 10 0b1.111111111@1073741820   10 1 10 0b1@536870912  Z
Packit Service 2e9770
- 10 1                          10 1 10 0b1@-536870913 N
Packit Service 2e9770
- 10 1                          10 1 10 0b1@-536870913 D
Packit Service 2e9770
- 10 1                          10 1 10 0b1@-536870913 Z
Packit Service 2e9770
+ 10 0b1.000000001              10 1 10 0b1@-536870913 U
Packit Service 2e9770
Packit Service 2e9770
+ 10 inf                        10 0b1@536870912  10 1 N
Packit Service 2e9770
+ 10 inf                        10 0b1@536870912  10 1 U
Packit Service 2e9770
- 10 0b1.111111111@1073741820   10 0b1@536870912  10 1 D
Packit Service 2e9770
- 10 0b1.111111111@1073741820   10 0b1@536870912  10 1 Z
Packit Service 2e9770
- 10 1                          10 0b1@-536870913 10 1 N
Packit Service 2e9770
- 10 1                          10 0b1@-536870913 10 1 D
Packit Service 2e9770
- 10 1                          10 0b1@-536870913 10 1 Z
Packit Service 2e9770
+ 10 0b1.000000001              10 0b1@-536870913 10 1 U
Packit Service 2e9770
Packit Service 2e9770
+ 3 inf                        10 0b1.1 10 0b1@536870912  N
Packit Service 2e9770
+ 3 inf                        10 0b1.1 10 0b1@536870912  U
Packit Service 2e9770
- 3 0b1.11@1073741820          10 0b1.1 10 0b1@536870912  D
Packit Service 2e9770
- 3 0b1.11@1073741820          10 0b1.1 10 0b1@536870912  Z
Packit Service 2e9770
+ 3 2.5                        10 0b1.1 10 0b1@-536870913 N
Packit Service 2e9770
- 3 2                          10 0b1.1 10 0b1@-536870913 D
Packit Service 2e9770
- 3 2                          10 0b1.1 10 0b1@-536870913 Z
Packit Service 2e9770
+ 3 0b1.01@1                   10 0b1.1 10 0b1@-536870913 U
Packit Service 2e9770
Packit Service 2e9770
+ 3 inf                        10 0b1@536870912 10 0b1.1  N
Packit Service 2e9770
+ 3 inf                        10 0b1@536870912  10 0b1.1 U
Packit Service 2e9770
- 3 0b1.11@1073741820          10 0b1@536870912  10 0b1.1 D
Packit Service 2e9770
- 3 0b1.11@1073741820          10 0b1@536870912  10 0b1.1 Z
Packit Service 2e9770
+ 3 2.5                        10 0b1@-536870913 10 0b1.1 N
Packit Service 2e9770
- 3 2                          10 0b1@-536870913 10 0b1.1 D
Packit Service 2e9770
- 3 2                          10 0b1@-536870913 10 0b1.1 Z
Packit Service 2e9770
+ 3 0b1.01@1                   10 0b1@-536870913 10 0b1.1 U
Packit Service 2e9770
Packit Service 2e9770
+ 10 inf                        10 0b1@-536870913 10 0b1@536870912  N
Packit Service 2e9770
+ 10 inf                        10 0b1@-536870913 10 0b1@536870912  U
Packit Service 2e9770
- 10 0b1.111111111@1073741820   10 0b1@-536870913 10 0b1@536870912  D
Packit Service 2e9770
- 10 0b1.111111111@1073741820   10 0b1@-536870912 10 0b1@536870912  Z
Packit Service 2e9770
+ 10 inf                        10 0b1@536870912 10 0b1@-536870913  N
Packit Service 2e9770
+ 10 inf                        10 0b1@536870912 10 0b1@-536870913  U
Packit Service 2e9770
- 10 0b1.111111111@1073741820   10 0b1@536870912 10 0b1@-536870913  D
Packit Service 2e9770
- 10 0b1.111111111@1073741820   10 0b1@536870912 10 0b1@-536870913  Z
Packit Service 2e9770
+ 10 inf                        10 0b1@536870912 10 0b1@536870912  N
Packit Service 2e9770
+ 10 inf                        10 0b1@536870912 10 0b1@536870912  U
Packit Service 2e9770
- 10 0b1.111111111@1073741820   10 0b1@536870912 10 0b1@536870912  D
Packit Service 2e9770
- 10 0b1.111111111@1073741820   10 0b1@536870912 10 0b1@536870912  Z
Packit Service 2e9770
- 10 0                          10 0b1@-536870913 10 0b1@-536870913  N
Packit Service 2e9770
- 10 0                          10 0b1@-536870913 10 0b1@-536870913  D
Packit Service 2e9770
- 10 0                          10 0b1@-536870913 10 0b1@-536870913  Z
Packit Service 2e9770
+ 10 0b1@-1073741822            10 0b1@-536870913 10 0b1@-536870913  U
Packit Service 2e9770
Packit Service 2e9770
0 18 0b1.00100000000001001@-1073741811 2 0b1.1@-536870906 2 0b1.1@-536870913  N
Packit Service 2e9770
0 18 0b1.00100000000001001@-1073741811 2 0b1.1@-536870913 2 0b1.1@-536870906  N
Packit Service 2e9770
0 18 0b1.00100000000001001@-1073741811 2 0b1.1@-536870906 2 0b1.1@-536870913  Z
Packit Service 2e9770
0 18 0b1.00100000000001001@-1073741811 2 0b1.1@-536870913 2 0b1.1@-536870906  Z
Packit Service 2e9770
0 18 0b1.00100000000001001@-1073741811 2 0b1.1@-536870906 2 0b1.1@-536870913  D
Packit Service 2e9770
0 18 0b1.00100000000001001@-1073741811 2 0b1.1@-536870913 2 0b1.1@-536870906  D
Packit Service 2e9770
0 18 0b1.00100000000001001@-1073741811 2 0b1.1@-536870906 2 0b1.1@-536870913  U
Packit Service 2e9770
0 18 0b1.00100000000001001@-1073741811 2 0b1.1@-536870913 2 0b1.1@-536870906  U