$ echo 'card [P, Q, R, S] -> { [Q, Q, i6, i7, i8] : 3i7 = -1 + P and Q >= 1 and R >= Q and P <= 1 and 3i6 <= 2 + S and 3i6 >= 1 + S and i8 <= 0 and S <= 1 + P and S >= -1 + P and 3i8 <= 1 + S and 3i8 >= -1 + S };' | ./iscc [P, Q, R, S] -> { (-[(S)/3] + [(2 + S)/3]) : exists (e0 = [(-1 + P)/3]: 3e0 = -1 + P and S <= 1 + P and P <= 1 and Q >= 1 and R >= Q and S >= 0 and S <= 1); (-[(S)/3] + [(2 + S)/3]) : exists (e0 = [(-1 + P)/3]: 3e0 = -1 + P and S <= 1 + P and S >= -1 + P and Q >= 1 and R >= Q and S <= -1) } # below is the same in the old interface 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 ) )