Comment #18 on issue 1047 by fabian.seoane: Suggested new assumption system http://code.google.com/p/sympy/issues/detail?id=1047
You can see my progress here: http://fseoane.net/cgi-bin/gitweb.cgi?p=sympy.git;a=shortlog;h=refs/heads/assumptions Currently I'm working on logic stuff. For the new assumption system to be more compact and more clever than the old one, I need to implement backward-chaining, which the current logic module does not implement. -- 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 [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-issues?hl=en -~----------~----~----~----~------~----~------~--~---
