Changeset 3b77465 in git
- Timestamp:
- May 10, 2005, 7:56:17 PM (18 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')
- Children:
- 399ac9a269b92b84e7f2b0b5342627ad8bf48f3a
- Parents:
- edb4ff379c3c86523e0becd8fc67a508a03be6c3
- Location:
- Singular/LIB
- Files:
-
- 11 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/general.lib
redb4ff3 r3b77465 3 3 //eric, added absValue 11.04.2002 4 4 /////////////////////////////////////////////////////////////////////////////// 5 version="$Id: general.lib,v 1.4 6 2005-05-06 14:38:31 hannesExp $";5 version="$Id: general.lib,v 1.47 2005-05-10 17:56:13 Singular Exp $"; 6 6 category="General purpose"; 7 7 info=" … … 1177 1177 if(defined(watchdog_interrupt)) 1178 1178 { 1179 kill (watchdog_interrupt);1179 kill watchdog_interrupt; 1180 1180 } 1181 1181 close(l_fork); … … 1565 1565 kill PP; 1566 1566 } 1567 kill (l_fork);1567 kill l_fork; 1568 1568 } 1569 1569 else … … 1639 1639 kill PP; 1640 1640 } 1641 kill (l_fork);1641 kill l_fork; 1642 1642 } 1643 1643 else -
Singular/LIB/gmspoly.lib
redb4ff3 r3b77465 1 1 /////////////////////////////////////////////////////////////////////////////// 2 version="$Id: gmspoly.lib,v 1.1 1 2005-05-06 14:38:33 hannesExp $";2 version="$Id: gmspoly.lib,v 1.12 2005-05-10 17:56:13 Singular Exp $"; 3 3 category="Singularities"; 4 4 … … 81 81 82 82 setring(@X); 83 kill (@WX);83 kill @WX; 84 84 85 85 return(d>0&&d==D); … … 545 545 A=imap(@S,A); 546 546 export(b,A); 547 kill (@S);547 kill @S; 548 548 549 549 setring(@X); -
Singular/LIB/groebnerwalk.lib
redb4ff3 r3b77465 1 1 /////////////////////////////////////////////////////////////// 2 // $Id: groebnerwalk.lib,v 1. 3 2005-05-06 14:38:34 hannesExp $ //2 // $Id: groebnerwalk.lib,v 1.4 2005-05-10 17:56:13 Singular Exp $ // 3 3 /////////////////////////////////////////////////////////////// 4 4 5 version="$Id: groebnerwalk.lib,v 1. 3 2005-05-06 14:38:34 hannesExp $";5 version="$Id: groebnerwalk.lib,v 1.4 2005-05-10 17:56:13 Singular Exp $"; 6 6 category="cc"; 7 7 … … 236 236 intvec curr_weight = OSCTW[3]; /* original weight vector */ 237 237 intvec target_weight = OSCTW[4]; /* terget weight vector */ 238 kill (OSCTW);238 kill OSCTW; 239 239 option(redSB); 240 240 def xR = basering; … … 248 248 249 249 setring xR; 250 //kill (Go);250 //kill Go; 251 251 252 252 keepring basering; … … 324 324 intvec curr_weight = OSCTW[3]; /* original weight vector */ 325 325 intvec target_weight = OSCTW[4]; /* terget weight vector */ 326 kill (OSCTW);326 kill OSCTW; 327 327 option(redSB); 328 328 … … 337 337 338 338 setring xR; 339 //kill (Go);339 //kill Go; 340 340 341 341 keepring basering; … … 361 361 intvec curr_weight = OSCTW[3]; /* original weight vector */ 362 362 intvec target_weight = OSCTW[4]; /* terget weight vector */ 363 kill (OSCTW);363 kill OSCTW; 364 364 option(redSB); 365 365 def xR = basering; … … 373 373 374 374 setring xR; 375 //kill (Go);375 //kill Go; 376 376 377 377 keepring basering; … … 407 407 intvec curr_weight = OSCTW[3]; /* original weight vector */ 408 408 intvec target_weight = OSCTW[4]; /* terget weight vector */ 409 kill (OSCTW);409 kill OSCTW; 410 410 option(redSB); def xR = basering; 411 411 … … 418 418 419 419 setring xR; 420 //kill (Go);420 //kill Go; 421 421 422 422 keepring basering; … … 462 462 intvec curr_weight = OSCTW[3]; /* original weight vector */ 463 463 intvec target_weight = OSCTW[4]; /* terget weight vector */ 464 kill (OSCTW);464 kill OSCTW; 465 465 option(redSB); 466 466 … … 474 474 475 475 setring xR; 476 //kill (Go);476 //kill Go; 477 477 478 478 keepring basering; … … 507 507 intvec curr_weight = L[3]; 508 508 intvec target_weight = L[4]; 509 kill (L);509 kill L; 510 510 511 511 option(redSB); … … 520 520 521 521 setring xR; 522 //kill (Go);522 //kill Go; 523 523 524 524 keepring basering; -
Singular/LIB/latex.lib
redb4ff3 r3b77465 1 1 /////////////////////////////////////////////////////////////////////////////// 2 version="$Id: latex.lib,v 1.2 4 2005-05-09 15:55:10Singular Exp $";2 version="$Id: latex.lib,v 1.25 2005-05-10 17:56:13 Singular Exp $"; 3 3 category="Visualization"; 4 4 info=" … … 3079 3079 texproc(fname,"milnor_number"); 3080 3080 3081 kill (milnor_number);3081 kill milnor_number; 3082 3082 3083 3083 // ------------------------------ closing the tex file ------------------- -
Singular/LIB/normal.lib
redb4ff3 r3b77465 1 1 /////////////////////////////////////////////////////////////////////////////// 2 version="$Id: normal.lib,v 1.4 4 2005-05-06 14:38:50 hannesExp $";2 version="$Id: normal.lib,v 1.45 2005-05-10 17:56:14 Singular Exp $"; 3 3 category="Commutative Algebra"; 4 4 info=" … … 2090 2090 if (RS[2]==1) // we've reached the integral closure 2091 2091 { 2092 kill (J);2092 kill J; 2093 2093 return(L); 2094 2094 } … … 2097 2097 if (n==1) // In the first iteration: keep only the data 2098 2098 { // needed later on. 2099 kill (RR,SM);2099 kill RR,SM; 2100 2100 2101 2101 export(ker); … … 2108 2108 ideal norid=endid; 2109 2109 export(norid); 2110 kill (endid);2110 kill endid; 2111 2111 2112 2112 map phi=R0,endphi; // fetch the singular locus … … 2122 2122 } 2123 2123 export(normap); 2124 kill (phi); // we save phi as ideal, not as map, so that2124 kill phi; // we save phi as ideal, not as map, so that 2125 2125 ideal phi=endphi; // we have more flexibility in the ring names 2126 kill (endphi); // later on.2126 kill endphi; // later on. 2127 2127 export(phi); 2128 2128 L=insert(L,R1,n); // Add the new ring R1 and go on with the … … 2239 2239 2240 2240 if (j==2) 2241 2242 kill(phimap);2243 2241 { 2242 kill phimap; 2243 } 2244 2244 2245 2245 if (j==1) … … 2262 2262 h=NF(imap(R(k),p),J); 2263 2263 setring R(k); 2264 kill (p);2264 kill p; 2265 2265 } 2266 2266 … … 2280 2280 p=NF(backmap(h),std(ker)); 2281 2281 if (j==2) 2282 2283 kill(backmap);2284 2282 { 2283 kill backmap; 2284 } 2285 2285 } 2286 2286 … … 2289 2289 if (defined(fraction)) 2290 2290 { 2291 kill (fraction);2291 kill fraction; 2292 2292 list fraction=p; 2293 2293 } … … 2314 2314 for (int i=1;i<=size(L);i++) { def R(i)=L[i]; } 2315 2315 setring R(2); 2316 kill (R);2316 kill R; 2317 2317 phi; // The map R(1)-->R(2) 2318 2318 poly f=T(2); // We will get a representation of f -
Singular/LIB/qhmoduli.lib
redb4ff3 r3b77465 93 93 setring RME2; 94 94 export(RME2); 95 kill (RME1);95 kill RME1; 96 96 97 97 if(size(actionid) == sizeOfAction) { nonLinearQ = 0;} … … 122 122 } 123 123 export(RME3); 124 kill (RME2);124 kill RME2; 125 125 126 126 // 6th step : compute the equations of the quotient T_/E_f 127 127 128 128 ideal G = groupid; ideal variety = embedid; 129 kill (groupid); kill(embedid);129 kill groupid,embedid; 130 130 def RME4 = QuotientEquations(G, actionid, variety, opt); 131 131 setring RME4; 132 132 poly mPoly = minpoly; 133 kill (RME3);133 kill RME3; 134 134 export(RME4); 135 135 … … 152 152 } 153 153 export(modid); 154 kill (RME4);154 kill RME4; 155 155 } 156 156 else { … … 250 250 ideal embedid = imap(RQEB, variety); 251 251 } 252 kill (RQER);252 kill RQER; 253 253 export(id); 254 254 export(embedid); … … 384 384 export(actionid); 385 385 export(stabid); 386 kill (RAAR);386 kill RAAR; 387 387 dbprint(dbPrt, " 388 388 // 'ArnoldAction' created a new ring. … … 508 508 ringSTR1 = "ring RSTT = " + parString + ", (" + varString + ", " + varstr(basering) + "), dp;"; 509 509 510 if(defined(RSTR)) { kill (RSTR);}511 if(defined(RSTT)) { kill (RSTT);}510 if(defined(RSTR)) { kill RSTR;} 511 if(defined(RSTT)) { kill RSTT;} 512 512 execute(ringSTR1); // this ring is only used for the result, where the variables 513 513 export(RSTT); // are s(1..m),t(1..n), as needed for Derksens algorithm (NullCone) … … 541 541 dbprint(dbPrt, " qhasihomogenous substituion =" + string(qhsubs)); 542 542 map F = RSTR, qhsubs; 543 kill (varSubsList);543 kill varSubsList; 544 544 545 545 // get the equations of the stabilizer by comparing coefficients … … 1055 1055 g = reduce(g + h, reduceIdeal); 1056 1056 } 1057 kill(computedPowers);1057 kill computedPowers; 1058 1058 setring RASB; 1059 1059 poly fnew = imap(RASR, g); 1060 kill (RASR);1060 kill RASR; 1061 1061 return(fnew); 1062 1062 } -
Singular/LIB/resolve.lib
redb4ff3 r3b77465 1 1 /////////////////////////////////////////////////////////////////////////////// 2 version="$Id: resolve.lib,v 1. 3 2005-05-06 14:39:06 hannesExp $";2 version="$Id: resolve.lib,v 1.4 2005-05-10 17:56:15 Singular Exp $"; 3 3 category="Commutative Algebra"; 4 4 info=" … … 3641 3641 matrix intE; 3642 3642 int extra,bm; 3643 if(defined(BO)){kill (BO);}3644 if(defined(cent)){kill (cent);}3643 if(defined(BO)){kill BO;} 3644 if(defined(cent)){kill cent;} 3645 3645 3646 3646 ideal Jrad=equiRadical(J); -
Singular/LIB/rinvar.lib
redb4ff3 r3b77465 1 1 // Last change 10.12.2000 (TB) 2 2 /////////////////////////////////////////////////////////////////////////////// 3 version="$Id: rinvar.lib,v 1.1 3 2005-05-06 14:39:09 hannesExp $";3 version="$Id: rinvar.lib,v 1.14 2005-05-10 17:56:16 Singular Exp $"; 4 4 category="Invariant theory"; 5 5 info=" … … 428 428 str = charstr(basering) + ", (" + varstr(basering) 429 429 + ",t(" + string(nrt) + ")),"; 430 if(defined(RLAB)) { kill (RLAB);}430 if(defined(RLAB)) { kill RLAB;} 431 431 def RLAB = basering; 432 if(defined(RLAR)) { kill (RLAR);}432 if(defined(RLAR)) { kill RLAR;} 433 433 execute("ring RLAR = " + str + "(" + order + ");"); 434 434 execute(mPoly); … … 631 631 632 632 def IRB = basering; 633 if(defined(RIRR)) { kill (RIRR);}633 if(defined(RIRR)) { kill RIRR;} 634 634 def RIRR = basering; 635 635 setring RIRR; … … 1042 1042 else { columnList[size(columnList) + 1] = j; } 1043 1043 } 1044 if(defined(auxM)) { kill (auxM);}1044 if(defined(auxM)) { kill auxM;} 1045 1045 matrix auxM[2][size(columnList)]; // built new matrix and omit 1046 1046 for(j = 1; j <= size(columnList); j++) { // the linear dependent colums -
Singular/LIB/standard.lib
redb4ff3 r3b77465 1 1 ////////////////////////////////////////////////////////////////////////////// 2 version="$Id: standard.lib,v 1. 69 2005-05-02 13:28:14Singular Exp $";2 version="$Id: standard.lib,v 1.70 2005-05-10 17:56:16 Singular Exp $"; 3 3 category="Miscellaneous"; 4 4 info=" … … 210 210 if (defined(groebner_error)) 211 211 { 212 kill (groebner_error);212 kill groebner_error; 213 213 } 214 kill (l_fork);214 kill l_fork; 215 215 } 216 216 else -
Singular/LIB/triang.lib
redb4ff3 r3b77465 1 1 //last change: 13.02.2001 (Eric Westenberger) 2 2 ////////////////////////////////////////////////////////////////////////////// 3 version="$Id: triang.lib,v 1. 8 2005-05-06 14:39:19 hannesExp $";3 version="$Id: triang.lib,v 1.9 2005-05-10 17:56:16 Singular Exp $"; 4 4 category="Symbolic-numerical solving"; 5 5 info=" … … 403 403 } 404 404 } 405 kill (zerlegt);405 kill zerlegt; 406 406 return(toSave); 407 407 } -
Singular/LIB/zeroset.lib
redb4ff3 r3b77465 1 1 // Last change 12.02.2001 (Eric Westenberger) 2 2 /////////////////////////////////////////////////////////////////////////////// 3 version="$Id: zeroset.lib,v 1.1 3 2005-05-06 14:39:20 hannesExp $";3 version="$Id: zeroset.lib,v 1.14 2005-05-10 17:56:17 Singular Exp $"; 4 4 category="Symbolic-numerical solving"; 5 5 info=" … … 128 128 poly newA = imap(ROR, newA); 129 129 poly f = imap(ROR, fn); 130 kill (ROR);130 kill ROR; 131 131 export(roots); 132 132 export(newA); … … 372 372 poly newA = imap(ZSR, newA); 373 373 ideal id = imap(ZSR, id); 374 kill (ZSR);374 kill ZSR; 375 375 376 376 export(id); … … 491 491 setring(QUOB); 492 492 list result = imap(QUOR, result); 493 kill (QUOR);493 kill QUOR; 494 494 return(result); 495 495 } … … 549 549 setring(REMB); 550 550 poly r = imap(REMR, h); 551 kill (REMR);551 kill REMR; 552 552 return(r); 553 553 } … … 602 602 setring(GCDB); 603 603 poly h = imap(GCDR, h); 604 kill (GCDR);604 kill GCDR; 605 605 return(h); 606 606 } … … 669 669 setring(@RGCDB); 670 670 poly h = imap(@RGCD, @h); 671 kill (@RGCD);671 kill @RGCD; 672 672 return(h); 673 673 } … … 784 784 setring(FRB); 785 785 list result = imap(FRR, result); 786 kill (FRR);786 kill FRR; 787 787 return(result); 788 788 } … … 1173 1173 setring(NLZR); 1174 1174 partSol = imap(RIS1, roots); 1175 kill (RIS1);1175 kill RIS1; 1176 1176 if(mpoly[1] != partSol[3]) { // change minpoly 1177 1177 mpoly = std(partSol[3]); … … 1195 1195 result[5] = std(generators); 1196 1196 1197 kill (NLZR);1197 kill NLZR; 1198 1198 return(result); 1199 1199 }
Note: See TracChangeset
for help on using the changeset viewer.