Test/ehrhart/g2.out

   1 ---------------------------------------
   2 Domain:
   3          i0 - a0  = 0
   4          j0 - k0  -1 = 0
   5          -2k0 + a1  -1 >= 0
   6          - k0 + a0  -2 >= 0
   7          - k0 + a1  -2 >= 0
   8          k0  >= 0
   9          N - a0  >= 0
  10          N - a1 + 1 >= 0
  11           1 >= 0
  12
  13 Vertices:
  14 [ a0,  1,  0 ]
  15 [ a0,  k0+1,  k0 ]
  16
  17 Ehrhart Polynomial:
  18 ( 1 * k0 + 1 )
  19
  20 ---------------------------------------
  21 Domain:
  22          i0 - a0  = 0
  23          j0 - k0  -1 = 0
  24          2k0 - a1 + 1 >= 0
  25          - k0 + a0  -2 >= 0
  26          - k0 + a1  -2 >= 0
  27          N - a0  >= 0
  28          N - a1 + 1 >= 0
  29           1 >= 0
  30
  31 Vertices:
  32 [ a0,  2k0-a1+2,  2k0-a1+1 ]
  33 [ a0,  k0+1,  k0 ]
  34
  35 Ehrhart Polynomial:
  36 ( -1 * k0 + ( 1 * a1 + 0 )
  37  )
  38