The following are a series of patches that implement the new assumption system, which consists of:
- preparatory stuff (patches 1-5) - a logic module (much cleaner than the old one) - new style-assumptions (very simple objects) - query module, which substitutes the .is_* syntax I tried hard to separate these 3 functionalities as much as possible. This is more an initial implementation from whom we can star to work rather than a finished product, so in case you have any objections, we can start discussing. Thanks for the review, - Fabian pd: patch 3 was already approved, just that i did not push it in. --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "sympy-patches" group. To post to this group, send email to sympy-patches@googlegroups.com To unsubscribe from this group, send email to sympy-patches+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sympy-patches?hl=en -~----------~----~----~----~------~----~------~--~---