
D.4.7.14 zerodec
Procedure from library primdec.lib (see primdec_lib).
 Usage:
 zerodec(I); I ideal
 Assume:
 I is zerodimensional, the characteristic of the ground field is 0
 Return:
 list of primary ideals, the zerodimensional decomposition of I
 Note:
 The algorithm (of Monico), works well only for a small total number
of solutions (
vdim(std(I)) should be < 100) and without
parameters. In practice, it works also in large characteristic p>0
but may fail for small p.
If printlevel > 0 (default = 0) additional information is displayed.
Example:
 LIB "primdec.lib";
ring r = 0,(x,y),dp;
ideal i = x22,y22;
list pr = zerodec(i);
pr;
==> [1]:
==> _[1]=y22
==> _[2]=xy+2
==> _[3]=x22
==> [2]:
==> _[1]=y22
==> _[2]=xy2
==> _[3]=x22

