|
7.7.13.0. superCommutative
Procedure from library nctools.lib (see nctools_lib).
- Usage:
- superCommutative([b,[e, [Q]]]);
- Return:
- qring
- Purpose:
- create a super-commutative algebra (as a GR-algebra) over a basering,
- Note:
- activate this qring with the "setring" command.
- Note:
- if b==e then the resulting ring is commutative.
By default, b=1, e=nvars(basering), Q=0 .
- Theory:
- given a basering, this procedure introduces the anti-commutative relations
var(j)var(i)=-var(i)var(j) for all e>=j>i>=b and creates the quotient
of the anti-commutative algebra modulo the two-sided ideal, generated by
x(b)^2, ..., x(e)^2[ + Q]
- Display:
- If
printlevel > 1, warning debug messages will be printed
Example:
|