WOLFRAM
|
DEMONSTRATIONS PROJECT
S
o
l
v
i
n
g
L
i
n
e
a
r
I
n
e
q
u
a
l
i
t
i
e
s
c
h
o
o
s
e
r
e
l
a
t
i
o
n
>
≥
<
≤
b
1
c
1
d
-
1
m
o
v
e
x
t
o
l
e
f
t
s
h
o
w
s
o
l
u
t
i
o
n
l
o
g
i
c
a
l
e
x
p
r
e
s
s
i
o
n
o
f
s
o
l
u
t
i
o
n
S
o
l
v
e
t
h
e
i
n
e
q
u
a
l
i
t
y
:
a
x
+
1
≥
x
-
1
(
a
-
1
)
x
≥
-
2
d
i
v
i
s
i
o
n
o
f
R
s
o
l
u
t
i
o
n
T
h
e
D
e
m
o
n
s
t
r
a
t
i
o
n
s
o
l
v
e
s
l
i
n
e
a
r
i
n
e
q
u
a
l
i
t
i
e
s
o
f
t
h
e
f
o
r
m
a
x
+
b
>
c
x
+
d
i
n
t
e
r
m
s
o
f
t
h
e
p
a
r
a
m
e
t
e
r
a
.
Y
o
u
c
a
n
u
s
e
>
t
o
≥
,
≤
,
o
r
<
a
s
t
h
e
i
n
e
q
u
a
l
i
t
y
.
