bash-3.00$ cat e9.in 
# Pugh's more elaborate example
# 1 <= i
# j <= n
# 2i <= 3j
#--------------

3 5
1 1 0 0 -1
1 0 -1 1 0
1 -2 3 0 0

1 3
1 1 -1

n
Pugh's example
bash-3.00$ ~/obj/barvinok/barvinok_enumerate < e9.in     
POLYHEDRON Dimension:3
           Constraints:4  Equations:0  Rays:4  Lines:0
Constraints 4 5
Inequality: [   1   0   0  -1 ]
Inequality: [   0  -1   1   0 ]
Inequality: [  -2   3   0   0 ]
Inequality: [   0   0   0   1 ]
Rays 4 5
Ray:    [   0   1   1 ]
Ray:    [   0   0   1 ]
Ray:    [   3   2   2 ]
Vertex: [   3   2   2 ]/3
POLYHEDRON Dimension:1
           Constraints:2  Equations:0  Rays:2  Lines:0
Constraints 2 3
Inequality: [   1  -1 ]
Inequality: [   0   1 ]
Rays 2 3
Ray:    [   1 ]
Vertex: [   1 ]/1
         n  -1 >= 0
          1 >= 0

( 3/4 * n^2 + 1/2 * n + ( -1/2 * {( 1/2 * n + 0 )
} + 0 )
 )