On Mon, 15 Mar 2021 at 01:01, JSS95 <[email protected]> wrote: > > Since Eq is a type, I doubt that `Relational(Eq, x, y)` is possible. Such > structure of representation is required only in the assumptions module so I'd > say that we don't need to implement that in core right now.
But we could make it so that Eq is an instance just as you are proposing for Q.eq. > If there is no more objection, I will implement relational predicates > following my recent suggestion. I'm not objecting. 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/CAHVvXxRO0Chopww8kPQ0WoOv9E88uXuSMzfzTPJct1bHvKa4ag%40mail.gmail.com.
