Comment #1 on issue 3585 by ronan.l...@gmail.com: Replace new assumptions handlers
http://code.google.com/p/sympy/issues/detail?id=3585
I agree that the current design is bad, for the reasons you mentioned. But your suggestion is basically the design of the old-style assumptions, and it's just as bad, because it makes it impossible to define new predicates without altering core classes. We need to allow both new classes to work with existing predicates and new predicates to work with existing classes.
I'm not sure how to do it, but I can see two things that would bring us closer: * Make compute_known_facts() efficient enough to be done at import time (this is certainly possible, because the old-style assumptions do something very similar)
* Merge the AskThingyHandlers with their associated predicates. -- You received this message because you are subscribed to the Google Groups "sympy-issues" group. To post to this group, send email to sympy-issues@googlegroups.com. To unsubscribe from this group, send email to sympy-issues+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy-issues?hl=en.
