1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
* Try to project on (x1, x2, x3) by eliminating the last
* three variables using cddlib "fourier" or "projection" programs.
* The correct result is project1res.ine.
H-representation
begin
20 7 integer
1 0 0 0 1 0 0
1 0 0 0 0 1 0
1 0 0 0 0 0 1
1 0 0 0 -1 0 0
1 0 0 0 0 -1 0
1 0 0 0 0 0 -1
1 1 0 0 -1 0 0
1 0 1 0 0 -1 0
1 0 0 1 0 0 -1
1 -1 0 0 1 0 0
1 0 -1 0 0 1 0
1 0 0 -1 0 0 1
2 1 1 1 -1 -1 -1
2 -1 1 1 1 -1 -1
2 1 -1 1 -1 1 -1
2 1 1 -1 -1 -1 1
2 -1 -1 1 1 1 -1
2 1 -1 -1 -1 1 1
2 -1 1 -1 1 -1 1
2 -1 -1 -1 1 1 1
end
project 3 1 2 3
|
