It doesn't always make sense to delegate these properties to the
subexpressions of a Piecewise. For example knowing that the
subexpressions are hypergeometric functions does not mean that the
piecewise itself is a hypergeometric function.
On Fri, 21 Feb 2020 at 13:28, Chris Smith wrote:
>
> In
In #18696 there is a problem of having `Piecewise(...).is_hypergeometric`
return True when all the expressions it contains are hypergeometric.
Quoting from my comment there:
The `is_hypergeometric` function has to be made to look for a `Piecewise`
> and return True if all the expressions in
