# This example was derived from an Omega test case reported by
# Jerome Leroux <leroux@labri.fr>.
P :=
2 4
1 1 -3 -1
1 -1 3 2
;

S := sample P;
assert(S <= P);
assert(card(S) = { 1 });
