On Fri, 12 Mar 2021 at 07:13, JS S <[email protected]> wrote: > > 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.
Why (briefly) is it not possible for Eq to work here? > 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". I think that seems reasonable. Oscar -- 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/CAHVvXxRW4fNZ6igFrj%2B2o%3DKV5tPANapd2zcQ%2B-sK9LZe_Zd-Eg%40mail.gmail.com.
