How do I solve this?
x^2 + 2*x=3 and 7*x+2<-x-3
I found solve_rat_ineq. That handles the inequality OK.
(%i1) solve(x^2 + 2*x=3,x);
(%o1) [x = - 3, x = 1]
(%i2) solve_rat_ineq(7*x+2<-x-3);
5
(%o2) [[x < - -]]
8
The solution is x = -3
Tom Dean