I observe following behavior: In [113]: solve([Le((-1 + x),(-2 + x+x**3)), Assume(x,Q.real)], x, relational=False) Out[113]: [[1, ∞)] In [114]: solve([Le((-1 + x)/(-2 + x+x**3),1), Assume(x,Q.real)], x, relational=False) NotImplementedError (...)
But there is a workaround: one must put the denominators to the second side, observing their sign. This requires to write some useful (but probably missing) routines, so it will take me a while. I will post an example soon. This will be a step forward from polynomials. Many more expressions in real life can be simplified to a single fraction using together(). Btw: maybe the function should behave as if relational was set to False by default; what do you think? -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
