|  |  D.5.8.3 Center Procedure from libraryresolve.lib(see  resolve_lib).
 
Example:Usage:
Center(J[,W][,E])
J,W = ideals
 E = list
 
Assume:
J = ideal containing W ( W = 0 if not specified)
E = list of smooth hypersurfaces (e.g. exceptional divisors)
 
Compute:
the center of the blow-up of J for the resolution algorithm
of [Bravo,Encinas,Villamayor]
Return:
ideal, describing the center
 |  | LIB "resolve.lib";
ring R=0,(x,y),dp;
ideal J=x2-y3;
Center(J);
==> _[1]=y
==> _[2]=x
 | 
 
 |