Ask Your Question

jondo's profile - activity

2021-02-18 05:05:53 +0100 received badge  Famous Question (source)
2016-10-10 18:15:36 +0100 received badge  Notable Question (source)
2016-04-04 12:23:31 +0100 received badge  Necromancer (source)
2015-12-29 17:30:55 +0100 received badge  Popular Question (source)
2015-10-31 03:53:56 +0100 received badge  Teacher (source)
2015-10-31 03:53:56 +0100 received badge  Self-Learner (source)
2015-10-30 09:16:49 +0100 answered a question qepcad on sagemath cloud

Now that a QEPCAD package is available, I have asked to get it installed on https://cloud.sagemath.com/, and my wish was promptly fulfilled!

(I also successfully asked for installation on http://sagecell.sagemath.org/.)

2015-10-30 09:10:02 +0100 received badge  Scholar (source)
2013-07-02 11:33:49 +0100 received badge  Student (source)
2013-07-02 10:46:43 +0100 answered a question simplifying rational inequality results

Yes, now that there's a QEPCAD package availableand already installed on http://sagecell.sagemath.org and https://cloud.sagemath.com.

Calling

dnf = solve(abs((2*x-2)/(x-5)) <= 2/3, x)
qf = apply(qepcad_formula.or_, map(qepcad_formula.and_, dnf)) # reformat the solution
qepcad(qf, vars='(x)') # simplify

yields

x + 1 >= 0 /\ x - 2 <= 0
2013-07-01 04:28:40 +0100 commented question simplifying rational inequality results

@kcrisman, since my question was just a boolean one ("is there a way ..."), I would accept your "not directly within Sage" as an Askbot answer, if you care.

2013-06-28 09:23:43 +0100 received badge  Editor (source)
2013-06-28 05:10:21 +0100 asked a question simplifying rational inequality results

The command

solve(abs((2*x-2)/(x-5)) <= 2/3, x)

yields

#0: solve_rat_ineq(ineq=2*abs(x-1)/abs(x-5)-2/3 <= 0)
[[x == -1, -6 != 0, -6 != 0], [x == -1, -6 != 0, -6 != 0, -6 != 0], [x
== -1, -6 != 0, -6 != 0], [x == -1, -6 != 0, -6 != 0, -6 != 0], [x == 2,
-3 != 0, -3 != 0], [x == 2, -3 != 0, -3 != 0, -3 != 0], [x == 2, -3 !=
0, -3 != 0], [x == 2, -3 != 0, -3 != 0, -3 != 0], [x == 1], [1 < x, x
< 2], [-1 < x, x < 1]]

Is there a way to simplify that output to get something like

[[-1 <= x, x <= 2]]

?

2013-04-24 10:51:09 +0100 received badge  Supporter (source)