normal takes as argument a polynomial expression. normal expand and reduce this expression in ℤ/pℤ[x]. Input :
^
Output :