tests/ehrhart/t3.in

   1 2 4
   2 1 1 0 0         # x >= 0
   3 1 -2 1 0                # x <= P
   4
   5 1 3
   6 0 1 -11         P=11
   7
   8 P
   9 instanciated parameter test
  10 ---------------------------
  11 0 <= x <= P
  12 P=10
  13 ---------------------------