On 6/5/07, sen1 at math.msu.edu <sen1 at math.msu.edu> wrote: is (y < x^2)
=> unknown
So, it solves the immediate problem of x^2 > 3, but not one in which
> one adds other variables.
It wasn't intended to solve the general problem; it was just a quick fix.
Actually, what would really be nice is to have an 'inequality solver'
> which works at least for several linear, quadratic, and cubic polynomial
> inequalities
>
Yes, that would be nice, but we should probably start with
linearinequalities, which Maxima doesn't handle either! And I think
it would take
more than five lines of code....
-s