Pensieve header: Testing “PolynomialQuotient”.

p=Expand[(((t+(t^(-1))))^5)(a+b+c)]

q=Expand[(((t+(t^(-1))))^2)]

PolynomialQuotient[p,q,t]

PolynomialQuotient[p,q,t] // Expand