Aaron, Oscar, please share your idea on this. My recent opinion is: 1. We need relational predicates (Q.eq) to make inference system work with relations. Eq(..., evaluate=False) cannot do this.
2. I will not replace Eq with Q.eq because doing that will break backwards compatibility. Instead, ask() and refine() will convert Eq to Q.eq internally for inference system. 3. Q.eq will not be exposed to the users in order to prevent the confusion. It will be kept inside the assumptions module and will not be used in anywhere else. 4. "Q.eq" is just a tentative naming. Relational predicate may not be registered to "Q". Jisoo Song -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/2dabe0e2-b636-41e0-a437-78e112fbe2cbn%40googlegroups.com.
