P :=
3 4
1 1 0 0
1 -1 0 10
1 0 1 0
;
assert((card P) = { infty });
