bash-3.00$ cat bart6.in # Degenerate Problem Generated by Compaan # Copyright (c) LIACS 2004 # Problem: QR_unfold_mod # Date: 2004.08.18 at 02:39:57 PM GMT+01:00 13 11 0 1 0 0 0 0 0 -1 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 3 0 -1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 -1 1 0 0 0 0 0 0 -1 1 0 0 1 0 0 0 0 0 -1 0 0 0 1 1 0 0 -3 0 0 0 0 0 1 2 1 0 0 3 0 0 0 0 0 -1 -1 1 0 0 0 0 -3 0 0 0 0 1 1 0 0 0 0 0 1 0 0 -1 1 1 0 0 0 0 0 -1 0 0 1 1 1 0 0 0 0 -3 0 0 0 1 1 1 0 0 0 0 3 0 0 0 -1 1 1 6 1 0 0 0 -1 0 bash-3.00$ ~/obj/barvinok/barvinok_enumerate < bart6.in POLYHEDRON Dimension:9 Constraints:13 Equations:3 Rays:11 Lines:0 Constraints 13 11 Equality: [ 1 0 0 0 0 0 -1 0 0 0 ] Equality: [ 0 1 0 0 0 0 -1 0 0 0 ] Equality: [ 0 0 0 3 0 -1 0 0 0 1 ] Inequality: [ 0 0 0 0 0 0 1 0 0 -1 ] Inequality: [ 0 0 0 0 0 0 -1 1 0 0 ] Inequality: [ 0 0 0 0 0 -1 0 0 0 1 ] Inequality: [ 0 0 -3 0 0 0 0 0 1 2 ] Inequality: [ 0 0 3 0 0 0 0 0 -1 -1 ] Inequality: [ 0 0 0 0 -3 0 0 0 0 1 ] Inequality: [ 0 0 0 0 0 1 0 0 -1 1 ] Inequality: [ 0 0 0 0 0 -1 0 0 1 1 ] Inequality: [ 0 0 0 0 -3 0 0 0 1 1 ] Inequality: [ 0 0 0 0 3 0 0 0 -1 1 ] Rays 11 11 Ray: [ 0 0 0 0 0 0 0 1 0 ] Ray: [ 1 1 0 0 0 0 1 1 0 ] Vertex: [ 3 3 3 0 1 3 3 3 6 ]/3 Vertex: [ 3 3 4 0 1 3 3 3 6 ]/3 Ray: [ 0 0 -1 -1 -1 -3 0 0 -3 ] Vertex: [ 3 3 2 0 1 3 3 3 0 ]/3 Vertex: [ 3 3 2 -2 1 -3 3 3 0 ]/3 Vertex: [ 3 3 1 0 1 3 3 3 0 ]/3 Vertex: [ 3 3 1 -2 1 -3 3 3 0 ]/3 Vertex: [ 3 3 1 0 -1 3 3 3 0 ]/3 Vertex: [ 3 3 2 0 -1 3 3 3 0 ]/3 POLYHEDRON Dimension:4 Constraints:2 Equations:0 Rays:5 Lines:3 Constraints 2 6 Inequality: [ 0 0 0 -1 0 ] Inequality: [ 0 0 0 0 1 ] Rays 5 6 Line: [ 1 0 0 0 ] Line: [ 0 1 0 0 ] Line: [ 0 0 1 0 ] Ray: [ 0 0 0 -1 ] Vertex: [ 0 0 0 0 ]/1 - P + S + 1 >= 0 - S >= 0 Q -1 >= 0 - Q + R >= 0 P - S + 1 >= 0 [ ( 1 * {( 1/3 * P + 2/3 ) } + 0 ) = 0 ] * ( 1 * {( 1/3 * S + 0 ) } + ( -1 * {( 1/3 * S + 2/3 ) } + 2/3 ) )