Path: blob/master/build/pkgs/cddlib/tests/output/infeas.ine
8820 views
16 8 real
| 0 1 2 3 4 5 7 14
| 0 1 2 3 4 5 7 14
------- | ------------------------
1( 2) | 0 + 0 0 0 0 0 0
2( 3) | 0 0 + 0 0 0 0 0
3( 4) | 0 0 0 + 0 0 0 0
4( 5) | 0 0 0 0 + 0 0 0
5( 6) | 0 0 0 0 0 + 0 0
6( -1) | - + 0 0 0 0 0 0
7( 7) | 0 0 0 0 0 0 + 0
8( -1) | + - 0 0 0 0 0 0
9( -1) | + 0 - 0 0 0 0 0
10( -1) | + 0 0 - 0 0 0 0
11( -1) | + 0 0 0 - 0 0 0
12( -1) | + 0 0 0 0 - 0 0
13( -1) | + 0 0 0 0 0 - 0
14( 8) | 0 0 0 0 0 0 0 +
15( 0) | + 0 0 0 0 0 0 -
16( 0) | 0 0 0 0 0 0 0 0
end
15 8 real
| 0 1 2 3 4 5 7 14
| 0 6 2 3 4 5 7 14
------- | ------------------------
1( -1) | + + 0 0 0 0 0 0
2( 3) | 0 0 + 0 0 0 0 0
3( 4) | 0 0 0 + 0 0 0 0
4( 5) | 0 0 0 0 + 0 0 0
5( 6) | 0 0 0 0 0 + 0 0
6( 2) | 0 + 0 0 0 0 0 0
7( 7) | 0 0 0 0 0 0 + 0
8( -1) | - - 0 0 0 0 0 0
9( -1) | + 0 - 0 0 0 0 0
10( -1) | + 0 0 - 0 0 0 0
11( -1) | + 0 0 0 - 0 0 0
12( -1) | + 0 0 0 0 - 0 0
13( -1) | + 0 0 0 0 0 - 0
14( 8) | 0 0 0 0 0 0 0 +
15( 0) | + 0 0 0 0 0 0 -
end
Evaluating dd_BasisStatusMaximize:
nbindex: 0 6 2 3 4 5 7 14
re = 8, se=0
se=0, is=0
new se=0, is=0
dd_BasisStatusMaximize: a specified basis exists.
15 8 real
| 0 6 2 3 4 5 7 14
---- ---- ---- ---- ---- ---- ---- ---- ----
1( -1) | 2 1 0 0 0 0 0 0
2( 3) | 0 0 1 0 0 0 0 0
3( 4) | 0 0 0 1 0 0 0 0
4( 5) | 0 0 0 0 1 0 0 0
5( 6) | 0 0 0 0 0 1 0 0
6( 2) | 0 1 0 0 0 0 0 0
7( 7) | 0 0 0 0 0 0 1 0
8( -1) | -1 -1 0 0 0 0 0 0
9( -1) | 1 0 -1 0 0 0 0 0
10( -1) | 1 0 0 -1 0 0 0 0
11( -1) | 1 0 0 0 -1 0 0 0
12( -1) | 1 0 0 0 0 -1 0 0
13( -1) | 1 0 0 0 0 0 -1 0
14( 8) | 0 0 0 0 0 0 0 1
15( 0) | 1 0 0 0 0 0 0 -1
end
BasisStatus: the current basis is verified with GMP. The LP Solved.
16 8 real
| 0 1 2 3 4 5 7 8
| 0 1 2 3 4 5 7 8
------- | ------------------------
1( 2) | 0 + 0 0 0 0 0 0
2( 3) | 0 0 + 0 0 0 0 0
3( 4) | 0 0 0 + 0 0 0 0
4( 5) | 0 0 0 0 + 0 0 0
5( 6) | 0 0 0 0 0 + 0 0
6( -1) | - + 0 0 0 0 0 0
7( 7) | 0 0 0 0 0 0 + 0
8( 8) | 0 0 0 0 0 0 0 +
9( -1) | 0 + - 0 0 0 0 +
10( -1) | 0 + 0 - 0 0 0 +
11( -1) | 0 + 0 0 - 0 0 +
12( -1) | 0 + 0 0 0 - 0 +
13( -1) | 0 + 0 0 0 0 - +
14( -1) | + + 0 0 0 0 0 +
15( 0) | + - 0 0 0 0 0 -
16( 0) | 0 0 0 0 0 0 0 0
end
15 8 real
| 0 1 2 3 4 5 7 8
| 0 6 2 3 4 5 7 8
------- | ------------------------
1( -1) | + + 0 0 0 0 0 0
2( 3) | 0 0 + 0 0 0 0 0
3( 4) | 0 0 0 + 0 0 0 0
4( 5) | 0 0 0 0 + 0 0 0
5( 6) | 0 0 0 0 0 + 0 0
6( 2) | 0 + 0 0 0 0 0 0
7( 7) | 0 0 0 0 0 0 + 0
8( 8) | 0 0 0 0 0 0 0 +
9( -1) | + + - 0 0 0 0 +
10( -1) | + + 0 - 0 0 0 +
11( -1) | + + 0 0 - 0 0 +
12( -1) | + + 0 0 0 - 0 +
13( -1) | + + 0 0 0 0 - +
14( -1) | + + 0 0 0 0 0 +
15( 0) | - - 0 0 0 0 0 -
end
Evaluating dd_BasisStatusMaximize:
nbindex: 0 6 2 3 4 5 7 8
re = 0, se=0
se=0, is=0
new se=0, is=0
dd_BasisStatusMaximize: a specified basis exists.
15 8 real
| 0 6 2 3 4 5 7 8
---- ---- ---- ---- ---- ---- ---- ---- ----
1( -1) | 2 1 0 0 0 0 0 0
2( 3) | 0 0 1 0 0 0 0 0
3( 4) | 0 0 0 1 0 0 0 0
4( 5) | 0 0 0 0 1 0 0 0
5( 6) | 0 0 0 0 0 1 0 0
6( 2) | 0 1 0 0 0 0 0 0
7( 7) | 0 0 0 0 0 0 1 0
8( 8) | 0 0 0 0 0 0 0 1
9( -1) | 2 1 -1 0 0 0 0 1
10( -1) | 2 1 0 -1 0 0 0 1
11( -1) | 2 1 0 0 -1 0 0 1
12( -1) | 2 1 0 0 0 -1 0 1
13( -1) | 2 1 0 0 0 0 -1 1
14( -1) | 3/2 1/2 0 0 0 0 0 1/2
15( 0) | -1/2 -1/2 0 0 0 0 0 -1/2
end
BasisStatus: the current basis is verified with GMP. The LP Solved.
V-representation
begin
0 7 rational
end
H-representation
linearity 7 1 2 3 4 5 6 7
begin
7 7 rational
0 1 0 0 0 0 0
0 0 1 0 0 0 0
0 0 0 1 0 0 0
0 0 0 0 1 0 0
0 0 0 0 0 1 0
-2 1 0 0 0 0 0
0 0 0 0 0 0 1
end
Vertex graph
begin
0 0
end
Facet graph
begin
7 7
1 0 :
2 0 :
3 0 :
4 0 :
5 0 :
6 0 :
7 0 :
end