barvinok 0.41.8

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

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

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