Changeset 2e5802 in git
 Timestamp:
 Aug 2, 2006, 11:24:56 AM (17 years ago)
 Branches:
 (u'spielwiese', 'd1b01e9d51ade4b46b745d3bada5c5f3696be3a8')
 Children:
 7d40d715e0f4d1e0069868bfa2a5c8eba154b452
 Parents:
 9ca07a59a4e1da5bcf71664bad4cdb2a0eb73a49
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Singular/LIB/resolve.lib
r9ca07a r2e5802 1 1 /////////////////////////////////////////////////////////////////////////////// 2 version="$Id: resolve.lib,v 1. 6 20060725 17:54:28Singular Exp $";2 version="$Id: resolve.lib,v 1.7 20060802 09:24:56 Singular Exp $"; 3 3 category="Commutative Algebra"; 4 4 info=" … … 101 101 proc blowUp(ideal J,ideal C,list #) 102 102 "USAGE: blowUp(J,C[,W][,E]); 103 @* J,C,W = ideals 104 @*E = list103 W,J,C = ideals, 104 E = list 105 105 ASSUME: J = ideal containing W ( W = 0 if not specified) 106 106 @* C = ideal containing J 107 107 @* E = list of smooth hypersurfaces (e.g. exceptional divisors) 108 COMPUTE: the blowing up of W in C, the exceptional locus, the strict transform 109 @* of J 110 RETURN: list of size at most size(C), 111 l[i] is a ring containing a basic object BO: 108 NOTE: W the ideal of the ambient space, C the ideal of the center of 109 the blowup and J the ideal of the variety 110 COMPUTE: the blowing up of W in C, the exceptional locus, the strict 111 transform of J and the blowup map 112 RETURN: list, say l, of size at most size(C), 113 l[i] is the affine ring corresponding to the ith chart 114 each l[i] contains the ideals 115  aS, ideal of the blownup ambient space 116  sT, ideal of the strict transform 117  eD, ideal of the exceptional divisor 118  bM, ideal corresponding to the blowup map 119 @*  120 l[i] contains also a list BO (basic object for the experts): 112 121 BO[1] an ideal, say Wi, defining the ambient space of the ith chart 113 122 of the blowing up … … 131 140 " 132 141 { 142 def S=basering; 133 143 ideal W; 134 144 list E; … … 165 175 list blow=blowUpBO(BO,C,0); 166 176 kill locaT; 177 int i; 178 for(i=1;i<=size(blow);i++) 179 { 180 def Q=blow[i]; 181 setring Q; 182 ideal aS=BO[1]; 183 ideal sT=BO[2]; 184 ideal eD=BO[4][size(BO[4])]; 185 ideal bM=BO[5]; 186 kill lastMap; 187 kill thisChart; 188 export(aS); 189 export(sT); 190 export(eD); 191 export(bM); 192 blow[i]=Q; 193 setring S; 194 kill Q; 195 } 167 196 return(blow); 168 197 } … … 176 205 def Q=blow[1]; 177 206 setring Q; 178 BO; 207 aS; 208 sT; 209 eD; 210 bM; 179 211 } 180 212 ///////////////////////////////////////////////////////////////////////////////
Note: See TracChangeset
for help on using the changeset viewer.