|
7.7.13.0. Exterior
Procedure from library nctools.lib (see nctools_lib).
- Usage:
- Exterior();
- Return:
- qring
- Purpose:
- create the exterior algebra of a basering
- Note:
- activate this qring with the "setring" command
- Theory:
- given a basering, this procedure introduces the anticommutative relations x(j)x(i)=-x(i)x(j) for all j>i,
moreover, creates a factor algebra modulo the two-sided ideal, generated by x(i)^2 for all i
Example:
|