Test/ehrhart/e2b.out

   1 ---------------------------------------
   2 Domain:
   3          P - R  >= 0
   4          R  >= 0
   5          - Q + 10 >= 0
   6          - P + 4 >= 0
   7          Q  >= 0
   8
   9 Vertices:
  10 [ P-R,  2P+Q-2R,  0 ]
  11 [ P-R,  0,  0 ]
  12 [ P,  2P+Q,  R ]
  13 [ P,  2P+Q,  0 ]
  14 [ P,  0,  R ]
  15 [ P,  0,  0 ]
  16
  17 Ehrhart Polynomial:
  18 ( ( 1 * R^2 + 3 * R + 2 )
  19  * P + ( ( 1/2 * R^2 + 3/2 * R + 1 )
  20  * Q + ( -1/3 * R^3 + -1/2 * R^2 + 5/6 * R + 1 )
  21  )
  22  )
  23
  24 ---------------------------------------
  25 Domain:
  26          - P + R  >= 0
  27          - Q + 10 >= 0
  28          - R + 10 >= 0
  29          - P + 4 >= 0
  30          Q  >= 0
  31          P  >= 0
  32
  33 Vertices:
  34 [ P,  2P+Q,  R ]
  35 [ P,  2P+Q,  0 ]
  36 [ P,  0,  R ]
  37 [ P,  0,  0 ]
  38 [ 0,  Q,  -P+R ]
  39 [ 0,  Q,  0 ]
  40 [ 0,  0,  -P+R ]
  41 [ 0,  0,  0 ]
  42
  43 Ehrhart Polynomial:
  44 ( -1/3 * P^3 + ( -1/2 * Q + ( 1 * R + 1/2 )
  45  )
  46  * P^2 + ( ( 1 * R + 1/2 )
  47  * Q + ( 2 * R + 11/6 )
  48  )
  49  * P + ( ( 1 * R + 1 )
  50  * Q + ( 1 * R + 1 )
  51  )
  52  )
  53