tests/ehrhart/e11.in

   1 #asap96 paper example, section 5
   2 # 0 <= i <= P
   3 # 0 <= j <= i
   4 # 0 <= k <= i-j
   5 # Q = i + j + k
   6 #-------------------------------
   7 7 7
   8 1       1 0 0    0 0     0
   9 1       -1 0 0   1 0     0
  10 1       0 1 0    0 0     0
  11 1       1 -1 0   0 0     0
  12 1       0 0 1    0 0     0
  13 1       1 -1 -1  0 0     0
  14 0       1 1 1    0 -1    0
  15
  16 0 4
  17
  18 P Q
  19 ASAP'96 paper
  20
  21 #-------------------------------------------------------
  22 # ANSWER:
  23 # 0 <= Q <= P  :      1/8 Q^2 + [3/4, 1/2]_Q Q + [1, 3/8]_Q
  24 # P <= Q <= 2P : PQ - 1/2 P^2 + 1/2 P - 3/8 Q^2 + [1/4, 0]_Q Q + [1, 3/8]_Q
  25
  26