Top
Back: ncdecomp_lib
Forward: CentralSaturation
FastBack: ncalg_lib
FastForward: nctools_lib
Up: ncdecomp_lib
Top: Plural Manual
Contents: Table of Contents
Index: Index
About: About this document

B.6.0.1 CentralQuot

Procedure from library ncdecomp.lib (see ncdecomp_lib).

Usage:
CentralQuot(M, T), for a module M and an ideal T,

Return:
module of the central quotient I:G,

Note:
the output module is not necessarily a Groebner basis,

Example:
 
LIB "ncdecomp.lib";
option(returnSB);
def a = sl2();
setring a;
ideal I = e3,f3,h3-4*h;
I = std(I);
poly C=4*e*f+h^2-2*h;
ideal G = (C-8)*(C-24);
ideal R = CentralQuot(I,G);
R;
==> R[1]=h
==> R[2]=f
==> R[3]=e
CentralSaturation, CenCharDec


Top Back: ncdecomp_lib Forward: CentralSaturation FastBack: ncalg_lib FastForward: nctools_lib Up: ncdecomp_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.