On Sun, May 10, 2015 at 7:01 PM, AMiT Kumar <
dtu....@gmail.com> wrote:
> Hi Amit,
>
> The `gen` argument corresponds to the symbol you are solving for
> the univariate inequality (expr).
>
> Example:
>
>>>> solve_univariate_inequality(x**2 >= 4, x)
> Or(And(-oo < x, x <= -2), And(2 <= x, x < oo))
>
>
>>>> solve_univariate_inequality(x**2 >= 4, x, relational=False)
> (-oo, -2] U [2, oo)
Thank you for your reply. Yeah I figured that out. My query was more