Maybe https://github.com/sympy/sympy/blob/master/sympy/logic/boolalg.py#L81
can provide some insight here.
Aaron Meurer
On Thu, Jun 26, 2014 at 10:33 AM, Chris Smith <smi...@gmail.com> wrote:
>>>> x.is_real is True
> True
>>>> var('x',positive=True)
> x
>>>> (x>0) is True
> False
>>>> x>0
> True
>>>> type(_)
> <class 'sympy.logic.boolalg.BooleanTrue'>
>
>
> I understand that the above (x>0) is True is False for the same reason that
> S(1) is 1 is False, but why don't boolean expressions use BooleanTrue, too?
> Is that ust how Python works?
>
> --
> 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 sympy+unsubscr...@googlegroups.com.
> To post to this group, send email to sympy@googlegroups.com.
> Visit this group at http://groups.google.com/group/sympy.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sympy/1946215b-573f-4f0d-833a-18a1b32b504d%40googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
--
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 sympy+unsubscr...@googlegroups.com.
To post to this group, send email to sympy@googlegroups.com.
Visit this group at http://groups.google.com/group/sympy.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sympy/CAKgW%3D6L1ZevQgsjwcrPqjCO8m1PMzNXQM9VmL1GNPC4cLmMKLQ%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.
