|
7.7.13.0. Weyl
Procedure from library nctools.lib (see nctools_lib).
- Usage:
- Weyl()
- Return:
- ring
- Purpose:
- create a Weyl algebra structure on the basering
- Note:
- Activate this ring using the command
setring .
Assume the number of variables of a basering is 2k.
(if the number of variables is odd, an error message will be returned)
by default, the procedure treats first k variables as coordinates x_i and the last k as differentials d_i
if a non-zero optional argument is given, the procedure treats 2k variables of a basering as k pairs (x_i,d_i), i.e. variables with odd numbers are treated as coordinates and with even numbers as differentials
Example:
See also:
makeWeyl.
|