|
7.7.13.0. makeWeyl
Procedure from library nctools.lib (see nctools_lib).
- Usage:
- makeWeyl(n,[p]); n an integer, n>0; p an optional integer (field characteristic)
- Return:
- ring
- Purpose:
- create the n-th Weyl algebra over the rationals Q or F_p
- Note:
- activate this ring with the "setring" command.
The presentation of an n-th Weyl algebra is classical: D(i)x(i)=x(i)D(i)+1,
where x(i) correspond to coordinates and D(i) to partial differentiations, i=1,...,n.
If p is not prime, the next larger prime number will be used.
Example:
See also:
Weyl.
|