---------------------------------------
Domain :
         2P + Q  >= 0
         - P - Q  >= 0
          1 >= 0

Vertices :
[ Q/2,  Q/2,  0 ]
[ Q/2,  0,  Q/2 ]
[ -P,  P+Q,  0 ]
[ -P,  0,  P+Q ]

Ehrhart Polynomial:
( -1/2 * P^2 + ( -1 * Q + 1/2 )
 * P + ( -3/8 * Q^2 + [ -1/4, 0 ]_Q * Q + [ 1, 3/8 ]_Q )
 )

---------------------------------------
Domain :
         P + Q  >= 0
         - Q  >= 0
          1 >= 0

Vertices :
[ Q/2,  Q/2,  0 ]
[ Q/2,  0,  Q/2 ]
[ Q,  0,  0 ]

Ehrhart Polynomial:
( 1/8 * Q^2 + [ -3/4, -1/2 ]_Q * Q + [ 1, 3/8 ]_Q )

