barvinok 0.41.8
[barvinok.git] / tests / iscc / count / empty5
blob686f1cb3d3233c1692a29572b902e65cd6da36a9
1 P :=
2 7 5
3    1    1    0    0    2
4    1    1    5   -6    4
5    1    0    0   -1   22
6    1   13   60  -75  111
7    1   -6  -20   25  -38
8    1   -1    0    0   -1
9    1    0    0    1  -20
11 assert((card P) = { });