Comment #6 on issue 2338 by [email protected]: Use predicates and propositions instead of "Assume objects"
http://code.google.com/p/sympy/issues/detail?id=2338
@Vinzent: the difference is between "A implies B" and "B(x)". The first one is a mathematical truth while the second is contingent on x. But I didn't invent that terminology and I'm not clinging to it. Besides, "Assumption" doesn't actually describe the intrinsic nature of something like Q.real(x). In ask(Q.real(x), assumptions=Q.positive(x)), Q.real(x) is a query, not an assumption.
@Renato: "Implies" is the indicative form of a transitive verb, so 'Implies(A, B)' is intuitively translated as "the fact that A implies B", which is indeed what the object represents.
-- 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.
