|  |  D.4.3.1 zeroRadical Procedure from libraryassprimeszerodim.lib(see  assprimeszerodim_lib).
 
Example: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.
 |  | LIB "assprimeszerodim.lib";
ring R = 0, (x,y), dp;
ideal I = xy4-2xy2+x, x2-x, y4-2y2+1;
zeroRadical(I);
==> _[1]=y2-1
==> _[2]=x2-x
 | 
 
 |