|
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.
|