On 18 Mai, 07:31, Ronan Lamy <ronan.l...@gmail.com> wrote: > After my work on Predicates, I've made another attempt at replacing the > old assumption system with the new one and the results are encouraging. > After a few more relatively simple changes to the assumptions system - > that make it significantly more powerful - it appears that it's possible > to completely the old assumptions with the new ones with only reasonably > many failures, and very few seeming intractable. The biggest problem is > that the switch causes a very painful slowdown. It also seems that a lot > of tedious work is required to port all the capabilities of the old > system and thus fix the test failures. > > The (unpolished) code is in the branch "use-new-assump2" in my github > repo [http://github.com/rlamy/sympy/commits/use-new-assump2]. I've > gathered prerequisites to the switch passing all tests into > "new-assump" [http://github.com/rlamy/sympy/commits/new-assump].
The old system did only trivial assumptions, I think these are slower with the new system. Probably we should use caching? See also issue 1884 [1]. Vinzent [1] http://code.google.com/p/sympy/issues/detail?id=1884 -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to sy...@googlegroups.com. To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.