Ore algebras can be defined by mixing predefined commutation types and user-defined commutation types.

Currently available predefined types are introduced by the following syntaxes.

Differential operators: $\mathrm{diff}=\left[\mathrm{Dx}\,x\right]$, $\mathrm{euler}=\left[\mathrm{Tx}\,x\right]$, $\mathrm{loc\_diff}=\left[\mathrm{Dx}\,x\right]$ (followed by $\mathrm{localization}=\left[u\,p\right]$).

Shift and difference operators: $\mathrm{\delta }=\left[\mathrm{Dx}\,x\right]$, $\mathrm{shift}=\left[\mathrm{Sx}\,x\right]$.

_q_-Calculus operators: $\mathrm{qdelta}=\left[\mathrm{Dx}\,q^x\right]$, $\mathrm{qdiff}=\left[\mathrm{Dx}\,x\,q\right]$, $\mathrm{qdilat}=\left[\mathrm{Hx}\,x\,q\right]$, $\mathrm{qdilat}=\left[\mathrm{Dx}\,\mathrm{qx}=q^x\right]$, $\mathrm{qshift}=\left[\mathrm{Sx}\,q^x\right]$, $\mathrm{shift+qshift}=\left[\mathrm{Sx}\,q^x\right]$.

Dual types dual_delta, dual_diff, dual_euler, dual_qdelta, dual_qdiff, dual_qdilat, dual_qshift, dual_shift, and `dual_shift+dual_qshift` are also available.

The delta type introduces a finite difference operator Dx that commutes with the operator of multiplication by x as:

This operator acts on Maple objects as:

Correspondingly, the dual_delta type is defined by the commutation:

This operator acts on Maple objects as:

The diff type introduces a differential operator Dx that commutes with the operator of multiplication by x as:

This operator acts on Maple objects as:

Correspondingly, the dual_diff type is defined by the commutation:

This operator acts on Maple objects as:

The euler type introduces an Eulerian operator, that is, x times the differential operator with respect to x, that commutes with the operator of multiplication by x as:

This operator acts on Maple objects as:

Correspondingly, the dual_euler type is defined by the commutation:

This operator acts on Maple objects as:

The loc_diff type introduces a differential operator Dx that commutes with the operators x and u of multiplication by x and 1/p, respectively, as:

This operator acts on Maple objects as:

Several loc_diff commutations can appear in the same algebra.  However, they must all be related to the same localization option and there can be at most one such option. Not all indeterminates involved in the inverted polynomial p can appear rationally in the algebra.  At least one of them must be declared polynomial by using the polynom option.

The qdelta type introduces a q-calculus operator Dx that commutes with the operator q^x of multiplication by q^x as:

This operator acts on Maple objects as:

Correspondingly, the dual_qdelta type is defined by the commutation:

This operator acts on Maple objects as:

The qdiff type introduces a q-calculus operator Dx that commutes with the operator x of multiplication by x as:

This operator acts on Maple objects as:

Correspondingly, the dual_qdiff type is defined by the commutation:

This operator acts on Maple objects as:

With the syntax $\mathrm{qdilat}=\left[\mathrm{Hx}\,x\,q\right]$, the qdilat type introduces a q-calculus operator Hx that commutes with the operator x of multiplication by q^x as:

This operator acts on Maple objects as:

With the alternative syntax $\mathrm{qdilat}=\left[\mathrm{Sx}\,\mathrm{qx}=q^x\right]$, the qdilat type introduces a q-calculus operator Sx that acts like the operator of the qshift section below, but with a notation for the operator of multiplication by $q^x$ that is the name qx instead of the power $q^x$.  This syntax is better suited to calculations with the Groebner package.  The operator Sx commutes with the operator qx as:

This operator acts on Maple objects as:

while the operator qx does as:

Correspondingly, the dual_qdilat type is defined by the commutation:

This operator acts on Maple objects as:

while the operator qx does as:

The qshift type introduces a q-calculus operator Sx that commutes with the operator q^x of multiplication by q^x as:

This operator acts on Maple objects as:

Correspondingly, the dual_qshift type is defined by the commutation:

This operator acts on Maple objects as:

The shift type introduces a shift operator $\mathrm{Sx}=\mathrm{Dx}+1$ that commutes with the operator of multiplication by x as:

This operator acts on Maple objects as:

Correspondingly, the dual_shift type is defined by the commutation:

This operator acts on Maple objects as:

The related type `shift+dual_shift` introduces both operators above, namely the forward shift operator Sx and the backward shift operator Tx, which commute with the operator of multiplication by x as:

These operators acts on Maple objects as:

Note: In the current implementation, the rules $\mathrm{Sx}\mathrm{Tx}=1$ and $\mathrm{Sx}\mathrm{Tx}=1$ are not recognized.

