|  |  D.5.2.1 re2squ Procedure from librarynumerDecom.lib(see  numerDecom_lib).
 
Example:Usage:
re2squ(ideal I);I ideal
Return:
ideal J defined by the polynomial system of the same number of polynomials and unknowns
 |  | LIB "numerDecom.lib";
ring r=0,(x,y,z),dp;
ideal I= x3+y4,z4+yx,xz+3x,x2y+z;
def D=re2squ(I);
setring D;
J;
 | 
 
 |