|
D.4.18.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
|
|