| commit | dbfdce8bb9733a4268dd125a9dc3c67c5b493303 | |
| 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 | 2fd0e72a6ec516fc76eddc3e21e19e8302f5b1e3 | treesnapshot (tar.gz zip) |
| parent | 9e7c949eea2d3ee672895d9e21b65a74a61ee3a1 | commitdiff |
[21/24] New test for inference rule (!real -> !integer & !positive & !zero & ...) (#749)
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>
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 |