barvinok 0.41.8
[barvinok.git] / tests / iscc / count / rays2
blob6b72796d609fe547a058e6622b26f62aafda471d
1 P :=
2 8 5
3 1   6   1  -6  -6
4 1   0  -1   0   5
5 1   0   0   1   0
6 1  -6  -1   5  11
7 1   0   0  -1   1
8 1   0  -1   0   1
9 1   1   0   0  -1
10 1   0   1   0   0
12 assert((card P) = { 4 });