barvinok 0.41.8

[barvinok.git] / tests / iscc / count / non-integer2

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