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
|
| | | | | | | | | | |
|