third_party/cddlib/examples/project2.ine

* 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