5.34.1 Expanding and reducing: normal
The normal command expands and reduces expressions in
ℤ/pℤ[x]. (See also Section 5.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
|