Home Online Manual
Top
Back: moduloSlim
Forward: isCentral
FastBack:
FastForward:
Up: nctools_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.5.14.0. ncRelations
Procedure from library nctools.lib (see nctools_lib).

Usage:
ncRelations(r); r a ring

Return:
list L with two elements, both elements are of type matrix:
L[1] = matrix of coefficients C,
L[2] = matrix of polynomials D

Purpose:
recover the noncommutative relations via matrices C and D from a noncommutative ring

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       
def S=nc_algebra(C,D);setring S; S;
==> // coefficients: QQ
==> // 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(S);
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       
See also: G-algebras; ringlist.