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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
### Problem 'max (1) * x + (1) * y'
== begin <simplex env> ========================================
on integers ? true
--- values of non-basic ---------------------------
-∞ < [ s == 10 ] <= 10 (computed OK ) (flag OK )
-∞ < [ y == 0 ] < +∞ (computed OK ) (flag OK )
---------------------------------------------------
--- values of basic -------------------------------
---------------------------------------------------
3 <= [ x == 10 ] < +∞ (computed OK ) (flag OK )
--- matrix ----------------------------------------
x = (1) * s + (-1) * y
---------------------------------------------------
--- sets of uses ----------------------------------
variables that use s are: x,
variables that use y are: x,
---------------------------------------------------
--- basic variables in fixme ----------------------
(fixme is empty)
---------------------------------------------------
--- simplex status --------------------------------
Max: (v=10, is_le=true, ex=x+y<=10)
(int solution ? true)
x --> 10
y --> 0
s --> 10
== end <simplex env> ==========================================
### Problem 'max (1) * y'
== begin <simplex env> ========================================
on integers ? true
--- values of non-basic ---------------------------
-∞ < [ s == 10 ] <= 10 (computed OK ) (flag OK )
3 <= [ x == 3 ] < +∞ (computed OK ) (flag OK )
---------------------------------------------------
--- values of basic -------------------------------
---------------------------------------------------
-∞ < [ y == 7 ] < +∞ (computed OK ) (flag OK )
--- matrix ----------------------------------------
y = (1) * s + (-1) * x
---------------------------------------------------
--- sets of uses ----------------------------------
variables that use s are: y,
variables that use x are: y,
---------------------------------------------------
--- basic variables in fixme ----------------------
(fixme is empty)
---------------------------------------------------
--- simplex status --------------------------------
Max: (v=7, is_le=true, ex=x+y<=10, x>=3)
(int solution ? true)
y --> 7
x --> 3
s --> 10
== end <simplex env> ==========================================
### Problem 'max (-1) * y'
== begin <simplex env> ========================================
on integers ? true
--- values of non-basic ---------------------------
3 <= [ x == 3 ] < +∞ (computed OK ) (flag OK )
-∞ < [ y == 0 ] < +∞ (computed OK ) (flag OK )
---------------------------------------------------
--- values of basic -------------------------------
---------------------------------------------------
-∞ < [ s == 3 ] <= 10 (computed OK ) (flag OK )
--- matrix ----------------------------------------
s = (1) * x + (1) * y
---------------------------------------------------
--- sets of uses ----------------------------------
variables that use x are: s,
variables that use y are: s,
---------------------------------------------------
--- basic variables in fixme ----------------------
(fixme is empty)
---------------------------------------------------
--- simplex status --------------------------------
Unbounded:
(int solution ? true)
y --> 0
x --> 3
s --> 3
== end <simplex env> ==========================================
|
