tests/ehrhart/e1.in

   1 # This is the first example in the Ehrhart paper
   2 4 6
   3 1  1  0 0 0 0   i >= 0
   4 1 -2  0 1 0 0   -2i + P >= 0
   5 1  0  1 0 0 0   j >= 0
   6 1  0 -2 0 1 0   -2j + Q >= 0
   7
   8 2 4
   9 1 1 0 0         P >= 0
  10 1 0 1 0         Q >= 0
  11
  12 P Q
  13 CL'96 example