|  |  D.4.27.20 equidimMaxEHV Procedure from libraryprimdec.lib(see  primdec_lib).
 
Example:Usage:
equidimMaxEHV(I); I ideal
Return:
ideal, the equidimensional component (of maximal dimension) of I.
Note:
Uses algorithm of Eisenbud, Huneke and Vasconcelos.
 |  | LIB "primdec.lib";
ring  r = 0,(x,y,z),dp;
ideal i=intersect(ideal(z),ideal(x,y),ideal(x2,z2),ideal(x5,y5,z5));
equidimMaxEHV(i);
==> _[1]=z
 | 
 
 |