P :=
4 5
1   1   0   0  -1
1  -1  -1   0   2
1   1   1  -2   0
1  -1   1   2   0

;
assert((card P) = { 3 });
