La divisione è definita se e solo se il divisore è non nullo: b != 2/3.
55) (9*b^4 - 6*b^3 + 2/3) : (3*b/4 - 1/2) =
= 9*(b^4 - 2*b^3/3 + 2/27) : (3/4)*(b - 2/3) = NB: "(3/4)*" servirà alla fine
= 12*((b - 2/3)*b^3 + 2/27) : (b - 2/3) =
= 12*((b - 2/3)*b^3/(b - 2/3) + (2/27)/(b - 2/3)) =
= 12*(b^3 + (2/27)/(b - 2/3)) =
= 12*b^3 + (8/9)/(b - 2/3)
quindi
* 9*b^4 - 6*b^3 + 2/3 = (3*b/4 - 1/2)*12*b^3 + (3/4)*8/9
* quoziente = 12*b^3
* resto = 2/3
CONTROPROVA nel paragrafo "Exact result" al link
http://www.wolframalpha.com/input?i=polynomialQuotientRemainder%5B9*b%5E4-6*b%5E3--2%2F3%2C3*b%2F4-1%2F2%2Cb%5D