tests/ehrhart_union/ue2.in

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