|
D.4.3.1 zeroRadical
Procedure from library assprimeszerodim.lib (see assprimeszerodim_lib).
- Usage:
- zeroRadical(I[, exactness]); I ideal, exactness int
- Assume:
- I is zero-dimensional in Q[variables]
- Return:
- the radical of I
- Note:
- A final test is applied to the result if exactness != 0 (default),
otherwise no final test is done.
Example:
|