type/CommAlgebra
type for algebras of commutative polynomials
type/OreAlgebra
type for all commutative and skew algebras
type/SkewAlgebra
type for simple skew algebras
type/SkewParamAlgebra
type for other skew algebras
type/SkewPolynomial
type for skew polynomials
|
Calling Sequence
|
|
type(A, CommAlgebra)
type(A, OreAlgebra)
type(A, SkewAlgebra)
type(A, SkewParamAlgebra)
type(P, SkewPolynomial(A))
|
|
Parameters
|
|
A
|
-
|
table that denotes an algebra
|
P
|
-
|
polynomial in such an algebra
|
|
|
|
|
Description
|
|
|
for constants p, r, and s only. This is the case for the commutation types delta, diff, euler, shift, and their dual forms.
|
•
|
The type SkewParamAlgebra checks if the algebra A is built by using Ore_algebra[skew_algebra] with commutations of the form
|
|
for constants p, q, r, and s with at least one commutation with . This is the case for the commutation types qdelta, qdiff, qdilat, qshift, `shift+qshift`, and their dual forms.
|
•
|
The type OreAlgebra checks if the algebra A is any of the above.
|
•
|
The type SkewPolynomial checks if the membership of the polynomial P in the algebra A. When this algebra allows rational function coefficients, a polynomial with rational function coefficients is a member of the algebra.
|
|
|
Examples
|
|
Not an algebra!
>
|
|
A commutative algebra of polynomials.
>
|
|
>
|
|
>
|
|
>
|
|
Skew algebras of linear differential operators.
>
|
|
>
|
|
>
|
|
>
|
|
>
|
|
>
|
|
Skew algebras of linear q-recurrence operators.
>
|
|
>
|
|
>
|
|
|
|
|
|
|
|