Test/ehrhart/bart8.out

   1 ---------------------------------------
   2 Domain:
   3          - P + 1 >= 0
   4          P - T + 1 >= 0
   5          T  >= 0
   6          Q  -1 >= 0
   7          - R + S  >= 0
   8          - Q + R  -1 >= 0
   9
  10 Vertices:
  11 [ Q,  R,  T/3+1/3 ,  P/3-1/3 ,  T/3-1/3  ]
  12 [ Q,  R,  T/3+1/3 ,  P/3-1/3 ,  1/3  ]
  13 [ Q,  R,  T/3+2/3 ,  P/3-1/3 ,  T/3-1/3  ]
  14 [ Q,  R,  T/3+2/3 ,  P/3-1/3 ,  1/3  ]
  15
  16 Ehrhart Polynomial:
  17 [ 0, ( [ 0, -1/3, -1/3 ]_T * T + [ 0, 4/3, 2/3 ]_T )
  18 , 0 ]_P