Changeset 2e5802 in git

Timestamp:

Aug 2, 2006, 11:24:56 AM (17 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'd1b01e9d51ade4b46b745d3bada5c5f3696be3a8')

Children:

7d40d715e0f4d1e0069868bfa2a5c8eba154b452

Parents:

9ca07a59a4e1da5bcf71664bad4cdb2a0eb73a49

Message:

*pfister: blowUp


git-svn-id: file:///usr/local/Singular/svn/trunk@9378 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/resolve.lib (modified) (5 diffs)

Singular/LIB/resolve.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: resolve.lib,v 1.6 2006-07-25 17:54:28 Singular Exp $";
+version="$Id: resolve.lib,v 1.7 2006-08-02 09:24:56 Singular Exp $";
 category="Commutative Algebra";
 info="
@@ -101 +101 @@
 proc blowUp(ideal J,ideal C,list #)
 "USAGE:  blowUp(J,C[,W][,E]);
-@*       J,C,W = ideals
-@*       E     = list
+         W,J,C = ideals,
+         E     = list
 ASSUME:  J  = ideal containing W ( W = 0 if not specified)
 @*       C  = ideal containing J
 @*       E  = list of smooth hypersurfaces (e.g. exceptional divisors)
-COMPUTE: the blowing up of W in C, the exceptional locus, the strict transform
-@*       of J
-RETURN:  list of size at most size(C),
-         l[i] is a ring containing a basic object BO:
+NOTE:    W the ideal of the ambient space, C the ideal of the center of
+         the blowup and J the ideal of the variety
+COMPUTE: the blowing up of W in C, the exceptional locus, the strict
+         transform of J and the blowup map
+RETURN:  list, say l, of size at most size(C),
+         l[i] is the affine ring corresponding to the i-th chart
+         each l[i] contains the ideals
+         - aS, ideal of the blownup ambient space
+         - sT, ideal of the strict transform
+         - eD, ideal of the exceptional divisor
+         - bM, ideal corresponding to the blowup map
+@*       -------------------------------------------------------------------
+         l[i] contains also a list BO (basic object for the experts):
          BO[1] an ideal, say Wi, defining the ambient space of the i-th chart
                of the blowing up
@@ -131 +140 @@
 "
 {
+  def S=basering;
   ideal W;
   list E;
@@ -165 +175 @@
   list blow=blowUpBO(BO,C,0);
   kill locaT;
+  int i;
+  for(i=1;i<=size(blow);i++)
+  {
+     def Q=blow[i];
+     setring Q;
+     ideal aS=BO[1];
+     ideal sT=BO[2];
+     ideal eD=BO[4][size(BO[4])];
+     ideal bM=BO[5];
+     kill lastMap;
+     kill thisChart;
+     export(aS);
+     export(sT);
+     export(eD);
+     export(bM);
+     blow[i]=Q;
+     setring S;
+     kill Q;
+  }
   return(blow);
 }
@@ -176 +205 @@
    def Q=blow[1];
    setring Q;
-   BO;
+   aS;
+   sT;
+   eD;
+   bM;
 }
 ///////////////////////////////////////////////////////////////////////////////