Comment #7 on issue 2618 by [email protected]: Solve fails on expressions containing finite symbols
http://code.google.com/p/sympy/issues/detail?id=2618
If y = Symbol('y', bounded=True), then ask(Q.bounded(y)) should return True indeed.
The problem is that the old assumption system and the new one coexist without beeing aware of each other.
So, the real fix would be to merge both assumption systems: https://github.com/sympy/sympy/wiki/Assumptions
check_assumptions() should then be rewritten to use only new assumption system.
-- You received this message because you are subscribed to the Google Groups "sympy-issues" 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-issues?hl=en.
