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.
If there is no more objection, I will implement relational predicates following my recent suggestion. 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/51b5ee45-373b-4d85-8688-4896498ebc04n%40googlegroups.com.
