Re: [sympy] can SymPy be more explicit about assumptions?

See also https://github.com/sympy/sympy/issues/17224 On Sun, 4 Aug 2019 at 13:32, Chris Smith wrote: > > Symbols default to commutative=True but I wonder if we should also default to > `finite=True` since that is consistent with the behavior of `x - x` being 0. > (If x is infinite then `x -

[sympy] can SymPy be more explicit about assumptions?

Symbols default to commutative=True but I wonder if we should also default to `finite=True` since that is consistent with the behavior of `x - x` being 0. (If x is infinite then `x - x` is nan.) In this discussion here I point