Updates:
Summary: ask(~Q.negative(log(p)**2), Q.positive(p)) is None
Labels: Assumptions
Comment #1 on issue 2734 by [email protected]: ask(~Q.negative(log(p)**2),
Q.positive(p)) is None
http://code.google.com/p/sympy/issues/detail?id=2734
The reason is that it could also be 0 if p == 1. If you ask for
nonnegative, the old system gets it, and the new one still can't compute it
(unless I'm doing it wrong):
In [18]: (log(p)**2).is_nonnegative
Out[18]: True
In [22]: ask(~Q.negative(log(p)**2), Q.positive(p))
(None)
--
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.
