|
 |
 |
 |
 |
 |
 |
 |
 |
 |
7.7.15.0. isWeyl
Procedure from librarynctools.lib (see nctools_lib).
- Usage:
- isWeyl();
- Return:
- int, 1 if basering is a Weyl algebra, or 0 otherwise
- Purpose:
- check whether basering is a Weyl algebra
LIB "nctools.lib"; ring r = 0,(a,b,c,d),dp; isWeyl(); ==> 0 def D = Weyl(1); setring D; //make from r a Weyl algebra b*a; ==> ab+1 isWeyl(); ==> 1 ring t = 0,(Dx,x,y,Dy),dp; matrix M[4][4]; M[1,2]=-1; M[3,4]=1; def T = nc_algebra(1,M); setring T; isWeyl(); ==> 1 |