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