Comment #7 on issue 1309 by ondrej.certik: implement backward chaining for rules http://code.google.com/p/sympy/issues/detail?id=1309
Ok, I had a look at it --- it's a bit difficult to see nicely what exactly we need to have implemented -- can you suggest some pointers? I will have a spring break the next week and I consider this extremely high priority, but if you can suggest me some steps that I should do, it would save me a lot of time. Currently I need to figure out how to plug this in your new assumption system and how to get rid of the old assumptions. It's ok, if it's going to be slow at the beginning, as this can be improved later --- and we can work with this on a git branch, until it's fast enough to commit to the repo. -- 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 -~----------~----~----~----~------~----~------~--~---
