# example on page 3
P :=
4 4
   1   1   0   0
   1   0   1   0
   1  -2  -1  10
   1   0  -1   2
;
assert((card P) = { 16 });
