|
7.7.11.0. CentralSaturation
Procedure from library ncdecomp.lib (see ncdecomp_lib).
- Usage:
- CentralSaturation(M, T), for a module M and an ideal T
- Assume:
- T is an ideal in the center of the base ring
- Return:
- module
- Purpose:
- compute the central saturation of M by T, that is M:T^{\infty}, by repititive application of
CentralQuot
- Note:
- the output module is not necessarily a Groebner basis
Example:
See also:
CenCharDec;
CentralQuot.
|