|
Ore_algebra[skew_product] - inner product of an Ore algebra
Ore_algebra[skew_power] - power of an Ore algebra
|
|
Calling Sequence
|
|
skew_product(w1, w2, A)
skew_power(w, n, A)
|
|
|
Parameters
|
|
|
w1, w2, w
|
-
|
skew polynomials of the Ore algebra A
|
|
A
|
-
|
Ore algebra table
|
|
n
|
-
|
non-negative integer
|
|
|
|
|
|
Description
|
|
|
•
|
The skew_product(w1, w2, A) function computes the noncommutative product  (in this order) in the Ore algebra A.
|
|
•
|
The skew_power(w, n, A) function computes the nth power of w in the Ore algebra A.
|
|
•
|
These functions are part of the Ore_algebra package, and so can be used in the form skew_product(..) only after performing the command with(Ore_algebra) or with(Ore_algebra,skew_product). The functions can always be accessed in the long form Ore_algebra[skew_product](..).
|
|
|
|
Examples
|
|
|
>
|
|
Algebras of difference operators:
|
>
|
![A := shift_algebra([Sn, n])](/support/helpjp/helpview.aspx?si=7110/file02470/math124.png)
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
Algebras of differential operators:
|
>
|
![A := diff_algebra([Dx, x], [Dy, y])](/support/helpjp/helpview.aspx?si=7110/file02470/math144.png)
|
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
>
|
|
|
| (5) |
|
>
|
|
|
| (6) |
Mixed differential-difference case:
|
>
|
![A := skew_algebra(diff = [Dx, x], shift = [Sn, n])](/support/helpjp/helpview.aspx?si=7110/file02470/math178.png)
|
|
>
|
|
|
| (7) |
|
>
|
|
|
| (8) |
|
>
|
|
|
| (9) |
|
>
|
|
|
| (10) |
|
|
Download Help Document
Was this information helpful?
