|
OreTools[Modular][ModularOrePoly] - compute the normal form of an Ore polynomial modulo a prime
OreTools[Modular][Content] - compute the content of an Ore polynomial modulo a prime
OreTools[Modular][Primitive] - compute the primitive part of an Ore polynomial modulo a prime
OreTools[Modular][MonicAssociate] - compute the left associate of an Ore polynomial modulo a prime
|
|
Calling Sequence
|
|
Modular[ModularOrePoly](Ore, p)
Modular[Content](Ore, p, 'pp')
Modular[Primitive](Ore, p, 'c')
Modular[MonicAssociate](Ore, p)
|
|
|
Parameters
|
|
|
Ore
|
-
|
Ore polynomial; to define an Ore polynomial, use the OrePoly structure
|
|
p
|
-
|
prime
|
|
c, pp
|
-
|
unevaluated names
|
|
|
|
|
|
Description
|
|
|
•
|
The Modular[ModularOrePoly](Ore, p) calling sequence computes the normal form of the Ore polynomial Ore modulo the prime p
|
|
•
|
The Modular[Content](Ore, p) calling sequence computes the content of the Ore polynomial Ore modulo the prime p. If the third (optional) argument is present, it is assigned the primitive part of Ore.
|
|
•
|
The Modular[Primitive](Ore, p) calling sequence computes the primitive part of Ore modulo the prime p. If the third (optional) argument is present, it is assigned the content of Ore.
|
|
•
|
The Modular[MonicAssociate](Ore, p) calling sequence computes the left monic associate of the Ore polynomial Ore modulo the prime p.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
| (1) |
|
>
|
](/support/helpjp/helpview.aspx?si=7502/file06382/math139.png)
|
|
| (2) |
|
>
|
](/support/helpjp/helpview.aspx?si=7502/file06382/math146.png)
|
|
| (3) |
|
>
|
|
|
| (4) |
|
>
|
](/support/helpjp/helpview.aspx?si=7502/file06382/math160.png)
|
|
| (5) |
|
>
|
|
|
| (6) |
|
>
|
(n^2-1, n+10), 11, 'pp')](/support/helpjp/helpview.aspx?si=7502/file06382/math174.png)
|
|
| (7) |
|
>
|
|
|
| (8) |
|
>
|
|
|
| (9) |
|
>
|
](/support/helpjp/helpview.aspx?si=7502/file06382/math195.png)
|
|
| (10) |
|
|
Download Help Document
Was this information helpful?
