Top
Back: primTest
Forward: indSet
FastBack: monomialideal_lib
FastForward: mregular_lib
Up: mprimdec_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.12.11 preComp

Procedure from library mprimdec.lib (see mprimdec_lib).

Usage:
preComp(N,check[, ann]); modul N, module check, ideal ann

Return:
(l, check) list l, module check
the elements of l consists of a triple with
[1] of type module [2] and [3] of type ideal
s.th. the intersection of the modules is equal to the zero-dimensional module N, furthermore l[j][3]=annil(l[j][1]) if l[j][2]!=0 then the module l[j][1] is primary
with associated prime l[j][2],
and check=intersect(check, l[j][1]) is computed

Note:
only components not containing check are computed;
if ann is given, ann is used instead of annil(N)

Example:
 


Top Back: primTest Forward: indSet FastBack: monomialideal_lib FastForward: mregular_lib Up: mprimdec_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.