Updates:
Labels: Logic
Comment #7 on issue 2338 by asmeurer: Use predicates and propositions
instead of "Assume objects"
http://code.google.com/p/sympy/issues/detail?id=2338
To me "assumption" should be something that you assume about an object
(like x is real), and "fact" should be something that you can derive from
those assumptions (like sqrt(x**2) == abs(x)). I think there's some kind
of distinction like this in the logic module (but I could be wrong).
--
You received this message because you are subscribed to the Google Groups
"sympy-patches" group.
To post to this group, send email to sympy-patches@googlegroups.com.
To unsubscribe from this group, send email to
sympy-patches+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sympy-patches?hl=en.
