We should attract a GSoC student to solve the new assumptions problem. Because this problem is both complex and important to many of us I think that we should define it explicitly.
I have created the following issue Migrate from old assumptions to new assumptions<https://code.google.com/p/sympy/issues/detail?id=3631> Note that there are several such issues floating around in the issue tracker. I have made the n+1th in hopes that it will be the last. (foolish me <http://xkcd.com/927/>) No discussion should happen on this issue itself. Rather it is there to collect other, hopefully more atomic issues. So far I have collected/created the following New assumptions should be fast<https://code.google.com/p/sympy/issues/detail?id=3632> Contradictory assumptions should raise an error<https://code.google.com/p/sympy/issues/detail?id=3633> is_attribute syntax in core<https://code.google.com/p/sympy/issues/detail?id=3634> Backwards compatibility with old assumptions<https://code.google.com/p/sympy/issues/detail?id=3635> Relational assumptions<https://code.google.com/p/sympy/issues/detail?id=2721> Several modules depend on the old assumptions structure<https://code.google.com/p/sympy/issues/detail?id=3636> Some of these like "new assumptions should be fast" and "several modules depend on old assumptions structure" should also be broken up into several smaller issues like "caching results for new assumptions" or "physics should use new assumptions" etc.... I encourage anyone with knowledge of new assumptions to create more issues and add discussion/wisdom where necessary. I think that a description of the problem broken down in this way will make this problem approachable to an industrious student. Previous discussions on this topic are long and meandering, requiring great patience. Problems are easier when broken down. I hope that this structure breaks the new assumptions conversation and problem down into achievable pieces. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy?hl=en. For more options, visit https://groups.google.com/groups/opt_out.