Comment #13 on issue 2618 by [email protected]: Solve fails on
expressions containing finite symbols
http://code.google.com/p/sympy/issues/detail?id=2618
"Intended behavior of Q.is_bounded(x) seems to be that it returns False on
a standard Symbol if it has no information. This seems mathematically
correct as we're not sure at this point that x will stay away from infinity
- is x bounded? no."
I'm not sure this is coherent with other assumptions.
Consider for example this:
In [1]: x=Symbol('x')
In [2]: ask(Q.real(x))
So, None is returned here, and not False.
But since "we're not sure at this point that x will stay" real, using the
same reasoning you used, False should be returned instead.
--
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.
