barvinok_bound: convert to isl_pw_qpolynomial once
[barvinok.git] / tests / ehrhart / bart8.in
blobefb5ca752d66a463577eca4b2301600d6319763a
1 # Degenerate Problem Generated by Compaan
2 # Copyright (c) LIACS 2004
3 # Problem: QR_unfold_mod
4 # Date:    2004.08.18 at 02:40:10 PM GMT+01:00
6  14 12
7   0  1  0  0  0  0  0 -1  0  0  0  0
8   0  0  1  0  0  0  0  0 -1  0  0  0
9   0  0  0  0  3  0 -1  0  0  0  0  1
10   1  0  0  0  0  0  0  1  0  0  0 -1
11   1  0  0  0  0  0  0  0 -1  1  0  0
12   1  0  0  0  0  0  0 -1  1  0  0 -1
13   1  0  0  0  0  0 -1  0  0  0  0  1
14   1  0  0 -3  0  0  0  0  0  0  1  2
15   1  0  0  3  0  0  0  0  0  0 -1 -1
16   1  0  0  0  0 -3  0  0  0  0  0  1
17   1  0  0  0  0  0  1  0  0  0 -1  1
18   1  0  0  0  0  0 -1  0  0  0  1  1
19   1  0  0  0  0 -3  0  0  0  0  1  1
20   1  0  0  0  0  3  0  0  0  0 -1  1
23  1 7
24   1  0  0  0  0  1  0