Home Online Manual
Top
Back: blowUp2
Forward: resolve
FastBack:
FastForward:
Up: resolve_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.13.3 Center

Procedure from library resolve.lib (see resolve_lib).

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

Example:
 
LIB "resolve.lib";
ring R=0,(x,y),dp;
ideal J=x2-y3;
Center(J);
==> _[1]=y
==> _[2]=x