|
7.5.3.0. GKdim
Procedure from library gkdim.lib (see gkdim_lib).
- Usage:
- GKdim(L); L is a left ideal/module/matrix
- Return:
- int
- Purpose:
- compute the Gelfand-Kirillov dimension of the factor-module, whose presentation is given by L
- Note:
- if the factor-module is zero, -1 is returned
Example:
| LIB "gkdim.lib";
ring r = 0,(x,y,z),Dp;
matrix C[3][3]=0,1,1,0,0,-1,0,0,0;
matrix D[3][3]=0,0,0,0,0,x;
ncalgebra(C,D);
r;
==> // characteristic : 0
==> // number of vars : 3
==> // block 1 : ordering Dp
==> // : names x y z
==> // block 2 : ordering C
==> // noncommutative relations:
==> // zy=-yz+x
ideal I=x;
GKdim(I);
==> 2
ideal J=x2,y;
GKdim(J);
==> 1
module M=[x2,y,1],[x,y2,0];
GKdim(M);
==> 3
ideal A = x,y,z;
GKdim(A);
==> 0
ideal B = 1;
GKdim(B);
==> -1
|
|