Home Online Manual
Top
Back: GKZsystem
Forward: CentralQuot
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.5.11 ncdecomp_lib

Library:
ncdecomp.lib
Purpose:
Decomposition of a module into its central characters
Authors:
Viktor Levandovskyy, [email protected].

Overview:

This library presents algorithms for the central character decomposition of a module,
i.e. a decomposition into generalized weight modules with respect to the center.
Based on ideas of O. Khomenko and V. Levandovskyy (see the article [L2] in the
References for details).

Procedures:

7.5.11.0. CentralQuot  central quotient M:G,
7.5.11.0. CentralSaturation  central saturation ((M:T):...):T) ( = M:T^infinity),
7.5.11.0. CenCharDec  decomposition of I into central characters w.r.t. C
7.5.11.0. IntersectWithSub  intersection of M with the subalgebra, generated by pairwise commutative elements of Z.