The `shift+qshift` type introduces a q-calculus operator Sx that commutes with the operators x and q^x of multiplication by x and q^x respectively as:

This operator acts on Maple objects as:

Correspondingly, the `dual_shift+dual_qshift` type is defined by the commutations:

This operator acts on Maple objects as:

User-defined types are introduced by the syntax.

where d is the pseudo-differentiation operator, x is the operator of multiplication by x, and sigma and delta are functions over polynomials in x.  See examples below.  No action on Maple objects is predefined.

Not all combinations of commutations are supported. More specifically, the indeterminates x_i and d_i must appear in a single list l_j only, except from the parameters q used for q-calculus.

$\mathrm{with}\left(\mathrm{Ore\_algebra}\right)\:$

$A≔\mathrm{skew\_algebra}\left(\mathrm{shift}=\left[\mathrm{Sn}\,n\right]\right)\:$

$\mathrm{skew\_product}\left(\mathrm{Sn}\,n\,A\right)$

$\left(n+1\right)\mathrm{Sn}$

$\mathrm{applyopr}\left(\mathrm{Sn}\,u\left(n\right)\,A\right)$

$u\left(n+1\right)$

$A≔\mathrm{skew\_algebra}\left(\mathrm{dual\_shift}=\left[\mathrm{Sn}\,n\right]\right)\:$

$\mathrm{skew\_product}\left(\mathrm{Sn}\,n\,A\right)$

$\left(n-1\right)\mathrm{Sn}$

$\mathrm{applyopr}\left(\mathrm{Sn}\,u\left(n\right)\,A\right)$

$u\left(n-1\right)$

$p≔1-x^2-y^2\:$

$A≔\mathrm{skew\_algebra}\left(\mathrm{loc\_diff}=\left[\mathrm{Dx}\,x\right]\,\mathrm{loc\_diff}=\left[\mathrm{Dy}\,y\right]\,\mathrm{polynom}=\left\{x\,y\right\}\,\mathrm{localization}=\left[u\,p\right]\right)\:$

$\mathrm{skew\_product}\left(\mathrm{Dx}\,x\,A\right)$

$\mathrm{Dx}x+1$

$\mathrm{skew\_product}\left(\mathrm{Dx}\,u\,A\right)$

$2u^{2}x+\mathrm{Dx}u$

$\mathrm{skew\_product}\left(\mathrm{Dx}\,ux\,A\right)$

$2u^2{x}^2+ux\mathrm{Dx}+u$

$\mathrm{skew\_product}\left(\mathrm{Dy}\,y\,A\right)$

$y\mathrm{Dy}+1$

$\mathrm{skew\_product}\left(\mathrm{Dy}\,u\,A\right)$

$2u^{2}y+u\mathrm{Dy}$

$\mathrm{skew\_product}\left(\mathrm{Dy}\,uy\,A\right)$

$2u^2{y}^2+uy\mathrm{Dy}+u$

$\mathrm{map}\left(\mathrm{applyopr}\,\left[x\,y\,u\,\mathrm{Dx}\,\mathrm{Dy}\right]\,f\left(x\,y\right)\,A\right)$

$\left[xf\left(x\,y\right)\,yf\left(x\,y\right)\,\frac{f\left(x\,y\right)}{-x^2-y^2+1}\,\frac{\partial }{\partial x}f\left(x\,y\right)\,\frac{\partial }{\partial y}f\left(x\,y\right)\right]$

A:=skew_algebra(user=[Dx,y,p->p,
    proc(p,n) local q;
        q:=p; to n do q:=y*diff(q,y) end do; q
    end proc]):

$\mathrm{skew\_product}\left(\mathrm{Dx}\,y\,A\right)$

$y\mathrm{Dx}+y$

$\mathrm{skew\_product}\left({\mathrm{Dx}}^3\,y\,A\right)$

$y{\mathrm{Dx}}^3+3y{\mathrm{Dx}}^2+3y\mathrm{Dx}+y$

$\mathrm{skew\_product}\left(\mathrm{Dx}\,y^5\,A\right)$

$y^5\mathrm{Dx}+5y^5$

A:=skew_algebra(user=[M,x,proc(p,n) subs(x=x^(2^n),p) end proc,
    proc(p,n) `if`(n=0,p,0) end proc]):

$\mathrm{skew\_product}\left(M\,x\,A\right)$

$x^{2}M$

$\mathrm{skew\_product}\left(M^5\,x\,A\right)$

$x^{32}{M}^5$

$\mathrm{skew\_product}\left(M\,5x^3+x\,A\right)$

$\left(5x^6+x^2\right)M$