barvinok 0.41.8
[barvinok.git] / tests / iscc / count / empty4
blobd5bfa1a419303880f5f215cbff8131efda35009d
1 P :=
2 10 10
3 0   4   -1    5   -1   -2   -5    0    0    1
4 1   0  -97   41    3    6   15    0    0  -39
5 1   0   89   -1   -3   -6  -15    0    0  203
6 1   0  -23   -5    1    2    5    0    0 -157
7 1   0   -7   11   -3   -6  -15   36    0   27
8 1   0    5   -5   -7   -2    5    0    0   -5
9 1   0   -5    5   13   -2   -5    0    0   11
10 1   0    3    1   -1   -2   -1    4    0   12
11 1   0   -2   -1    1    2    0   -3    1  -10
12 0   0    1    1    0    0    0    0   -3    2
14 assert((card P) = { });