Section 3.2
Division of polynomials
For the polynomial ring R[X], where R = Q, R, C, or Z/pZ, with p prime, we introduce - similar to the integer case - division with remainder. In the integer case this involved comparing integers by their size. For polynomials the degree is the appropriate measure.
We denote the degree of the polynomial a by deg(a).
If all the coefficients of a polynomial a are equal to 0, then a = 0 (the zero polynomial). It is practical to define the degree of the zero polynomial to be -1.
A polynomial of degree 1 is also called a linear polynomial. A polynomial is said to be monic if its leading coefficient is equal to 1.
If the nonzero polynomial a has leading coefficient an and the nonzero polynomial b has leading coefficient bm, then the leading coefficient of ab is anbm as follows from the definition of the product. In that case