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