Comment #2 on issue 1309 by ondrej.certik: implement backward chaining for rules http://code.google.com/p/sympy/issues/detail?id=1309
Ok, this will be quite some work, so I suggest the following approach: * this is a functionality, that our current assumptions cannot do (am I correct?) -- if I am correct, then let's get rid of the old assumptions completely and move to the new system, get it merged, integrated, tested, ... * implement this backward chaining as an addition to sympy, to make our assumptions more powerful What do you think? -- 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 -~----------~----~----~----~------~----~------~--~---
