Top
Back: ncRelations
Forward: isNC
FastBack: ncdecomp_lib
FastForward: qmatrix_lib
Up: nctools_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.5.7.0. isCentral
Procedure from library nctools.lib (see nctools_lib).

Usage:
isCentral(p); p poly

Return:
int, 1 if p commutes with all variables and 0 otherwise

Purpose:
check whether p is central in a basering (that is, commutes with every generator of a ring)

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

Example:
 
LIB "nctools.lib";
ring r=0,(x,y,z),dp;
matrix D[3][3]=0;
D[1,2]=-z;
D[1,3]=2*x;
D[2,3]=-2*y;
ncalgebra(1,D); // this is U(sl_2)
poly c = 4*x*y+z^2-2*z;
printlevel = 0;
isCentral(c);
==> 1
poly h = x*c;
printlevel = 1;
isCentral(h);
==> Noncentral at: y
==> Noncentral at: z
==> 0


Top Back: ncRelations Forward: isNC FastBack: ncdecomp_lib FastForward: qmatrix_lib Up: nctools_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-0-1, October 2005, generated by texi2html.