Top
Back: dmodoublext
Forward: is_cenSubbimodule
FastBack: purityfiltration_lib
FastForward: ratgb_lib
Up: nchomolog_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.7.17.0. is_cenBimodule
Procedure from library nchomolog.lib (see nchomolog_lib).

Usage:
is_cenBimodule(M); M module

Compute:
1, if a module, presented by M can be centralizing in the sense of Artin and 0 otherwise

Note:
only one condition for centralizing factor module can be checked algorithmically

Example:
 


Top Back: dmodoublext Forward: is_cenSubbimodule FastBack: purityfiltration_lib FastForward: ratgb_lib Up: nchomolog_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.