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