Should this solution include x = -3?
Maxima 5.33.0 http://maxima.sourceforge.net
using Lisp ECL 12.12.1
Distributed under the GNU Public License. See the file COPYING.
Dedicated to the memory of William Schelter.
The function bug_report() provides bug reporting information.
(%o1) /Users/.../sage/local/share/maxima/5.33.0/share/solve\ _rat_ineq/solve_rat_ineq.mac
(%i2) solve_rat_ineq((x^2-9)/(x-3) >= 0);
(%o2) [[x >= - 3]]
I understand that
so maybe this is intended behavior, but maybe
solve_rat_ineq shouldn't do any simplifications like this - I hope I haven't asked this question before, years ago...
Downstream at http://ask.sagemath.org/question/23837/