PolynomialQuotientRemainder[x^4 − x^3 − x^2 + 1 , x^3 − 1 , x]