• PolynomialRemainder[p, q, x] gives the remainder from dividing p by q, treated as polynomials in x.
• The degree of the result in x is guaranteed to be smaller than the degree of q.
• Unlike PolynomialMod
performs divisions in generating its results.
• New in Version 1.