tests/ehrhart/e12.in

   1 # A Tawbi example
   2 # 1 <= i <= n
   3 # 1 <= j <= i
   4 # j <= k <= m
   5 # 1  i  j  k  n  m  c
   6 6 7
   7   1  1  0  0  0  0 -1
   8   1 -1  0  0  1  0  0
   9   1  0  1  0  0  0 -1
  10   1  1 -1  0  0  0  0
  11   1  0 -1  1  0  0  0
  12   1  0  0 -1  0  1  0
  13
  14 2 4
  15   1           1  0 -1
  16   1           0  1 -1
  17
  18 n m
  19 Nadia Tawbi's example