tests/ehrhart/t2.in

   1 5 5
   2 1 2 0 -1 0
   3 1 -1 1 0 20
   4 1 -1 -1 0 20
   5 1 1 1 0 0
   6 1 1 -1 0 0
   7
   8 1 3
   9 1 1 0          # P>=0
  10
  11 P
  12 2nd simple test
  13
  14 x >= n/2
  15 x <= y <= -x
  16 20-x <= y <= x-20
  17 ---------------------------------------
  18 Domain :
  19          - P + 20 >= 0
  20          P  >= 0
  21
  22 Vertices :
  23 [ 10,  10 ]
  24 [ 10,  -10 ]
  25 [ 20,  0 ]
  26 [ P/2,  P/2 ]
  27 [ P/2,  -P/2 ]
  28 ---------------------------------------
  29 Domain :
  30          - P + 40 >= 0
  31          P  -20 >= 0
  32
  33 Vertices :
  34 [ 20,  0 ]
  35 [ P/2,  -P/2+20 ]
  36 [ P/2,  P/2-20 ]
  37