Changeset 2fd30cb in git
- Timestamp:
- Dec 20, 2010, 9:30:02 PM (12 years ago)
- Branches:
- (u'spielwiese', '91fdef05f09f54b8d58d92a472e9c4a43aa4656f')
- Children:
- 9e269a0a45fc3fa26da7b381bc6593a5b4b7df4d
- Parents:
- 8f1d129f2b533ec4af12b38b87c5090b3559afa6
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/nctools.lib
r8f1d129 r2fd30cb 399 399 RETURN: ring 400 400 PURPOSE: define a finite dimensional algebra structure on a ring 401 NOTE: the matrix M is used to define the relations x( j)*x(i) = M[i,j] in the401 NOTE: the matrix M is used to define the relations x(i)*x(j) = M[i,j] in the 402 402 basering (by default) or in the optional ring r. 403 403 @* The procedure equips the ring with the noncommutative structure. … … 430 430 { 431 431 p=var(i)*var(j)-M[i,j]; 432 if ( ( size(I)==1) && (I[1]==0) ) { I=p; }432 if ( (ncols(I)==1) && (I[1]==0) ) { I=p; } 433 433 else { I=I,p; } 434 434 if (j>i) … … 443 443 } 444 444 C[i,j]=c; 445 D[i,j]= - M[j,i] +c*M[i,j];445 D[i,j]= M[j,i] -c*M[i,j]; 446 446 } 447 447 } … … 449 449 def save = basering; 450 450 def S = nc_algebra(C,D); setring S; 451 ideal fdQuot = fetch(save, D);451 ideal fdQuot = fetch(save,I); 452 452 export fdQuot; 453 453 return(S);
Note: See TracChangeset
for help on using the changeset viewer.