There are some refactorings that need to happen in the new assumptions system. All the code is collected in one place so even fringe modules need to affect core code.
The major issue for me seems to be how to connect predicates to expressions. It's a pain to have to carry around a big list of Q.predicate(expr)s every time you manipulate an expression. I think we need some syntax to cleanly attach a context to an expression. I mentioned this slightly on this issue http://code.google.com/p/sympy/issues/detail?id=1047 > P.S., it's also cool that your most popular question relates to SymPy. > Mine is about rock, paper, scissors :) > Well, I made it about SymPy. You just need to make a rock/paper/scissors module :) -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
