Not supporting Numbers would break backwards compatibility. I don't see any
reason *not* to support them. I do support not supporting Integer & Integer.


On Mon, Nov 4, 2013 at 11:36 AM, Aaron Meurer <notifications@github.com>wrote:

> In sympy/logic/boolalg.py:
>
> > -        >>> from sympy.logic.boolalg import Not, And, Or
> > -        >>> from sympy.abc import x
> > -        >>> Not(True)
> > -        False
> > -        >>> Not(False)
> > -        True
> > -        >>> Not(And(True, False))
> > -        True
> > -        >>> Not(Or(True, False))
> > -        False
> > -        >>> Not(And(And(True, x), Or(x, False)))
> > -        Not(x)
> > -        """
> > -        if isinstance(arg, Number) or arg in (0, 1):
> > -            return False if arg else True
> > +        if isinstance(arg, Number) or arg in (0, 1, true, false):
>
> I was actually a little confused by this. Do we really want to support any
> number here? The 0, 1 is actually redundant with the isinstance because the
> arguments to eval are always sympified.
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/sympy/sympy/pull/2560/files#r7406856>
> .
>