Top
Back: ncdecomp_lib
Forward: CentralSaturation
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. CentralQuot
Procedure from library ncdecomp.lib (see ncdecomp_lib).

Usage:
CentralQuot(M, G), M a module, G an ideal

Assume:
G is an ideal in the center of the base ring

Return:
module

Purpose:
compute the central quotient M:G

Theory:
for an ideal G of the center of an algebra and a submodule M of A^n,
the central quotient of M by G is defined to be
M:G := { v in A^n | z*v in M, for all z in G }.

Note:
the output module is not necessarily given in a Groebner basis

Example:
 
See also: CenCharDec; CentralSaturation.


Top Back: ncdecomp_lib Forward: CentralSaturation 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.