General::poly
The first two arguments in PolynomialQuotient are expected to be polynomials in the variable given in the third argument:
PolynomialQuotient[Sin[x], 1 + Sin[x], x]This shows valid arguments in PolynomialQuotient:
PolynomialQuotient[Sin[x], 1 + Sin[x], Sin[x]]