repo.or.cz
/
barvinok.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
barvinok 0.41.8
[barvinok.git]
/
tests
/
iscc
/
count
/
andreas
blob
17f16b6edf814f2404722be2ec67a196fe8431e4
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
16
17
;
18
assert((card P) = { 279 });