Test/others/g3.out

   1 ---------------------------------------
   2 Domain :
   3          i0 - k0  -1 = 0
   4          j0 - a1  = 0
   5          -2k0 + 2a0  -3 >= 0
   6          - k0 + N  -2 >= 0
   7          - k0 + a1  -2 >= 0
   8          k0 - a0 + 2 >= 0
   9          N - a1 + 1 >= 0
  10          2k0 - a0 + 1 >= 0
  11
  12 Vertices :
  13 [ a0-1,  a1,  a0-2 ]
  14 [ 2k0-a0+2,  a1,  2k0-a0+1 ]
  15 Degenerate Domain. Can not continue.
  16 ---------------------------------------
  17 Domain :
  18          i0 - k0  -1 = 0
  19          j0 - a1  = 0
  20          k0 - a0 + 2 >= 0
  21          -2k0 + a0  -1 >= 0
  22          N - a1 + 1 >= 0
  23          - k0 + N  -2 >= 0
  24          a0  -2 >= 0
  25          - k0 + a1  -2 >= 0
  26
  27 Vertices :
  28 [ a0-1,  a1,  a0-2 ]
  29 [ 1,  a1,  0 ]
  30 Degenerate Domain. Can not continue.
  31 ---------------------------------------
  32 Domain :
  33          i0 - k0  -1 = 0
  34          j0 - a1  = 0
  35          -2k0 + a0  -1 >= 0
  36          N - a0  >= 0
  37          N - a1 + 1 >= 0
  38          k0  >= 0
  39          - k0 + a1  -2 >= 0
  40          - k0 + a0  -2 >= 0
  41           1 >= 0
  42
  43 Vertices :
  44 [ 1,  a1,  0 ]
  45 [ k0+1,  a1,  k0 ]
  46
  47 Ehrhart Polynomial:
  48 ( 1 * k0 + 1 )
  49
  50 ---------------------------------------
  51 Domain :
  52          i0 - k0  -1 = 0
  53          j0 - a1  = 0
  54          2k0 - a0 + 1 >= 0
  55          N - a1 + 1 >= 0
  56          N - a0  >= 0
  57          - k0 + a1  -2 >= 0
  58          - k0 + a0  -2 >= 0
  59           1 >= 0
  60
  61 Vertices :
  62 [ 2k0-a0+2,  a1,  2k0-a0+1 ]
  63 [ k0+1,  a1,  k0 ]
  64
  65 Ehrhart Polynomial:
  66 ( -1 * k0 + ( 1 * a0 + 0 )
  67  )
  68