Inequalities



Maxima allows you to manipulate inequalities as well as equalities. 
Granted, it is currently rather weak on inequality manipulation, but
the possibility is there.

Just as 1=1 does not simplify to TRUE, neither does 0<1.

        -s