|
B.7.0.5 Weyl
Procedure from library nctools.lib (see nctools_lib).
- Usage:
- Weyl([p]); p an optional integer.
- Return:
- nothing. Creates Weyl algebra structure in a basering. By default
mimics (x(1..N),d(1..N)) realization. If p is given and is not zero,
uses (x(1),d(1),x(2),d(2),... ) realization.
Example:
| LIB "nctools.lib";
ring A1=0,(x(1..2),d(1..2)),dp;
Weyl();
A1;
==> // characteristic : 0
==> // number of vars : 4
==> // block 1 : ordering dp
==> // : names x(1) x(2) d(1) d(2)
==> // block 2 : ordering C
==> // noncommutative relations:
==> // d(1)x(1)=x(1)*d(1)+1
==> // d(2)x(2)=x(2)*d(2)+1
kill A1;
ring B1=0,(x1,d1,x2,d2),dp;
Weyl(1);
B1;
==> // characteristic : 0
==> // number of vars : 4
==> // block 1 : ordering dp
==> // : names x1 d1 x2 d2
==> // block 2 : ordering C
==> // noncommutative relations:
==> // d1x1=x1*d1+1
==> // d2x2=x2*d2+1
|
|