When solving an inequality that is true for all reals, e.g. `x**2 >= 0`, the relational (-oo < x) & (x < oo) is returned by `solve_univariate_inequality`. This is good because it enforces the condition that x be real: substitution of x with I, for example, will fail. But if the relationship is never true for any real numbers, S.EmptySet is returned and as a relational, this comes back as False. Should a relational like x > oo be returned instead?
``` >>> from sympy.abc import x >>> S.Reals.as_relational(x) (-oo < x) & (x < oo) >>> S.EmptySet.as_relational(x) False >>> S.UniversalSet.as_relational(x) True ``` -- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/e01580ef-40bc-4872-9d4d-bb2156507608%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
