barvinok 0.41.8

[barvinok.git] / tests / iscc / count / 0D-2

P :=
1 2
1 -1

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