Ask Your Question

# 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.

edit retag close merge delete

## 2 answers

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

## Comments

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 08:52:48 -0600 )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 16:12:05 -0600 )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

## Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

## Stats

Asked: 2016-04-03 14:52:36 -0600

Seen: 462 times

Last updated: Apr 05 '16