Procedure from library
primdec.lib (see primdec_lib).
- zerodec(I); I ideal
- I is zero-dimensional, the characteristic of the ground field is 0
- list of primary ideals, the zero-dimensional decomposition of I
- 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.
ring r = 0,(x,y),dp;
ideal i = x2-2,y2-2;
list pr = zerodec(i);