* Projection example: project2.ine * Project on the 3-space (x1, x2, x3) by eliminating the last * three variables (x4,x5,x6). The result is project2res.ine . * This appears to be a very hard example to compute by * the straighforward Fourier or Block elimination because they * generate so many redundant inequalities. H-representation begin 62 7 integer 7 0 0 0 -3 1 -2 9 0 0 0 -2 -1 -3 7 0 0 0 -2 1 -3 9 0 0 0 -3 -1 -2 3 0 0 0 -2 3 -1 1 0 0 0 -2 3 1 5 0 0 0 -3 2 -1 3 0 0 0 -3 2 1 3 0 0 0 1 -3 2 1 0 0 0 1 -2 3 5 0 0 0 -1 -3 2 3 0 0 0 -1 -2 3 -3 0 0 0 1 2 3 -3 0 0 0 1 3 2 -1 0 0 0 -1 2 3 -1 0 0 0 -1 3 2 1 0 0 0 3 1 -2 5 0 0 0 2 -1 -3 3 0 0 0 3 -1 -2 3 0 0 0 2 1 -3 -1 0 0 0 2 3 -1 -1 0 0 0 3 2 -1 -3 0 0 0 2 3 1 -3 0 0 0 3 2 1 -3 0 0 0 2 1 3 -1 0 0 0 3 -1 2 -1 0 0 0 2 -1 3 -3 0 0 0 3 1 2 3 0 0 0 2 -3 1 5 0 0 0 2 -3 -1 1 0 0 0 3 -2 1 3 0 0 0 3 -2 -1 3 0 0 0 -1 3 -2 5 0 0 0 -1 2 -3 1 0 0 0 1 3 -2 3 0 0 0 1 2 -3 9 0 0 0 -1 -2 -3 9 0 0 0 -1 -3 -2 7 0 0 0 1 -2 -3 7 0 0 0 1 -3 -2 5 0 0 0 -3 -1 2 1 0 0 0 -2 1 3 3 0 0 0 -2 -1 3 3 0 0 0 -3 1 2 7 0 0 0 -2 -3 1 9 0 0 0 -2 -3 -1 7 0 0 0 -3 -2 1 9 0 0 0 -3 -2 -1 0 1 0 0 -1 0 0 0 0 1 0 0 -1 0 0 0 0 1 0 0 -1 2 -1 0 0 1 0 0 2 0 -1 0 0 1 0 2 0 0 -1 0 0 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 3 -1 -1 1 1 1 -1 3 1 -1 -1 -1 1 1 3 -1 1 -1 1 -1 1 5 -1 -1 -1 1 1 1 end project 3 1 2 3