AdjointRing(A)

AdjointOrePoly(Poly, A)

Define the shift polynomial ring.

Construct the adjoint Ore polynomial ring B of A.

Construct the adjoint Ore polynomial ring C of B. The ring C must be the same as A.

Define two Ore polynomials P1 and P2 in A.

Compute the adjoint operators of P1 and P2 in A.

Multiply adjP1 and adjP2 in the adjoint B of A.

OreTools, OreTools/OreAlgebra, OreTools/OrePoly, OreTools[Properties], OreTools[SetOreRing]