On 6/5/07, sen1 at math.msu.edu < sen1 at math.msu.edu> wrote:
>
> assume(x > 2) =>
> is (x^2 > 2) => unknown
> is (x^2 > 4) => true
>
Maxima is very weak on comparisons. In this case, the only reason the last
case works is that x^2-4 factors. I've added a couple of lines of code to
fix this case. Just load this file into Maxima and see how it works. I'll
be checking it in if no one manages to break it soon....
-s