| #### D.4.18.5 zeroMod Procedure from library `mprimdec.lib` (see mprimdec_lib). Usage: zeroMod (N[, check]); zero-dimensional module N[, module check] Return: list l the minimal primary decomposition of a zero-dimensional module N, computed by a generalized version of the algorithm of Gianni, Trager and Zacharias Note: if the parameter check is given, only components not containing check are computed Example:
    LIB "mprimdec.lib";
    ring r=0,z,dp;
    module N=z*gen(1),(z-1)*gen(2),(z+1)*gen(3);
    list l=zeroMod(N);
    ==> 2
    l;
    ==> [1]:
    ==>    [1]:
    ==>       _[1]=gen(2)
    ==>       _[2]=gen(3)
    ==>       _[3]=z*gen(1)
    ==>    [2]:
    ==>       _[1]=z
    ==> [2]:
    ==>    [1]:
    ==>       _[1]=gen(1)
    ==>       _[2]=gen(3)
    ==>       _[3]=z*gen(2)-gen(2)
    ==>    [2]:
    ==>       _[1]=z-1
    ==> [3]:
    ==>    [1]:
    ==>       _[1]=gen(1)
    ==>       _[2]=gen(2)
    ==>       _[3]=z*gen(3)+gen(3)
    ==>    [2]:
    ==>       _[1]=z+1

User manual for Singular version 4.4.0, 2024, generated by texi2html.