Comment #7 on issue 2618 by nicolas....@gmail.com: 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 sympy-issues@googlegroups.com. To unsubscribe from this group, send email to sympy-issues+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy-issues?hl=en.
