|
B.7.0.8 Exterior
Procedure from library nctools.lib (see nctools_lib).
- Return:
- qring, the exterior algebra of a basering
- Note:
- you have to activate this qring with the "setring" command
Example:
| LIB "nctools.lib";
ring R = 0,(x(1..3)),dp;
def ER = Exterior();
setring ER;
ER;
==> // characteristic : 0
==> // number of vars : 3
==> // block 1 : ordering dp
==> // : names x(1) x(2) x(3)
==> // block 2 : ordering C
==> // noncommutative relations:
==> // x(2)x(1)=-x(1)*x(2)
==> // x(3)x(1)=-x(1)*x(3)
==> // x(3)x(2)=-x(2)*x(3)
==> // quotient ring from ideal
==> _[1]=x(3)^2
==> _[2]=x(2)^2
==> _[3]=x(1)^2
|
|