|
OreTools[AdjointRing] - construct the adjoint of a given Ore polynomial ring
OreTools[AdjointOrePoly] - compute the adjoint Ore polynomial in a given Ore ring
|
|
Calling Sequence
|
|
AdjointRing(A)
AdjointOrePoly(Poly, A)
|
|
|
Parameters
|
|
|
Poly
|
-
|
Ore polynomial; to define an Ore polynomial, use the OrePoly structure.
|
|
A
|
-
|
Ore ring; to define an Ore ring, use the SetOreRing function.
|
|
|
|
|
|
Description
|
|
|
•
|
The AdjointRing(A) calling sequence constructs the adjoint of A.
|
|
•
|
The AdjointOrePoly(Poly, A) calling sequence computes the adjoint Ore polynomial of the polynomial Poly in A.
|
|
•
|
An Ore polynomial ring is defined vi SetOreRing. For a description of the adjoint of an Ore polynomial ring, see OreAlgebra.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
![with(OreTools[Properties])](/support/helpjp/helpview.aspx?si=7365/file02440/math90.png)
|
Define the shift polynomial ring.
|
>
|
|
|
| (1) |
Construct the adjoint Ore polynomial ring B of A.
|
>
|
|
|
| (2) |
Construct the adjoint Ore polynomial ring C of B. The ring C must be the same as A.
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
>
|
|
|
| (5) |
|
>
|
|
|
| (6) |
Define two Ore polynomials P1 and P2 in A.
|
>
|
 
|
|
| (7) |
Compute the adjoint operators of P1 and P2 in A.
|
>
|
|
|
| (8) |
|
>
|
|
|
| (9) |
Multiply adjP1 and adjP2 in the adjoint B of A.
|
>
|
|
|
| (10) |
|
|
Download Help Document
Was this information helpful?
