Changeset 07329b2 in git
- Timestamp:
- Apr 20, 2004, 5:55:22 PM (20 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- fba8c99965071548d651b97a73bde4d5799246ca
- Parents:
- 369cb4ae1825da322cc9a5cbb039af393ac42610
- Location:
- Singular/LIB
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/deform.lib
r369cb4 r07329b2 1 // $Id: deform.lib,v 1. 29 2004-04-16 13:55:32 Singular Exp $1 // $Id: deform.lib,v 1.30 2004-04-20 15:55:22 Singular Exp $ 2 2 // author: Bernd Martin email: martin@math.tu-cottbus.de 3 3 //(bm, last modified 4/98) 4 4 /////////////////////////////////////////////////////////////////////////////// 5 version="$Id: deform.lib,v 1. 29 2004-04-16 13:55:32 Singular Exp $";5 version="$Id: deform.lib,v 1.30 2004-04-20 15:55:22 Singular Exp $"; 6 6 category="Singularities"; 7 7 info=" … … 206 206 degBound = 0; 207 207 //--------------- obtain new base-ring ---------------------------------------- 208 kill `myOx`;209 208 if(system("with","Namespaces")==1) { kill Top::`myOx`; } 209 if(defined(`myOx`)) {kill `myOx`;} 210 210 qring `myOx` = J; 211 211 matrix Fs,Rs,F_R,Cup,Cup',homFR,New,Rn,Fn; … … 454 454 I_J = Io,J; attrib(I_J,"isSB",1); 455 455 //-------- obtain new base ring ----------------------------------------------- 456 kill `myOx`; 457 if(system("with","Namespaces")==1) { 456 if(system("with","Namespaces")) { 458 457 if(defined(Top::`myOx`)) { kill Top::`myOx`; } 459 458 } 459 if (defined(`myOx`)) {kill `myOx`;} 460 460 qring `myOx` = I_J; 461 461 ideal null,tet; attrib(null,"isSB",1); … … 540 540 printlevel = p; 541 541 if(system("with","Namespaces")) { 542 if(nameof(Current) == "Ring" ) {543 542 kill Top::Px,Top::Qx,Top::So; 544 } else { 545 kill Ring::Px,Ring::So; 546 } 547 } 548 kill Px,Qx,So; 543 } 544 if (defined(Px)) {kill Px,Qx,So;} 549 545 } 550 546 /////////////////////////////////////////////////////////////////////////////// -
Singular/LIB/ring.lib
r369cb4 r07329b2 1 1 //(GMG, last modified 03.11.95) 2 2 /////////////////////////////////////////////////////////////////////////////// 3 version="$Id: ring.lib,v 1.1 7 2001-01-16 13:48:41Singular Exp $";3 version="$Id: ring.lib,v 1.18 2004-04-20 15:55:22 Singular Exp $"; 4 4 category="General purpose"; 5 5 info=" … … 69 69 changechar("R","2,A"); R;""; 70 70 changechar("R1","32003",R); R1; 71 kill R,R1; 72 if(system("with","Namespaces")) { 73 if( nameof(Current) == "Ring" ) { 74 kill Top::R,Top::R1; 75 } else { 76 kill Ring::R,Ring::R1; 77 } 78 } 71 if(system("with","Namespaces")) { kill Top::R,Top::R1; } 72 if (defined(R)) {kill R,R1;} 79 73 } 80 74 /////////////////////////////////////////////////////////////////////////////// … … 123 117 qring Q = std(i); 124 118 changeord("Q'","lp",Q); Q'; 125 kill R,Q,Q'; 126 if(system("with","Namespaces")) { 127 if( nameof(Current) == "Ring" ) { 128 kill Top::R,Top::Q'; 129 } else { 130 kill Ring::R,Ring::Q'; 131 } 132 } 119 if(system("with","Namespaces")) { kill Top::R,Top::Q,Top::Q'; } 120 if (defined(R)) {kill R,Q,Q';} 133 121 } 134 122 /////////////////////////////////////////////////////////////////////////////// … … 188 176 changevar("R","A()"); R; ""; 189 177 changevar("Q'","a,b,c,d",Q); Q'; 190 kill R,Q,Q'; 191 if(system("with","Namespaces")) { 192 if( nameof(Current) == "Ring" ) { 193 kill Top::R,Top::Q'; 194 } else { 195 kill Ring::R,Ring::Q'; 196 } 197 } 178 if(system("with","Namespaces")) { kill Top::R,Top::Q,Top::Q'; } 179 if (defined(R)) {kill R,Q,Q';} 198 180 } 199 181 /////////////////////////////////////////////////////////////////////////////// … … 229 211 defring("r","0",5,"u","ls"); r; ""; 230 212 defring("R","2,A",10,"x(","dp(3),ws(1,2,3),ds"); R; 231 kill r,R; 232 if(system("with","Namespaces")) { 233 if( nameof(Current) == "Ring" ) { 234 kill Top::r,Top::R; 235 } else { 236 kill Ring::r,Ring::R; 237 } 238 } 213 if(system("with","Namespaces")) { kill Top::R,Top::r; } 214 if (defined(R)) {kill R,r;} 239 215 } 240 216 /////////////////////////////////////////////////////////////////////////////// … … 269 245 defrings(5,0); S5; ""; 270 246 defrings(30); S30; 271 kill S5, S30; 272 if(system("with","Namespaces")) { 273 if( nameof(Current) == "Ring" ) { 274 kill Top::S5,Top::S30; 275 } else { 276 kill Ring::S5,Ring::S30; 277 } 278 } 247 if(system("with","Namespaces")) { kill Top::S5,Top::S30; } 248 if (defined(R)) {kill S5,S30;} 279 249 } 280 250 /////////////////////////////////////////////////////////////////////////////// … … 310 280 defringp(5,0); P5; ""; 311 281 defringp(30); P30; 312 kill P5, P30; 313 if(system("with","Namespaces")) { 314 if( nameof(Current) == "Ring" ) { 315 kill Top::P5,Top::P30; 316 } else { 317 kill Ring::P5,Ring::P30; 318 } 319 } 282 if(system("with","Namespaces")) { kill Top::P5,Top::P30; } 283 if (defined(R)) {kill P5,P30;} 320 284 } 321 285 /////////////////////////////////////////////////////////////////////////////// … … 472 436 //remaining components of v are used for the remaining blocks 473 437 show(R4); 474 kill r,R1,R2,R3,R4; 475 if(system("with","Namespaces")) { 476 if( nameof(Current) == "Ring" ) { 477 kill Top::R1,Top::R2,Top::R3,Top::R4; 478 } else { 479 kill Ring::R1,Ring::R2,Ring::R3,Ring::R4; 480 } 481 } 438 if(system("with","Namespaces")){kill Top::r,Top::R1,Top::R2,Top::R3,Top::R4;} 439 if (defined(r)) { kill r,R1,R2,R3,R4; } 482 440 } 483 441 /////////////////////////////////////////////////////////////////////////////// … … 745 703 ringtensor("Q",s,qS,t,qT); 746 704 type Q; 747 kill R,Q,S,T; 748 if(system("with","Namespaces")) { 749 if( nameof(Current) == "Ring" ) { 750 kill Top::R,Top::Q,Top::S,Top::T; 751 } else { 752 kill Ring::R,Ring::Q,Ring::S,Ring::T; 753 } 754 } 705 if(system("with","Namespaces")){kill Top::Q,Top::R,Top::S,Top::T;} 706 if (defined(R)) { kill R,S,T,Q; } 755 707 } 756 708 ///////////////////////////////////////////////////////////////////////////////
Note: See TracChangeset
for help on using the changeset viewer.