# 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


Any help solving this would be greatly appreciated. Also, would it be possible to update the version of sympy on sagemathcloud? Thank you.

edit retag close merge delete

Sort by ยป oldest newest most voted

right now, sympy 1.0 is in the anaconda distribution on smc. so you can use it over there, but that's outside of the confined world of sagemath. I've no idea how you can mix this.

more

Expanding @schilly's answer a tiny bit: to use the Sympy in Anaconda on SageMathCloud, open a new Jupyter notebook in one of your SageMathCloud projects, then in the "Kernel" menu pick "Change kernel > Anaconda" (you might have a choice between Anaconda 2 and Anaconda 3). Then you can import sympy and get going.

( 2016-04-05 15:52:48 +0200 )edit

Thank you, I am able to access the latest version of sympy now. My original question was on solving the irrational inequality above. Is that not possible in sagemath? Thanks.

( 2016-04-05 23:12:05 +0200 )edit

You should now be able to use qepcad on SageMathCloud.

EDIT (to answer the edit in the question)

The upgrade to Sympy version 1.0 is the object of Sage trac ticket #20185.

It should make it into Sage 7.2 and become available in SageMathCloud in a few weeks.

more