solve irrational inequality
Is there any way to solve the following inequality for a
in Sage?
(It's pretty easy to do in Maple.)
abs(-1/4*a - 1/4*sqrt(a^2 - 30*a + 17) + 1/4) < 1
Using solve
doesn't work. I tried using the QEPCAD package,
but on SageMathCloud, i get an error: "unable to start QEPCAD".
I tried using sympy-solve and sympy-solveset, and that didn't work either. I plan to raise questions regarding sympy on stackexchange, but if anyone has helpful guidelines on using sagemath's solve vs sympy-solve, that'd be greatly appreciated. My general experience has been that sympy-solve is a lot more capable than sagemath's solve.
Any help would be greatly appreciated. Thank you.
EDIT
Thank you for replying. I am able to use qepcad now, but the problem I'm trying to solve takes a very long time. Here is the code:
var('a')
dnf = solve(abs(-1/4*a - 1/4*sqrt(a^2 - 30*a + 17) + 1/4) <= 1, a)
qf = apply(qepcad_formula.or_, map(qepcad_formula.and_, dnf)) # reformat the solution
qf
qepcad(qf, vars='(a)') # simplify
Any help solving this would be greatly appreciated. Also, would it be possible to update the version of sympy on sagemathcloud? Thank you.