|
D.4.18.14 zerodec
Procedure from library primdec.lib (see primdec_lib).
- Usage:
- zerodec(I); I ideal
- Assume:
- I is zero-dimensional, the characteristic of the ground field is 0
- Return:
- list of primary ideals, the zero-dimensional 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:
|