barvinok 0.41.8
[barvinok.git] / tests / iscc / count / non-integer
blob79c727fe5febf328899727135a086d87641a0ecb
1 P :=
2 3 4
3    1   2  -1   0
4    1   0   1   0
5    1  -2  -3   6
7 assert((card P) = { 5 });