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