barvinok 0.41.8

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

P :=
4 5
1   0  -1   0   5
1   6   1  -6  -6
1  -6   0   5   6
1   0   0   1   0

;
assert((card P) = { 6 });