You can try fourier_elim. There is a pre-processor to fourier_elim that
allows it to solve some nonlinear inequalities.
(%i11) load(fourier_elim)$
(%i12) fourier_elim([abs(x - abs(5-x)) < 1],[x]);
(%o12) [2<x,x<3]
(%i13) fourier_elim([x + y < 1, x - y > 9],[x,y]);
(%o13) [y+9<x,x<1-y,y<-4]
(%i14) fourier_elim([max(-x,x) < 7 * x + 1],[x]);
(%o14) [-1/8<x]
Barton
-----maxima-bounces at math.utexas.edu wrote: -----
>To: maxima at math.utexas.edu
>From: Radek <rademat at wp.pl>
>Sent by: maxima-bounces at math.utexas.edu
>Date: 05/17/2008 01:08PM
>Subject: How to solve an inequality?
>
>How can I solve an inequality in Maxima?
>_______________________________________________
>Maxima mailing list
>Maxima at math.utexas.edu
>http://www.math.utexas.edu/mailman/listinfo/maxima