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. -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
