Top
Back: CentralSaturation
Forward: IntersectWithSub
FastBack: ncalg_lib
FastForward: ncfactor_lib
Up: ncdecomp_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.7.11.0. CenCharDec
Procedure from library ncdecomp.lib (see ncdecomp_lib).

Usage:
CenCharDec(I, C); I a module, C an ideal

Assume:
C consists of generators of the center of the base ring

Return:
a list L, where each entry consists of three records (if a finite decomposition exists)
L[*][1] ('ideal' type), the central character as a maximal ideal in the center,
L[*][2] ('module' type), the Groebner basis of the weight module, corresponding to the character in L[*][1],
L[*][3] ('int' type) is the vector space dimension of the weight module (-1 in case of infinite dimension);

Purpose:
compute a finite decomposition of C into central characters or determine that there is no finite decomposition

Note:
actual decomposition is the sum of L[i][2] above;
some modules have no finite decomposition (in such case one gets warning message)
The function central in central.lib may be used to obtain C, when needed.

Example:
 
See also: CentralQuot; CentralSaturation.


Top Back: CentralSaturation Forward: IntersectWithSub FastBack: ncalg_lib FastForward: ncfactor_lib Up: ncdecomp_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.