Comment #3 on issue 2877 by asmeu...@gmail.com: Contradictory facts about
infinities in the new assumptions
http://code.google.com/p/sympy/issues/detail?id=2877
I guess the old system doesn't check eval_is_ for already computed facts,
which makes sense because of performance, but perhaps
Updates:
Blockedon: -sympy:2196 sympy:2196
Comment #2 on issue 2877 by ness...@googlemail.com: Contradictory facts
about infinities in the new assumptions
http://code.google.com/p/sympy/issues/detail?id=2877
The old system is susceptible to similar problems. For example, just add
Status: Accepted
Owner:
Labels: Type-Defect Priority-Medium WrongResult Assumptions
New issue 2877 by asmeu...@gmail.com: Contradictory facts about infinities
in the new assumptions
http://code.google.com/p/sympy/issues/detail?id=2877
We have
In [13]: ask(Q.real(oo))
Out[13]: False
In