barvinok 0.41.8

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

P :=
4 5
1   1   0   0  -1
1  -2  -1   0   3
1   2   1  -2  -1
1  -2   1   2   1

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