The normal command expands and reduces expressions in ℤ/pℤ[x]. (See also Section 6.12.13.)
Example. Input:
Output: