Is there any way to solve abs(-1/4a - 1/4sqrt(a^2 - 30*a + 17) + 1/4) < 1 for a? (Its pretty easy to do in Maple)
solve doesn't work. i tried using the QEPCAD package, but on sagemath cloud, 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 anybody has helpful guideline 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.