Overview of the Ore_algebra Package
List of Ore_algebra Package Commands
The Ore_algebra package is a collection of commands for doing basic calculations in algebras of linear operators called Ore algebras.
Examples of Ore algebras are algebras of differential operators, of shift or difference operators, and of q-dilation or q-difference operators, in each case with rational or polynomial coefficients.
An Ore algebra is an algebra of noncommutative polynomials in the indeterminates x1,...,xp,D1,...,Dq ruled by the following commutation relations.
Any other pair of indeterminates commute. The sigma_is are algebra endomorphisms and the delta_is are module endomorphisms, with the additional property:
This has to be viewed as a skew variant of the Leibniz rule.
Note that Ore algebras in the linear operators D1,...,Dp with polynomial coefficients in x1,...,xp reduce to Weyl algebras (differential case) when the sigma_i and the delta_i satisfy:
Each command in the Ore_algebra package can be accessed by using either the long form or the short form of the command name in the command calling sequence.
The following is a list of available commands.
Building an algebra
Calculations in an algebra
Action on Maple objects
To display the help page for a particular Ore_algebra command, see Getting Help with a Command in a Package.
The skew_algebra, diff_algebra, shift_algebra, and poly_algebra commands declare new algebras to work with. They return a table needed by other Ore_algebra procedures. The skew_algebra command creates a general Ore algebra. The other commands are more specific and simplified alternatives to create algebras based on differential operators (see Weyl algebras), on shift or q-shift operators and commutative algebras of polynomials, respectively.
The skew_product and skew_power commands implement the arithmetic of Ore algebras. Skew polynomials in an Ore algebra are represented by commutative polynomials of Maple. The sum of skew polynomials is performed using the Maple `+` function. Their product, however, is performed using the skew_product command. Correspondingly, powers of skew polynomials are computed using the skew_power command.
The rand_skew_poly command generates a random element of an Ore algebra.
The applyopr command applies an operator of an Ore algebra to a function.
The annihilators, skew_pdiv, skew_prem, skew_gcdex and skew_elim commands implement a skew Euclidean algorithm in Ore algebras and provide with related functionalities, such as computing remainders, gcds, (limited) elimination. The annihilators command makes it possible to compute a lcm of two skew polynomials. The skew_pdiv command computes pseudo-divisions in an Ore algebra, while skew_prem simply computes corresponding pseudo-remainders. The skew_gcdex command performs extended gcd computation in an Ore algebra. When possible, the skew_elim command eliminates an indeterminate between two skew polynomials.
Compute the following sum of binomials:
Eliminate the index of summation k between operators that define nk.
A ≔ skew_algebra⁡shift=Sn,n,δ=Dk,k,polynom=k:
el ≔ skew_elim⁡n+1−k⁢Sn−n+1,k+1⁢Dk+n−2⁢k+1,k,A:
This gives the following first-order recurrence satisfied by the sum.
co ≔ collect⁡primpart⁡subs⁡Dk=0,el,Sn,Sn,factor
which is solved:
The sum of squares of binomials.
Eliminate the index of summation k between operators that define h.
el ≔ skew_elim⁡n+1−k2⁢Sn−n+12,k+12⁢Dk−n+1⁢n−2⁢k−1,k,A:
Download Help Document