Home Online Manual
Top
Back: weightedRing
Forward: Weyl
FastBack: ncpreim_lib
FastForward: perron_lib
Up: nctools_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.7.15.0. ndcond
Procedure from library nctools.lib (see nctools_lib).

Usage:
ndcond();

Return:
ideal

Purpose:
compute the non-degeneracy conditions of the basering

Note:
if printlevel > 0, the procedure displays intermediate information (by default, printlevel=0 )

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;
def S = nc_algebra(C,D); setring S;
S;
==> //   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=ndcond(); // the silent version
j;
==> j[1]=(-q2+1)*y*z-z
printlevel=1;
ideal i=ndcond(); // the verbose version
==> Processing degree : 1
==> 1 . 2 . 3 .
==> failed: (-q2+1)*y*z-z
==> done
i;
==> i[1]=(-q2+1)*y*z-z