CoCalc Public Filestmp / 2016-04-04-053743-qepcad.sagewsOpen in with one click!
Author: William A. Stein
maxima_calculus("domain: real") dnf = solve(abs((x-1)/(x-5))<1/3,x)
real
qf = apply(qepcad_formula.or_, map(qepcad_formula.and_, dnf)) # reformat the solution qepcad(qf, vars='(x)') # simplify
x - 2 < 0 /\ x + 1 > 0