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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
* 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
|
