Extend domain of polynomial check
Extend domain of polynomial check

When no shift operations are applied, hypergeometric series
of polynomial type may have a negative integer lower parameter b
together with a nonpositive integer upper parameter a > b.
The polynomial check is extended to accept these polynomials.
(a == b cannot occur.)

kaushik94/sympy,kaushik94/sympy,kaushik94/sympy