[14/24] Mul: teach ._eval_is_negative about all-terms-are-positive expressions (e...
commit912ceb28f5a56b7c006326532c519021aa084116
authorKirill Smelkov <kirr@landau.phys.spbu.ru>
Fri, 25 Jul 2008 18:03:07 +0000 (25 22:03 +0400)
committerKirill Smelkov <kirr@landau.phys.spbu.ru>
Fri, 25 Jul 2008 18:03:07 +0000 (25 22:03 +0400)
tree3574f25e6a4aa02e88d1053fe83229000b654ef1
parentf4816aa40a8d0e1d086b1454b7b7727ac83bde7c
[14/24] Mul: teach ._eval_is_negative about all-terms-are-positive expressions (e.g. 2*positive)

in such cases negative is known to be False for sure.

Signed-off-by: Kirill Smelkov <kirr@landau.phys.spbu.ru>
Signed-off-by: Ondrej Certik <ondrej@certik.cz>
Signed-off-by: Mateusz Paprocki <mattpap@gmail.com>
sympy/core/mul.py
sympy/core/tests/test_arit.py