Top
Back: weightedRing
Forward: RootOfUnity
FastBack: ncdecomp_lib
FastForward: qmatrix_lib
Up: nctools_lib
Top: Plural Manual
Contents: Table of Contents
Index: Index
About: About this document

B.7.0.3 ndc

Procedure from library nctools.lib (see nctools_lib).

Usage:
ndc([v]); v an optional integer. If v!=0 procedure will be verbose

Return:
ideal of non-degeneracy conditions of the basering

Example:
 
LIB "nctools.lib";
ring r = (0,q1,q2),(x,y,z),dp;
matrix C[3][3];
C[1,2]=q2; C[1,3]=q1; C[2,3]=1;
matrix D[3][3];
D[1,2]=x; D[1,3]=z;
ncalgebra(C,D);
r;
==> //   characteristic : 0
==> //   2 parameter    : q1 q2 
==> //   minpoly        : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x y z 
==> //        block   2 : ordering C
==> //   noncommutative relations:
==> //    yx=(q2)*x*y+x
==> //    zx=(q1)*x*z+z
ideal j=ndc(); // the silent version
j;
==> j[1]=(-q2+1)*y*z-z
ideal i=ndc(1); // the verbose version
==> Processing degree : 1
==> 1 . 2 . 3 .
==> failed: (-q2+1)*y*z-z
==> done
i;
==> i[1]=(-q2+1)*y*z-z


Top Back: weightedRing Forward: RootOfUnity FastBack: ncdecomp_lib FastForward: qmatrix_lib Up: nctools_lib Top: Plural Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-1-99, August 2004, generated by texi2html.