add isl_qpolynomial_from_constraint
[isl.git] / test_inputs / convex15.polylib
blob0118fa861dbfa4681444f9e78475d389b3adc58b
1 17 8
2 1    -1    -8     0    16     0     0    37
3 1     1     0   -48     0     2     0    -3
4 1     0   -16   -32    16     1     0    14
5 1    -1    24     0     0     1     0    18
6 1    -1     8    16     0     0     1    21
7 1     0     0   -16     0     1     1    -2
8 1     1    32    16   -32     0     0    -1
9 1    -1    16    16     0     0     0    28
10 1     1    -8   -32     0     1     0    -1
11 1     0     0     0     0     1     0    -1
12 1     0    16    16   -16     0     1    -1
13 1     1     8     0   -16     0     0     0
14 1     0     3     2    -2     0     0     0
15 1     0     1     2    -1     0     0     0
16 1     0    -1    -1     1     0     0     0
17 1    -1     8     0     0     1     2     4
18 1    -1   -24   -32    32     1     0    36
20 13 8
21 1    -1     0     0     0     1     3    -4
22 1     1     0   -48     0     2     0    -2
23 1     0     0     0     0     1     0    -1
24 1     0    -8     0     0     0     1    -1
25 1     0     3     2    -2     0     0     0
26 1     1   -16   -16     0     0     0     0
27 1     1   -24     0     0     0     0     0
28 1     0     1     0     0     0     0     0
29 1     0    -3    -2     2     0     0     1
30 1    -1     0    16     0     0     2    13
31 1    -1    24     0     0     1     0    20
32 1    -1    16    16     0     0     0    29
33 1    -1     0    48     0     0     0    45
35 31 8
36    1    0    1    0    0    0    0    0 
37    1    0    0  -16    0    1    1   -2 
38    1    0    0    0    0    1    0   -1 
39    1   -1    8    0    0    1    2    4 
40    1    0    3    2   -2    0    0    0 
41    1   -1   24    0    0    1    0   20 
42    1    1    0  -48    0    2    0   -2 
43    1   -1  -24  -32   32    1    0   36 
44    1    0    0    0    0    0    1   -1 
45    1   -1   24   64  -16    0    0   45 
46    1  -15  120  112    0   15   38   52 
47    1    1   24   32  -32    0    0    0 
48    1    0   -2   -2    2    0    0    1 
49    1   -1    8   16    0    0    1   21 
50    1  -15  120  352    0    0   23  307 
51    1    1   -8  -32    0    1    0   -1 
52    1    1   -8    0    0    0    0    0 
53    1    1   -8  -16    0    0    0    0 
54    1    0   16   16  -16    0    1   -1 
55    1   -1   16   16    0    0    0   29 
56    1   -1   -8    0   16    0    0   37 
57    1   -1    8   32    0    0    0   37 
58    1    1    8    0  -16    0    0    0 
59    1  -15  360  592 -240    0   23  307 
60    1   -1   -6    2   14    0    2   20 
61    1  -15  360  352 -240   15   38   52 
62    1   -1    8   48    0    0    0   45 
63    1    0  -16  -32   16    1    0   14 
64    1   -1   -6  -14   14    1    3    3 
65    1    1  -38  -78   30    2    0   13 
66    1    1   -3  -50    2    2    0   -1