polynomialQuotientRemainder[b*a^4-(b^2)*a^3+a+b,a^2+b,a]