Cool! "ineq" seems to do nearly everything that I wanted. Thank you!
This sort of behavior on inequalities seems pretty orthogonal to the rest of Maxima. How come Maxima can't just incorporate it into the standard mechanisms? I would be surprised if it broke anything.
At 09:56 PM 11/1/2011, Robert Dodier wrote:
>There is a share package, ineq, which might be helpful.
>load(ineq) loads the package and demo(ineq) runs through some examples.
>
>ineq is not too complicated -- it defines simplifications rules
>(via tellsimp and tellsimpafter) for some basic operations on
>inequalities. Maybe it's enough, I don't know.
>
>Hope this helps,
>
>Robert Dodier