2016-10-10 11:15:36 -0600 received badge ● Notable Question (source) 2016-04-04 05:23:31 -0600 received badge ● Necromancer (source) 2015-12-29 10:30:55 -0600 received badge ● Popular Question (source) 2015-10-30 21:53:56 -0600 received badge ● Teacher (source) 2015-10-30 21:53:56 -0600 received badge ● Self-Learner (source) 2015-10-30 03:16:49 -0600 answered a question qepcad on sagemath cloud Now that a QEPCAD package is available, I have asked to get it installed on https://cloud.sagemath.com/, and my wish was promptly fulfilled! (I also successfully asked for installation on http://sagecell.sagemath.org/.) 2015-10-30 03:10:02 -0600 received badge ● Scholar (source) 2013-07-02 04:33:49 -0600 received badge ● Student (source) 2013-07-02 03:46:43 -0600 answered a question simplifying rational inequality results Yes, now that there's a QEPCAD package availableand already installed on http://sagecell.sagemath.org and https://cloud.sagemath.com. Calling dnf = solve(abs((2*x-2)/(x-5)) <= 2/3, x) qf = apply(qepcad_formula.or_, map(qepcad_formula.and_, dnf)) # reformat the solution qepcad(qf, vars='(x)') # simplify  yields x + 1 >= 0 /\ x - 2 <= 0  2013-06-30 21:28:40 -0600 commented question simplifying rational inequality results @kcrisman, since my question was just a boolean one ("is there a way ..."), I would accept your "not directly within Sage" as an Askbot answer, if you care. 2013-06-28 02:23:43 -0600 received badge ● Editor (source) 2013-06-27 22:10:21 -0600 asked a question simplifying rational inequality results The command solve(abs((2*x-2)/(x-5)) <= 2/3, x)  yields #0: solve_rat_ineq(ineq=2*abs(x-1)/abs(x-5)-2/3 <= 0) [[x == -1, -6 != 0, -6 != 0], [x == -1, -6 != 0, -6 != 0, -6 != 0], [x == -1, -6 != 0, -6 != 0], [x == -1, -6 != 0, -6 != 0, -6 != 0], [x == 2, -3 != 0, -3 != 0], [x == 2, -3 != 0, -3 != 0, -3 != 0], [x == 2, -3 != 0, -3 != 0], [x == 2, -3 != 0, -3 != 0, -3 != 0], [x == 1], [1 < x, x < 2], [-1 < x, x < 1]]  Is there a way to simplify that output to get something like [[-1 <= x, x <= 2]]  ? 2013-04-24 03:51:09 -0600 received badge ● Supporter (source)