tests/ehrhart/e15.in

   1 # Vincent's example
   2 7 7
   3 #   i  j  k   P Q
   4 1  -1  0  0   0 0   0           # -P <= i <= 0
   5 1   1  0  0   1 0   0           #
   6 1   0 -1  0   0 0   0           # i <= j <= 0
   7 1  -1  1  0   0 0   0           #
   8 1   0  0 -1   0 0   0           # i-j <= k <= 0
   9 1  -1  1  1   0 0   0           #
  10 0   1  1  1   0 -1  0           # Q = i+j+k
  11
  12 0 4
  13
  14 P Q
  15 Little parameter domain example
  16