| * 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 |