PolynomialQuotientRemainder[x^2 + x + 1 , a x + b , x]