|
7.7.13.0. makeHeisenberg
Procedure from library nctools.lib (see nctools_lib).
- Usage:
- makeHeisenberg(n, [p,d]); int n (setting 2n+1 variables), optional int p (field characteristic), optional int d (power of h in the commutator)
- Return:
- ring
- Purpose:
- create the n-th Heisenberg algebra in the variables x(1),y(1),...,x(n),y(n),h over the rationals Q or F_p with the relations
\forall\;i\in\{1,2,\ldots,n\}\;\;y(j)x(i) = x(i)y(j)+h^d.
- Note:
- activate this ring with the
setring command
If p is not prime, the next larger prime number will be used.
Example:
See also:
makeWeyl.
|