maxima and inequalities



oops ... is (abs(sin(x)<=1) is true.


Gosse Michel wrote:

> Hello
> 
> Is it planned to add solving inequalities for the future release of 
> maxima ?
>