Comment #9 on issue 1309 by ondrej.certik: implement backward chaining for
rules
http://code.google.com/p/sympy/issues/detail?id=1309
So we need the following functionality:
+def test_bc_ask():
+ # test backward chaining
+ f = FactRules(['negative == real & !zero & !pos'])
+ f.bc_ask({'negative' : True}) == [{'pos': False, 'real': True, 'zero':
False}]
+ f = FactRules(['Odd -> Integer'])
+ f.bc_ask({'Integer' : True}) == {'Odd':True, 'Integer':True}
+
+ f = FactRules(['positive == real & !negative & !zero'])
+ f.bc_ask({positive : True}) == {'negative' : False, 'real' :
True, 'zero' : False}
and that's it, is that correct? So we need to speed the above up, right?
So why don't we finish the transition to the new assumption system first,
so that I
can see the big picture and then lets work hard on the assumptions branch
until it
becomes usable.
--
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
-~----------~----~----~----~------~----~------~--~---
