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

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