Développer et réduire : normal

normal a comme argument une expression polynomiale.
normal développe et réduit cette expression dans Z/pZ[x].
On tape :

normal(((2*x^2+12)*( 5*x-4))% 13)

On obtient :

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