Expanding and reducing: normal

### 6.34.1 Expanding and reducing: normal

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

- normal takes one argument:
  expr, a modular expression.
- normal(expr) returns the expanded irreducible representation of expr.

Example.
Input:

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

Output:

⎛ ⎝ | ⎛ ⎝ | −3 | ⎞ ⎠ | %13 | ⎞ ⎠ | x3+ | ⎛ ⎝ | 5%13 | ⎞ ⎠ | x2+ | ⎛ ⎝ | ⎛ ⎝ | −5 | ⎞ ⎠ | %13 | ⎞ ⎠ | x+4%13