barvinok 0.41.8

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

P :=
3 4
0 -2 -7 4
1 1 0 0
1 -1 0 10
;
assert((card P) = { 2 });