| commit | 67340b871674ef98a54a140360b9930d70f1c173 | |
| author | Kirill Smelkov <kirr@landau.phys.spbu.ru> | |
| Fri, 25 Jul 2008 18:03:06 +0000 (25 22:03 +0400) | ||
| committer | Kirill Smelkov <kirr@landau.phys.spbu.ru> | |
| Fri, 25 Jul 2008 18:03:06 +0000 (25 22:03 +0400) | ||
| tree | 14aa8273ffef94685adb76d23b1c668b466cac0b | treesnapshot (tar.gz zip) |
| parent | b0f9dd27e3c9447e0119e79d72434f92f8c15c6a | commitdiff |
[8/24]: rework assumptions to use FactRules (no .assume())
.assume() is now disallowed -- in fact it was never a good idea to change
assumptions in-situ.
When we'll refactor them to be separate of expressions, it could make sense,
but even then a lot of assumptions would be still bound to objects (e.g.
Rational.is_integer=False for performance reasons)
So let's just remove one tiny place where .assume() was 'used' to modify
assumptions in-situ -- the only test.
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>
.assume() is now disallowed -- in fact it was never a good idea to change
assumptions in-situ.
When we'll refactor them to be separate of expressions, it could make sense,
but even then a lot of assumptions would be still bound to objects (e.g.
Rational.is_integer=False for performance reasons)
So let's just remove one tiny place where .assume() was 'used' to modify
assumptions in-situ -- the only test.
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 |