On 2014-07-18, Robert Pollak <robert.pol...@mykolab.com> wrote: > > On Monday, July 1, 2013 11:37:02 AM UTC+2, I wrote: >> >> solve(abs((x-1)/(x-5)) <= 1/3, x) >> > [...] >> The main issue is that the result should be >> >> [[-1 <= x, x <= 2]] >> > > I have found a way to get this! A little term massaging gives me the > equivalent: > sage: qepcad((x-1)^2 <= (1/3)^2 * (x-5)^2, vars='(x)') > x + 1 >= 0 /\ x - 2 <= 0 > > Also, qepcad can be used for cleaning up some results of 'solve': > sage: qepcad(qepcad_formula.or_(x == 1, qepcad_formula.and_(1 < x, x < 2)), > vars='(x)') > x - 1 >= 0 /\ x - 2 < 0 > but it cannot deal with the '-6 != 0' terms. > perhaps a newer qepcad can deal with more things (Sage's qepcad 1.50 is quite outdated by now). Care to make an update of the corresponding spkg?
-- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
