Such things can be computed with real quantifier elimination to some extent. Two obstacles:
the absolute value has to be translated into logic, which Redlog could do for you.
The fraction is really a problem: Your expression is not defined for x=5.
So, if someone has serious interesting problems into this direction, then one could work on it with Reduce + human intelligence. For classroom purposes at least the Redlog part of Reduce is not suitable here.
Somebody else might come up with other package that I am not aware of.
Best,
Thomas
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Hello!
I am currently evaluating computer algebra software for first year students, and I have never used Reduce before.
Does Reduce provide a way to solve rational inequalities like
abs((x-1)/(x-5)) <= 1/3? It should be the interval [-1, 2].Best regards,
Robert
Such things can be computed with real quantifier elimination to some extent. Two obstacles:
the absolute value has to be translated into logic, which Redlog could do for you.
The fraction is really a problem: Your expression is not defined for x=5.
So, if someone has serious interesting problems into this direction, then one could work on it with Reduce + human intelligence. For classroom purposes at least the Redlog part of Reduce is not suitable here.
Somebody else might come up with other package that I am not aware of.
Best,
Thomas
Thank you for your quick reply. By the way, the best free software solution I found was via Sagemath and qepcad, as in the following link:
http://sagecell.sagemath.org/?z=eJxdjTsOgzAQRPtIucOKFNgSCUJRGgRnQRtsJ5b8w8bI3D42BUWaLWbfzAv44T1oTFLjNKOao4qBVMxqlKYHz1FV9HoJB8aMgBGCVRsn-A6EpHtH23xflMIwQtc-G0gnvhQanVM7WbibkU3Ceh0VPqyfmix1_zkalh9Zk_duWV5yXGH98mKNq7TmHD-aZBENbOjDWJNE69IKUjslxf4DNIlHGQ==&lang=sage