Changeset c67136 in git


Ignore:
Timestamp:
Oct 21, 1998, 12:28:27 PM (26 years ago)
Author:
Kai Krüger <krueger@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c7af8613769b29c741d6c338945669719f1fc4f8')
Children:
92fa95ee97f1bb1a9467ed50dd3121ddaa26a6bb
Parents:
0a3ddd528f2d49e02dcb9ef53a0c8e19dd65e896
Message:
 	classify.lib deform.lib finvar.lib hnoether.lib latex.lib
 	primitiv.lib ring.lib
	Changes needed for Namespaces-Support (mainly kill of globals)


git-svn-id: file:///usr/local/Singular/svn/trunk@2583 2c84dea3-7e68-4137-9b89-c4e89433aadc
Location:
Singular/LIB
Files:
7 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/classify.lib

    r0a3ddd rc67136  
    1 // $Id: classify.lib,v 1.27 1998-10-09 12:28:54 Singular Exp $
     1// $Id: classify.lib,v 1.28 1998-10-21 10:28:17 krueger Exp $
    22// KK, last modified: 04.04.1998
    33///////////////////////////////////////////////////////////////////////////////
    44
    5 version  = "$Id: classify.lib,v 1.27 1998-10-09 12:28:54 Singular Exp $";
     5version  = "$Id: classify.lib,v 1.28 1998-10-21 10:28:17 krueger Exp $";
    66info="
    77LIBRARY:  classify.lib  PROCEDURES FOR THE ARNOLD-CLASSIFIER OF SINGULARITIES
     
    7676  def ring_ext = basering;
    7777
     78  if(system("with","Namespaces")) {
     79    if(defined(A_Z)==0) { proc A_Z = general_lib::A_Z; export A_Z; }
     80  }
    7881  init_debug();                    // initialize trace/debug mode
    7982  if(checkring()) { return(f_in); }
  • Singular/LIB/deform.lib

    r0a3ddd rc67136  
    1 // $Id: deform.lib,v 1.13 1998-10-09 12:28:56 Singular Exp $
     1// $Id: deform.lib,v 1.14 1998-10-21 10:28:19 krueger Exp $
    22// author: Bernd Martin email: martin@math.tu-cottbus.de
    33//(bm, last modified 4/98)
    44///////////////////////////////////////////////////////////////////////////////
    5 version="$Id: deform.lib,v 1.13 1998-10-09 12:28:56 Singular Exp $";
     5version="$Id: deform.lib,v 1.14 1998-10-21 10:28:19 krueger Exp $";
    66info="
    77LIBRARY:  deform.lib       PROCEDURES FOR COMPUTING MINIVERSAL DEFORMATION
     
    206206//--------------- obtain new base-ring ----------------------------------------
    207207        kill `myOx`;
     208        if(system("with","Namespaces")==1) { kill Top::`myOx`; }
    208209  qring `myOx` = J;
    209210        matrix Fs,Rs,F_R,Cup,Cup',homFR,New,Rn,Fn;
     
    290291   // ___ Equations of miniversal total space ___:
    291292   Fs;"";
     293   if(system("with","Namespaces")) { kill Ring::Px,Top::Qx,Ring::So; }
    292294   kill Px,Qx,So;
    293295   ring  r2       = 0,(x,y,z),ds;
     
    296298   versal(Fo);
    297299   printlevel     = p;
     300   if(system("with","Namespaces")) { kill Ring::Px,Top::Qx,Ring::So; }
    298301   kill Px,Qx,So;
    299302}
     
    456459//-------- obtain new base ring -----------------------------------------------
    457460      kill `myOx`;
     461      if(system("with","Namespaces")==1) {
     462         if(defined(Top::`myOx`)) { kill Top::`myOx`; }
     463      }
    458464 qring `myOx` = I_J;
    459465      ideal null,tet;            attrib(null,"isSB",1);
     
    536542  mod_versal(Mo,Io);
    537543  printlevel = p;
     544  if(system("with","Namespaces")) { kill Ring::Px,Top::Qx,Ring::So; }
    538545  kill Px,Qx,So;
    539546}
     
    559566  br = my+"Sx";
    560567  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  }
    561578  if (defined(basering)==0)
    562579  { "// choose new basering?";
    563     listvar(ring);
     580    if(system("with","Namespaces")) { listvar(Top,ring); }
     581    else { listvar(ring); }
    564582  }
    565583  return();
     
    868886  }
    869887 setring br;
     888  if(system("with","Namespaces")) { kill Ring::nr; }
    870889  kill nr;
    871890  return(degA);
     
    925944   intvec dv;
    926945   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   }
    928952   dv = attrib(A,"isHomog");
    929953   l  = dv[1];
     
    931955   dv = dv-l;
    932956 setring br;
     957   if(system("with","Namespaces")) { kill Ring::nr; }
    933958   kill nr;
    934959   return(dv);
  • Singular/LIB/finvar.lib

    r0a3ddd rc67136  
    1 // $Id: finvar.lib,v 1.13 1998-10-01 12:26:39 Singular Exp $
     1// $Id: finvar.lib,v 1.14 1998-10-21 10:28:21 krueger Exp $
    22// author: Agnes Eileen Heydtmann, email:agnes@math.uni-sb.de
    33// last change: 3.5.98
    44//////////////////////////////////////////////////////////////////////////////
    5 version="$Id: finvar.lib,v 1.13 1998-10-01 12:26:39 Singular Exp $"
     5version="$Id: finvar.lib,v 1.14 1998-10-21 10:28:21 krueger Exp $"
    66info="
    77LIBRARY:  finvar.lib       LIBRARY TO CALCULATE INVARIANT RINGS & MORE
     
    23222322         molien(L[2..size(L)],newring);
    23232323         matrix P=primary_charp(L[1],newring);
     2324         if(system("with","Namespaces")) { kill Top::`newring`; }
    23242325         kill `newring`;
    23252326         print(P);
     
    34683469         molien(L[2..size(L)],newring);
    34693470         matrix P=primary_charp_random(L[1],newring,1);
     3471         if(system("with","Namespaces")) { kill Top::`newring`; }
    34703472         kill `newring`;
    34713473         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 $
    22// author:  Martin Lamm,  email: lamm@mathematik.uni-kl.de
    33// last change:           26.03.98
    44///////////////////////////////////////////////////////////////////////////////
    55
    6 version="$Id: hnoether.lib,v 1.8 1998-05-27 10:54:24 Singular Exp $";
     6version="$Id: hnoether.lib,v 1.9 1998-10-21 10:28:24 krueger Exp $";
    77info="
    88LIBRARY:  hnoether.lib   PROCEDURES FOR THE HAMBURGER-NOETHER-DEVELOPMENT
     
    515515        if (str<>"c") {
    516516          setring altring;kill guenstig;kill zweitring;
     517          if(system("with","Namespaces")) { kill Top::guenstig; }
    517518          return(return_error);}
    518519        else { "if the algorithm doesn't terminate, you were wrong...";}
     
    536537    setring altring;
    537538    kill guenstig;
     539    if(system("with","Namespaces")) { kill Top::guenstig; }
    538540    return(return_error);}
    539541   if (test_sqr != f) {
     
    553555  if (N==0) {
    554556    " Sorry. The remaining polynomial is a unit in the power series ring...";
     557    if(system("with","Namespaces")) { kill Top::guenstig; }
    555558    setring altring;kill guenstig;return(return_error);
    556559  }
     
    577580    " The given polynomial is not irreducible";
    578581    kill guenstig;
     582    if(system("with","Namespaces")) { kill Top::guenstig; }
    579583    setring altring;
    580584    return(return_error);       // Abbruch der Prozedur!
     
    705709 }
    706710
     711 if(system("with","Namespaces")) { kill Top::guenstig; }
    707712 kill guenstig;
    708713 if (Ausgabe == 0) { return(list(amat,hqs,getauscht,f));}
     
    16231628 }}}
    16241629 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 }
    16261634
    16271635 return(list(mneu,v,switch,f));
     
    19151923     else {
    19161924       if (str<>"c") {
     1925         if(system("with","Namespaces")) { kill Top::HNEring; }
    19171926         setring altring;kill HNEring;kill zweitring;
    19181927         return(list());}
     
    19591968   }                                // endelse (test_sqr!=1)
    19601969   if (str=="q") {
     1970    if(system("with","Namespaces")) { kill Top::HNEring; }
    19611971    setring altring;kill HNEring;
    19621972    return(list());
     
    20632073 //------------------- Loesche globale, nicht mehr benoetigte Objekte: --------
    20642074 if (EXTHNEnumber>0) {
     2075  if(system("with","Namespaces")) { kill Top::HNEring; }
    20652076  kill HNEring;
    20662077  def HNEring=EXTHNEring(EXTHNEnumber);
    20672078  setring HNEring;
    20682079  export HNEring;
     2080  if(system("with","Namespaces")) { kill Primitiv::EXTHNEring(1..EXTHNEnumber);}
    20692081  kill EXTHNEring(1..EXTHNEnumber);
    20702082 }
     2083 if(system("with","Namespaces")){kill Top::HNE_noparam;}
    20712084 kill HNE_noparam;
    20722085 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 $   
    22//                        1998/04/17
    33// author : Christian Gorzel email: gorzelc@math.uni-muenster.de
     
    17801780  }
    17811781
    1782  export splt;
     1782 if(system("with","Namespaces")) { exportto(Current,splt); }
     1783 else { export splt; }
    17831784               
    17841785// 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 $
    22// author:  Martin Lamm,  email: lamm@mathematik.uni-kl.de
    33// last change:           11.3.98
    44///////////////////////////////////////////////////////////////////////////////
    5 version="$Id: primitiv.lib,v 1.6 1998-05-14 18:45:14 Singular Exp $";
     5version="$Id: primitiv.lib,v 1.7 1998-10-21 10:28:26 krueger Exp $";
    66info="
    77LIBRARY:    primitiv.lib    PROCEDURES FOR FINDING A PRIMITIVE ELEMENT
     
    252252 }
    253253 if (defined(altrname)) {
     254   if(system("with","Namespaces")) { kill Top::`altrname`; }
    254255   execute("kill "+altrname+";");
    255256   execute("def "+altrname+" = splt_temp;");
    256257   @R=altrname;
    257258   execute("export "+altrname+";");
     259   if(system("with","Namespaces")) { kill Top::splt_temp; }
    258260   kill splt_temp;
    259261 }
  • Singular/LIB/ring.lib

    r0a3ddd rc67136  
    1 // $Id: ring.lib,v 1.7 1998-10-14 10:15:38 krueger Exp $
     1// $Id: ring.lib,v 1.8 1998-10-21 10:28:27 krueger Exp $
    22//(GMG, last modified 03.11.95)
    33///////////////////////////////////////////////////////////////////////////////
    44
    5 version="$Id: ring.lib,v 1.7 1998-10-14 10:15:38 krueger Exp $";
     5version="$Id: ring.lib,v 1.8 1998-10-21 10:28:27 krueger Exp $";
    66info="
    77LIBRARY:  ring.lib      PROCEDURES FOR MANIPULATING RINGS AND MAPS
     
    6969   kill R,R1;
    7070   if(system("with","Namespaces")) {
    71       kill Ring::R,Ring::R1;
     71      kill Top::R,Top::R1;
    7272   }
    7373}
     
    119119   kill R,Q,Q';
    120120   if(system("with","Namespaces")) {
    121       kill Ring::R,Ring::Q';
     121      kill Top::R,Top::Q';
    122122   }
    123123}
     
    180180   kill R,Q,Q';
    181181   if(system("with","Namespaces")) {
    182       kill Ring::R,Ring::Q';
     182      kill Top::R,Top::Q';
    183183   }
    184184}
     
    217217   kill r,R;
    218218   if(system("with","Namespaces")) {
    219       kill Ring::r,Ring::R;
     219      kill Top::r,Top::R;
    220220   }
    221221}
     
    253253   kill S5, S30;
    254254   if(system("with","Namespaces")) {
    255       kill Ring::S5,Ring::S30;
     255      kill Top::S5,Top::S30;
    256256   }
    257257}
     
    290290   kill P5, P30;
    291291   if(system("with","Namespaces")) {
    292       kill Ring::P5,Ring::P30;
     292      kill Top::P5,Top::P30;
    293293   }
    294294}
     
    447447   kill r,R1,R2,R3,R4;
    448448   if(system("with","Namespaces")) {
    449       kill Ring::R1,Ring::R2,Ring::R3,Ring::R4;
     449      kill Top::R1,Top::R2,Top::R3,Top::R4;
    450450   }
    451451}
     
    667667   ring t=0,x(1..5),(c,ls);
    668668   ringtensor("R",r,s,t);
    669    if(system("with","Namespaces")) {
    670       type Ring::R;"";
    671    } else {
    672       type R;
    673    }
     669   type R;
    674670   setring s;
    675671   ideal i = a2+b3+c5;
     
    679675   qring qT=std(d2+e2-f3);       //create qring of T mod d2+e2-f3
    680676   ringtensor("Q",s,qS,t,qT);
    681    if(system("with","Namespaces")) {
    682       type Ring::Q;"";
    683    } else {
    684       type Q;
    685    }
     677   type Q;
    686678   kill R,Q,S,T;
    687679   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.