Comment #1 on issue 3450 by [email protected]: compute_known_facts requires copy-paste
http://code.google.com/p/sympy/issues/detail?id=3450
There is a lot of dependence on globals in this system. In particular the following confuses me
known_facts_cnf is generated by compute_known_facts compute_known_facts uses ask_full_inference ask_full_inference uses known_facts_cnf What am I missing here? Obviously this works but I don't see why. -- 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.
