-----deltaquattro at gmail.com wrote: -----
>Thank?you?very?much,?Barton.?help(solve_rat_ineq)?doesn't?work,?so?I
>looked?at?the?code?and,?if?I?understood?correctly,?it?seems?to?me?that
>it?works?only?on?inequalities?in?a?single?variable?without?parameters.
>Is?this?correct?
That is my understanding of the source code documentation.
>Instead,?I?would?like?to?solve?something?like:
>
>a*(x+7)-b?<?0
>
>under?some?constraints,?say,?assume(a>0).
For systems of linear inequalites, Maxima has code for Fourier elimination
and
code for the simplex method. But Maxima doesn't have any methods for
solving nonlinear inequalities such as a*(x+7)-b < 0 and a > 0.
Maybe you would like to contribute some code.
Barton