Changeset c67136 in git
- Timestamp:
- Oct 21, 1998, 12:28:27 PM (26 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 92fa95ee97f1bb1a9467ed50dd3121ddaa26a6bb
- Parents:
- 0a3ddd528f2d49e02dcb9ef53a0c8e19dd65e896
- Location:
- Singular/LIB
- Files:
-
- 7 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/classify.lib
r0a3ddd rc67136 1 // $Id: classify.lib,v 1.2 7 1998-10-09 12:28:54 Singular Exp $1 // $Id: classify.lib,v 1.28 1998-10-21 10:28:17 krueger Exp $ 2 2 // KK, last modified: 04.04.1998 3 3 /////////////////////////////////////////////////////////////////////////////// 4 4 5 version = "$Id: classify.lib,v 1.2 7 1998-10-09 12:28:54 Singular Exp $";5 version = "$Id: classify.lib,v 1.28 1998-10-21 10:28:17 krueger Exp $"; 6 6 info=" 7 7 LIBRARY: classify.lib PROCEDURES FOR THE ARNOLD-CLASSIFIER OF SINGULARITIES … … 76 76 def ring_ext = basering; 77 77 78 if(system("with","Namespaces")) { 79 if(defined(A_Z)==0) { proc A_Z = general_lib::A_Z; export A_Z; } 80 } 78 81 init_debug(); // initialize trace/debug mode 79 82 if(checkring()) { return(f_in); } -
Singular/LIB/deform.lib
r0a3ddd rc67136 1 // $Id: deform.lib,v 1.1 3 1998-10-09 12:28:56 Singular Exp $1 // $Id: deform.lib,v 1.14 1998-10-21 10:28:19 krueger 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.1 3 1998-10-09 12:28:56 Singular Exp $";5 version="$Id: deform.lib,v 1.14 1998-10-21 10:28:19 krueger Exp $"; 6 6 info=" 7 7 LIBRARY: deform.lib PROCEDURES FOR COMPUTING MINIVERSAL DEFORMATION … … 206 206 //--------------- obtain new base-ring ---------------------------------------- 207 207 kill `myOx`; 208 if(system("with","Namespaces")==1) { kill Top::`myOx`; } 208 209 qring `myOx` = J; 209 210 matrix Fs,Rs,F_R,Cup,Cup',homFR,New,Rn,Fn; … … 290 291 // ___ Equations of miniversal total space ___: 291 292 Fs;""; 293 if(system("with","Namespaces")) { kill Ring::Px,Top::Qx,Ring::So; } 292 294 kill Px,Qx,So; 293 295 ring r2 = 0,(x,y,z),ds; … … 296 298 versal(Fo); 297 299 printlevel = p; 300 if(system("with","Namespaces")) { kill Ring::Px,Top::Qx,Ring::So; } 298 301 kill Px,Qx,So; 299 302 } … … 456 459 //-------- obtain new base ring ----------------------------------------------- 457 460 kill `myOx`; 461 if(system("with","Namespaces")==1) { 462 if(defined(Top::`myOx`)) { kill Top::`myOx`; } 463 } 458 464 qring `myOx` = I_J; 459 465 ideal null,tet; attrib(null,"isSB",1); … … 536 542 mod_versal(Mo,Io); 537 543 printlevel = p; 544 if(system("with","Namespaces")) { kill Ring::Px,Top::Qx,Ring::So; } 538 545 kill Px,Qx,So; 539 546 } … … 559 566 br = my+"Sx"; 560 567 if (defined(`br`)) { kill `br`} 568 if(system("with","Namespaces")) { 569 br = my+"Qx"; 570 if (defined(Top::`br`)) { kill Top::`br`;} 571 br = my+"Ox"; 572 if (defined(Top::`br`)) { kill Top::`br`;} 573 br = my+"Px"; 574 if (defined(Ring::`br`)) { kill Ring::`br`;} 575 br = my+"So"; 576 if (defined(Ring::`br`)) { kill Ring::`br`;} 577 } 561 578 if (defined(basering)==0) 562 579 { "// choose new basering?"; 563 listvar(ring); 580 if(system("with","Namespaces")) { listvar(Top,ring); } 581 else { listvar(ring); } 564 582 } 565 583 return(); … … 868 886 } 869 887 setring br; 888 if(system("with","Namespaces")) { kill Ring::nr; } 870 889 kill nr; 871 890 return(degA); … … 925 944 intvec dv; 926 945 int l = homog(A) ; 927 if (l==0) {setring br; kill nr; return(l);} 946 if (l==0) { 947 setring br; 948 if(system("with","Namespaces")) { kill Ring::nr; } 949 kill nr; 950 return(l); 951 } 928 952 dv = attrib(A,"isHomog"); 929 953 l = dv[1]; … … 931 955 dv = dv-l; 932 956 setring br; 957 if(system("with","Namespaces")) { kill Ring::nr; } 933 958 kill nr; 934 959 return(dv); -
Singular/LIB/finvar.lib
r0a3ddd rc67136 1 // $Id: finvar.lib,v 1.1 3 1998-10-01 12:26:39 Singular Exp $1 // $Id: finvar.lib,v 1.14 1998-10-21 10:28:21 krueger Exp $ 2 2 // author: Agnes Eileen Heydtmann, email:agnes@math.uni-sb.de 3 3 // last change: 3.5.98 4 4 ////////////////////////////////////////////////////////////////////////////// 5 version="$Id: finvar.lib,v 1.1 3 1998-10-01 12:26:39 Singular Exp $"5 version="$Id: finvar.lib,v 1.14 1998-10-21 10:28:21 krueger Exp $" 6 6 info=" 7 7 LIBRARY: finvar.lib LIBRARY TO CALCULATE INVARIANT RINGS & MORE … … 2322 2322 molien(L[2..size(L)],newring); 2323 2323 matrix P=primary_charp(L[1],newring); 2324 if(system("with","Namespaces")) { kill Top::`newring`; } 2324 2325 kill `newring`; 2325 2326 print(P); … … 3468 3469 molien(L[2..size(L)],newring); 3469 3470 matrix P=primary_charp_random(L[1],newring,1); 3471 if(system("with","Namespaces")) { kill Top::`newring`; } 3470 3472 kill `newring`; 3471 3473 print(P); -
Singular/LIB/hnoether.lib
r0a3ddd rc67136 1 // $Id: hnoether.lib,v 1. 8 1998-05-27 10:54:24 Singular Exp $1 // $Id: hnoether.lib,v 1.9 1998-10-21 10:28:24 krueger Exp $ 2 2 // author: Martin Lamm, email: lamm@mathematik.uni-kl.de 3 3 // last change: 26.03.98 4 4 /////////////////////////////////////////////////////////////////////////////// 5 5 6 version="$Id: hnoether.lib,v 1. 8 1998-05-27 10:54:24 Singular Exp $";6 version="$Id: hnoether.lib,v 1.9 1998-10-21 10:28:24 krueger Exp $"; 7 7 info=" 8 8 LIBRARY: hnoether.lib PROCEDURES FOR THE HAMBURGER-NOETHER-DEVELOPMENT … … 515 515 if (str<>"c") { 516 516 setring altring;kill guenstig;kill zweitring; 517 if(system("with","Namespaces")) { kill Top::guenstig; } 517 518 return(return_error);} 518 519 else { "if the algorithm doesn't terminate, you were wrong...";} … … 536 537 setring altring; 537 538 kill guenstig; 539 if(system("with","Namespaces")) { kill Top::guenstig; } 538 540 return(return_error);} 539 541 if (test_sqr != f) { … … 553 555 if (N==0) { 554 556 " Sorry. The remaining polynomial is a unit in the power series ring..."; 557 if(system("with","Namespaces")) { kill Top::guenstig; } 555 558 setring altring;kill guenstig;return(return_error); 556 559 } … … 577 580 " The given polynomial is not irreducible"; 578 581 kill guenstig; 582 if(system("with","Namespaces")) { kill Top::guenstig; } 579 583 setring altring; 580 584 return(return_error); // Abbruch der Prozedur! … … 705 709 } 706 710 711 if(system("with","Namespaces")) { kill Top::guenstig; } 707 712 kill guenstig; 708 713 if (Ausgabe == 0) { return(list(amat,hqs,getauscht,f));} … … 1623 1628 }}} 1624 1629 else { v[zeile]=Q; } // HNE war exakt 1625 if (ringwechsel) { kill extdguenstig; } 1630 if (ringwechsel) { 1631 if(system("with","Namespaces")) { kill Top::extdguenstig; } 1632 kill extdguenstig; 1633 } 1626 1634 1627 1635 return(list(mneu,v,switch,f)); … … 1915 1923 else { 1916 1924 if (str<>"c") { 1925 if(system("with","Namespaces")) { kill Top::HNEring; } 1917 1926 setring altring;kill HNEring;kill zweitring; 1918 1927 return(list());} … … 1959 1968 } // endelse (test_sqr!=1) 1960 1969 if (str=="q") { 1970 if(system("with","Namespaces")) { kill Top::HNEring; } 1961 1971 setring altring;kill HNEring; 1962 1972 return(list()); … … 2063 2073 //------------------- Loesche globale, nicht mehr benoetigte Objekte: -------- 2064 2074 if (EXTHNEnumber>0) { 2075 if(system("with","Namespaces")) { kill Top::HNEring; } 2065 2076 kill HNEring; 2066 2077 def HNEring=EXTHNEring(EXTHNEnumber); 2067 2078 setring HNEring; 2068 2079 export HNEring; 2080 if(system("with","Namespaces")) { kill Primitiv::EXTHNEring(1..EXTHNEnumber);} 2069 2081 kill EXTHNEring(1..EXTHNEnumber); 2070 2082 } 2083 if(system("with","Namespaces")){kill Top::HNE_noparam;} 2071 2084 kill HNE_noparam; 2072 2085 kill EXTHNEnumber; -
Singular/LIB/latex.lib
r0a3ddd rc67136 1 // $Id: latex.lib,v 1. 4 1998-10-14 14:34:47 Singular Exp $1 // $Id: latex.lib,v 1.5 1998-10-21 10:28:25 krueger Exp $ 2 2 // 1998/04/17 3 3 // author : Christian Gorzel email: gorzelc@math.uni-muenster.de … … 1780 1780 } 1781 1781 1782 export splt; 1782 if(system("with","Namespaces")) { exportto(Current,splt); } 1783 else { export splt; } 1783 1784 1784 1785 // string fname = "texlibdemo.tex"; -
Singular/LIB/primitiv.lib
r0a3ddd rc67136 1 // $Id: primitiv.lib,v 1. 6 1998-05-14 18:45:14 Singular Exp $1 // $Id: primitiv.lib,v 1.7 1998-10-21 10:28:26 krueger Exp $ 2 2 // author: Martin Lamm, email: lamm@mathematik.uni-kl.de 3 3 // last change: 11.3.98 4 4 /////////////////////////////////////////////////////////////////////////////// 5 version="$Id: primitiv.lib,v 1. 6 1998-05-14 18:45:14 Singular Exp $";5 version="$Id: primitiv.lib,v 1.7 1998-10-21 10:28:26 krueger Exp $"; 6 6 info=" 7 7 LIBRARY: primitiv.lib PROCEDURES FOR FINDING A PRIMITIVE ELEMENT … … 252 252 } 253 253 if (defined(altrname)) { 254 if(system("with","Namespaces")) { kill Top::`altrname`; } 254 255 execute("kill "+altrname+";"); 255 256 execute("def "+altrname+" = splt_temp;"); 256 257 @R=altrname; 257 258 execute("export "+altrname+";"); 259 if(system("with","Namespaces")) { kill Top::splt_temp; } 258 260 kill splt_temp; 259 261 } -
Singular/LIB/ring.lib
r0a3ddd rc67136 1 // $Id: ring.lib,v 1. 7 1998-10-14 10:15:38krueger Exp $1 // $Id: ring.lib,v 1.8 1998-10-21 10:28:27 krueger Exp $ 2 2 //(GMG, last modified 03.11.95) 3 3 /////////////////////////////////////////////////////////////////////////////// 4 4 5 version="$Id: ring.lib,v 1. 7 1998-10-14 10:15:38krueger Exp $";5 version="$Id: ring.lib,v 1.8 1998-10-21 10:28:27 krueger Exp $"; 6 6 info=" 7 7 LIBRARY: ring.lib PROCEDURES FOR MANIPULATING RINGS AND MAPS … … 69 69 kill R,R1; 70 70 if(system("with","Namespaces")) { 71 kill Ring::R,Ring::R1;71 kill Top::R,Top::R1; 72 72 } 73 73 } … … 119 119 kill R,Q,Q'; 120 120 if(system("with","Namespaces")) { 121 kill Ring::R,Ring::Q';121 kill Top::R,Top::Q'; 122 122 } 123 123 } … … 180 180 kill R,Q,Q'; 181 181 if(system("with","Namespaces")) { 182 kill Ring::R,Ring::Q';182 kill Top::R,Top::Q'; 183 183 } 184 184 } … … 217 217 kill r,R; 218 218 if(system("with","Namespaces")) { 219 kill Ring::r,Ring::R;219 kill Top::r,Top::R; 220 220 } 221 221 } … … 253 253 kill S5, S30; 254 254 if(system("with","Namespaces")) { 255 kill Ring::S5,Ring::S30;255 kill Top::S5,Top::S30; 256 256 } 257 257 } … … 290 290 kill P5, P30; 291 291 if(system("with","Namespaces")) { 292 kill Ring::P5,Ring::P30;292 kill Top::P5,Top::P30; 293 293 } 294 294 } … … 447 447 kill r,R1,R2,R3,R4; 448 448 if(system("with","Namespaces")) { 449 kill Ring::R1,Ring::R2,Ring::R3,Ring::R4;449 kill Top::R1,Top::R2,Top::R3,Top::R4; 450 450 } 451 451 } … … 667 667 ring t=0,x(1..5),(c,ls); 668 668 ringtensor("R",r,s,t); 669 if(system("with","Namespaces")) { 670 type Ring::R;""; 671 } else { 672 type R; 673 } 669 type R; 674 670 setring s; 675 671 ideal i = a2+b3+c5; … … 679 675 qring qT=std(d2+e2-f3); //create qring of T mod d2+e2-f3 680 676 ringtensor("Q",s,qS,t,qT); 681 if(system("with","Namespaces")) { 682 type Ring::Q;""; 683 } else { 684 type Q; 685 } 677 type Q; 686 678 kill R,Q,S,T; 687 679 if(system("with","Namespaces")) { 688 kill Ring::R,Ring::Q,Ring::S,Ring::T;689 } 690 } 691 /////////////////////////////////////////////////////////////////////////////// 680 kill Top::R,Top::Q,Top::S,Top::T; 681 } 682 } 683 ///////////////////////////////////////////////////////////////////////////////
Note: See TracChangeset
for help on using the changeset viewer.