tests/iscc/leroux

   1 # This example was derived from an Omega test case reported by
   2 # Jerome Leroux <leroux@labri.fr>.
   3 P :=
   4 2 4
   5 1 1 -3 -1
   6 1 -1 3 2
   7 ;
   8
   9 S := sample P;
  10 assert(S <= P);
  11 assert(card(S) = { 1 });