barvinok 0.41.8

[barvinok.git] / tests / iscc / count / decomposition9

P :=
6 5
1   0   1   0   0
1  -1  -1   0   2
1  -1   0   1   1
1   1   0   0  -1
1   2   1  -2  -1
1   0   0  -1   1

;
assert((card P) = { 4 });