Ask Your Question
1

solve irrational inequality

asked 2016-04-03 21:52:36 +0100

sophia gravatar image

updated 2016-04-05 13:36:16 +0100

slelievre gravatar image

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 flag offensive close merge delete

2 Answers

Sort by ยป oldest newest most voted
1

answered 2016-04-05 15:02:23 +0100

Harald Schilly gravatar image

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.

edit flag offensive delete link 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.

slelievre gravatar imageslelievre ( 2016-04-05 15:52:48 +0100 )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.

sophia gravatar imagesophia ( 2016-04-05 23:12:05 +0100 )edit
0

answered 2016-04-04 16:26:10 +0100

slelievre gravatar image

updated 2016-04-05 13:39:50 +0100

You should now be able to use qepcad on SageMathCloud.

Example: https://cloud.sagemath.com/projects/f...

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.

edit flag offensive delete link more

Your Answer

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

Add Answer

Question Tools

2 followers

Stats

Asked: 2016-04-03 21:52:36 +0100

Seen: 1,154 times

Last updated: Apr 05 '16