Revision history [back]

Yes, but not directly within Sage, according to @kcrisman's comments and answer on the sage-devel mailing list.

Yes, but not directly within Sage, according to @kcrisman's comments and his answer on the sage-devel mailing list.list: https://groups.google.com/d/msg/sage-devel/QLEFLgkuXRg/bFAbvp6UWXwJ

Yes, but not directly within Sage, according to @kcrisman's comments now that there's a QEPCAD package available and his answer already installed on the sage-devel mailing list: https://groups.google.com/d/msg/sage-devel/QLEFLgkuXRg/bFAbvp6UWXwJhttp://sagecell.sagemath.org and https://cloud.sagemath.com.

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

x + 1 >= 0 /\ x - 2 <= 0