barvinok 0.41.8

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

P :=
3 4
   0   4   9  -5
   1   1   0 -300
   1  -1   0  760
;
assert((card P) = { 51 });