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