|
B.7.0.11 NCRelations
Procedure from library nctools.lib (see nctools_lib).
- Usage:
- NCRelations(r); r a ring
- Return:
- a list with two elements, both elements are of type matrix and
represent the matrices C,D defining the non-commutative relations
of the G-algebra r
Example:
| LIB "nctools.lib";
ring r = 0,(x,y,z),dp;
matrix C[3][3]=0,1,2,0,0,-1,0,0,0;
print(C);
==> 0,1,2,
==> 0,0,-1,
==> 0,0,0
matrix D[3][3]=0,1,2y,0,0,-2x+y+1;
print(D);
==> 0,1,2y,
==> 0,0,-2x+y+1,
==> 0,0,0
ncalgebra(C,D);
r;
==> // characteristic : 0
==> // number of vars : 3
==> // block 1 : ordering dp
==> // : names x y z
==> // block 2 : ordering C
==> // noncommutative relations:
==> // yx=xy+1
==> // zx=2xz+2y
==> // zy=-yz-2x+y+1
def l=NCRelations(r);
print (l[1]);
==> 0,1,2,
==> 0,0,-1,
==> 0,0,0
print (l[2]);
==> 0,1,2y,
==> 0,0,-2x+y+1,
==> 0,0,0
|
|