Comment #16 on issue 2618 by asmeurer: Solve fails on expressions containing finite symbols
http://code.google.com/p/sympy/issues/detail?id=2618
The three way logic of the new and old assumptions are exactly the same. It returns True if it's known to be True in all cases, False if it's known to be False in all cases, and None otherwise. ask(Q.bounded(x)) should return None unless x explicitly has assumptions that make it always bounded or always not bounded.
In other words, what you say about "we're not sure" should imply None, not False.
-- 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.
