| commit | db357d5a33c4cc2b86586369952940972d846d92 | |
| 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 | 71af8abd66a0a782274d1156dcc70420d42bff4d | treesnapshot (tar.gz zip) |
| parent | 32e0fbed3aa392879094f8974555efe76b8a8d7f | commitdiff |
[4/24]: rework assumptions.py to use FactRules (kill ._eval_is_nonnegative)
As we now use inference engine with proper beta-rules support (&(a,b) -> c),
there is no need to provide ad-hock things like generic ._eval_is_nonnegative()
In fact this old ._eval_is_nonnegative() was wrong -- it was correct only when
an object in hand was real.
So let's get rid of old unneeded stuff and use generic inference.
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>
As we now use inference engine with proper beta-rules support (&(a,b) -> c),
there is no need to provide ad-hock things like generic ._eval_is_nonnegative()
In fact this old ._eval_is_nonnegative() was wrong -- it was correct only when
an object in hand was real.
So let's get rid of old unneeded stuff and use generic inference.
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/assumptions.py | diffblobblamehistory |