Comment #20 on issue 1047 by fabian.seoane: Suggested new assumption system http://code.google.com/p/sympy/issues/detail?id=1047
It really isn't ready to be included with sympy, it only supports very basic queries, so please release 0.6.4 without this and we'll merge aferward. Problem is that before I can go any further i really need backward-chaining in the facts module. I am working on it, but this logic module is really complicated ... -- You received this message because you are listed in the owner or CC fields of this issue, or because you starred this issue. You may adjust your issue notification preferences at: http://code.google.com/hosting/settings --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---