| commit | 82a536cf0f97c1565b3efa35c0ecbd008c655add | |
| author | Kirill Smelkov <kirr@landau.phys.spbu.ru> | |
| Fri, 25 Jul 2008 18:03:07 +0000 (25 22:03 +0400) | ||
| committer | Kirill Smelkov <kirr@landau.phys.spbu.ru> | |
| Fri, 25 Jul 2008 18:03:07 +0000 (25 22:03 +0400) | ||
| tree | 790a8b2cf78ea32e2da92e2c1a2f2d721a407d02 | treesnapshot (tar.gz zip) |
| parent | 7d53c96e9853bb685c18ead9d8eea4320186c4da | commitdiff |
[18/24] NeativeOne, Pi, Exp1: correct tested assumptions
because now:
NegativeOne
-----------
composite: T -> F (composite == integer & positive & !prime)
Pi, Exp1
--------
integer: U -> F (obviously pi & e are not integers)
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>
because now:
NegativeOne
-----------
composite: T -> F (composite == integer & positive & !prime)
Pi, Exp1
--------
integer: U -> F (obviously pi & e are not integers)
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/tests/test_assumptions.py | diffblobblamehistory |