Top
Back: inCenter
Forward: involution_lib
FastBack: PLURAL libraries
FastForward: involution_lib
Up: center_lib
Top: Plural Manual
Contents: Table of Contents
Index: Index
About: About this document

B.1.0.4 inCentralizer

Procedure from library center.lib (see center_lib).

Usage:
inCentralizer(a, f); a poly/list/ideal, f poly

Return:
integer (1 if a in the centralizer(f), 0 otherwise)

Example:
 
LIB "center.lib";
ring r=0,(x,y,z),dp;
matrix D[3][3]=0;
D[1,2]=-z;
ncalgebra(1,D); // the Heisenberg algebra
poly f = x^2;
poly a = z; // lies in center
poly b = y^2;
inCentralizer(a, f);
==> 1
inCentralizer(b, f);
==> 0
list  l = list(1, a);
inCentralizer(l, f);
==> 1
ideal I = a, b;
inCentralizer(I, f);
==> 0


Top Back: inCenter Forward: involution_lib FastBack: PLURAL libraries FastForward: involution_lib Up: center_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.