barvinok 0.41.8
[barvinok.git] / tests / iscc / count / andreas
blob17f16b6edf814f2404722be2ec67a196fe8431e4
1 # This example was contributed by
2 # Andreas Paffenholz <paffenholz@mi.fu-berlin.de>
3 P :=
4 11 8
5 0   1    0    0    0    1    1    1
6 1   0    1    0    1    1    0    1
7 1   0    0    1    1    0    1    1
8 1   0    0    0    1    1    0    1
9 1   0    0    0    0    0   -1    1
10 1   0    0    0   -1    0    0    1
11 1   0    0   -1    0    0    0    1
12 1   0    0    0    0   -1    0    1
13 1   0    0    0    0    0    1    1
14 1   0   -1    0    0    0    0    1
15 1   0    0    0    0    1    1    2
18 assert((card P) = { 279 });