factor a comme argument un polynôme à coefficients dans ℤ/pℤ. factor factorise ce polynôme dans ℤ/pℤ[x] (p doit être premier). On tape :
^
On obtient :