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