|
B.7.0.6 CreateWeyl
Procedure from library nctools.lib (see nctools_lib).
- Return:
- a ring, describing n-th Weyl algebra
- Note:
- You have to activate this ring with the "setring" command.
The presentation of n-th Weyl algebra is classical:
D(i)x(i)=x(i)D(i)+1
Example:
| LIB "nctools.lib";
def a = CreateWeyl(3);
setring a;
a;
==> // characteristic : 0
==> // number of vars : 6
==> // block 1 : ordering dp
==> // : names x(1) x(2) x(3) D(1) D(2) D(3)
==> // block 2 : ordering C
==> // noncommutative relations:
==> // D(1)x(1)=x(1)*D(1)+1
==> // D(2)x(2)=x(2)*D(2)+1
==> // D(3)x(3)=x(3)*D(3)+1
| Weyl
|