barvinok 0.41.8

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

P :=
1 3
0 2 -1

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