Factorisation dans ℤ/pℤ[x] : Factor

### 6.35.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)`