 
 
 
11.8.1  Expanding and reducing
The normal command expands and
reduces expressions in ℤ/pℤ[x].
(See also Section 10.1.2.)
- 
normal takes
expr, a modular expression.
- normal(expr) returns the expanded
irreducible representation of expr.
Example
| normal(((2*x^2+12)*(5*x-4))%13) | 
|  | | |  | ⎛ ⎝
 | ⎛ ⎝
 | −3 | ⎞ ⎠
 | %13 | ⎞ ⎠
 | x3+ | ⎛ ⎝
 | 5%13 | ⎞ ⎠
 | x2+ | ⎛ ⎝
 | ⎛ ⎝
 | −5 | ⎞ ⎠
 | %13 | ⎞ ⎠
 | x+4%13 | 
 |  |  |  |  |  |  |  |  |  |  | 
 | 
 
 
