barvinok 0.41.8

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

P :=
2 4
1 1 0 0
1 0 1 0
;
assert((card P) = { infty });