Can you define what you mean by solving inequalities and
what algorithms you would expect?
For example, given the range of possible expressions
in maxima, the predicate "f(x)>0" is undecidable.
On the other hand, is(3<4) is probably already solved.
Real inequalities? integer inequalities?
I don't know if anyone has plans to do better, but
it is certainly possible to add such features to
maxima. If you volunteer to do so, I think people
would be glad to give you advice.
is (abs(sin(x))<=1) for example? The commercial macsyma says true.
RJF
Gosse Michel wrote:
> Hello
>
> Is it planned to add solving inequalities for the future release of
> maxima ?
>