barvinok 0.41.8

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

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