tests/ehrhart/t1.in

   1
   2 4 5
   3 1 0 1 0 0       # j>=0
   4 1 1 -1 0 0      # i>=j
   5 1 1 0 -1 0      # i>=P
   6 1 -1 0 0 10     # 10>=i
   7
   8 1 3
   9 1 1 0           # P>=0
  10
  11
  12 P
  13 First simple test
  14
  15 ---------------------------------------
  16 Domain :
  17          - P + 10 >= 0
  18          P  >= 0
  19
  20 Vertices :
  21 [ 10,  10 ]
  22 [ P,  P ]
  23 [ 10,  0 ]
  24 [ P,  0 ]