Question: How to flip the inequality symbol in an inequality?


 

Suppose I want to do some manipulations on this inequality:

 

(1/2)*k*n <= m

(1/2)*k*n <= m

(1)

I know I can use the map() function to move terms around, like so:

 

map(proc (x) options operator, arrow; 2*x end proc, (1/2)*k*n <= m)

k*n <= 2*m

(2)

map(proc (x) options operator, arrow; x/n end proc, k*n <= 2*m)

k <= 2*m/n

(3)

map(proc (x) options operator, arrow; x/m end proc, k <= 2*m/n)

k/m <= 2/n

(4)

But this method fails if I want to multiply both sides of the inequality by a negative number, for example:

map(proc (x) options operator, arrow; -x end proc, k/m <= 2/n)

-k/m <= -2/n``

(5)

How do I get Maple to switch the inequality sign to ≥ ?


 

Download tmp.mw

Please Wait...