### 6.36.4 Factorisation dans ℤ/pℤ[x] : Factor

Factor a comme argument un polynôme.
Factor renvoie factor sans l’évaluer. Ensuite, factor factorise ce polynôme dans ℤ/pℤ[x] à condition que l’on ait p premier.
On tape en mode Xcas :

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

On obtient :

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

Attention Factor est surtout utile en mode Maple.
On tape alors en mode Maple :

Factor(-3*x`^`3+5*x`^`2-5*x+4) mod 13

On obtient :

-3*(1*x-6)*(1*x`^`2+6)