tests/ehrhart_union/ue1.in

   1 # Adapted from a PolyLib test case
   2 2
   3
   4 4 5
   5 1 -1 0 1 0
   6 1 0 1 0 0
   7 1 1 -1 0 0
   8 1 0 -1 0 10
   9
  10 4 5
  11 1  1  0  0 -4
  12 1 -1  0  1  0
  13 1  0  1  0 -4
  14 1  0 -1  1  0
  15
  16
  17
  18 1 3
  19 1 1 0           # P>=0
  20
  21
  22 N
  23
  24 # Expected result
  25 [N] -> { (7 - 2 * N + N^2) : N >= 5; (1 + 3/2 * N + 1/2 * N^2) : 0 <= N <= 4 }