Factoring over ℤ/pℤ[x]

### 11.9.14 Factoring over ℤ/pℤ[x]

The factor command factors polynomials with coefficients in ℤ/pℤ. (See also Section 9.1.10.)

- factor takes P, a polynomial with coefficients in ℤ/pℤ (p must be prime).
- factor(P) returns P in factored form.

#### Example

factor((-3*x^3+5*x^2-5*x+4)%13)

| ⎛ ⎝ | ⎛ ⎝ | −3 | ⎞ ⎠ | %13 | ⎞ ⎠ | ⎛ ⎝ | ⎛ ⎝ | 1%13 | ⎞ ⎠ | x+ | ⎛ ⎝ | −6 | ⎞ ⎠ | %13 | ⎞ ⎠ | ⎛ ⎝ | ⎛ ⎝ | 1%13 | ⎞ ⎠ | x2+6%13 | ⎞ ⎠