Singular Manual: dec1var

| #### D.4.19.7 dec1var Procedure from library `mprimdec.lib` (see mprimdec_lib). Usage: dec1var (N); zero-dimensional module N[, module check] Return: list l the minimal primary decomposition of a submodule N of R^s if nvars(R)=1 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=dec1var(N);
    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.1, 2025, generated by texi2html.