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]. -- 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.
