Changeset 6f2edc in git for Singular/LIB/general.lib

Timestamp:

Apr 28, 1997, 9:27:25 PM (26 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

8c5a578cc8481c8a133a58030c4c4c8227d82bb1

Parents:

6d09c564c80f079b501f7187cf6984d040603849

Message:

Mon Apr 28 21:00:07 1997  Olaf Bachmann
<obachman@ratchwum.mathematik.uni-kl.de (Olaf Bachmann)>

     * dunno why I am committing these libs -- have not modified any
       of them


git-svn-id: file:///usr/local/Singular/svn/trunk@205 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/general.lib (modified) (5 diffs)

Singular/LIB/general.lib

@@ -1 @@
-// $Id: general.lib,v 1.1.1.1 1997-04-25 15:13:26 obachman Exp $
+// $Id: general.lib,v 1.2 1997-04-28 19:27:17 obachman Exp $
 //system("random",787422842);
 //(GMG, last modified 22.06.96)
@@ -20 +20 @@
  sum(vector/id/..[,v]); add components of vector/ideal/...[with indices v]
            (parameters in square brackets [] are optional)
-
+ wich(command);         searches for command and returns absolute
+                        path, if found
 LIB "inout.lib";
 ///////////////////////////////////////////////////////////////////////////////
@@ -187 +188 @@
 proc killall
 USAGE:   killall(); (no parameter)
-         killall("proc");
+         killall("type_name");
+         killall("not", "type_name");
 COMPUTE: killall(); kills all user-defined variables but not loaded procedures
-         killall("proc"); kills all loaded procedures
+         killall("type_name"); kills all user-defined variables, of type "type_name" 
+         killall("not", "type_name"); kills all user-defined
+         variables, except those of type "type_name" and except loaded procedures
 RETURN:  no return value
 NOTE:    killall should never be used inside a procedure
@@ -201 +205 @@
          if( L[joni]!="LIB" and typeof(`L[joni]`)!="proc" ) { kill `L[joni]`; }
       }
-      return();
-   }
-   if( #[1] == "proc" )
-   {
-      for ( joni=size(L); joni>0; joni-- )
-      {
-         if( L[joni]=="LIB" or typeof(`L[joni]`)=="proc" ) { kill `L[joni]`; }
-      }
-   }
-}
-example
-{ "EXAMPLE:"; echo = 2;
-   ring rtest; ideal i=x,y,z; number n=37; string str="hi";
-   export rtest,i,n,str;     //this makes the local variables global
+   }
+   else 
+   {
+     if( size(#)==1 )
+     {
+       if( #[1] == "proc" )
+       {
+          for ( joni=size(L); joni>0; joni-- )
+          {
+             if( L[joni]=="LIB" or typeof(`L[joni]`)=="proc" ) 
+               { kill `L[joni]`; }
+          }
+       }
+       else 
+       {
+          for ( ; joni>2; joni-- )
+          {
+            if(typeof(`L[joni]`)==#[1] and L[joni]!="LIB" and typeof(`L[joni]`)!="proc") { kill `L[joni]`; }
+          }
+        }
+     }
+     else
+     {
+        for ( ; joni>2; joni-- )
+        {
+          if(typeof(`L[joni]`)!=#[2] and L[joni]!="LIB" and typeof(`L[joni]`)!="proc") { kill `L[joni]`; }
+        }
+     }
+  }
+  return();
+}
+example
+{ "EXAMPLE:"; echo = 2;
+   ring rtest; ideal i=x,y,z; number n=37; string str="hi"; int j = 3;
+   export rtest,i,n,str,j;     //this makes the local variables global
    listvar(all);
-   killall();
+   killall("string"); // kills all string variables
+   listvar(all);
+   killall("not", "int"); // kills all variables except int's (and procs)
+   listvar(all);
+   killall(); // kills all vars except loaded procs
    listvar(all);
 }
@@ -590 +619 @@
 }
 ///////////////////////////////////////////////////////////////////////////////
+
+proc which (command)
+USAGE:    which(command); command = string expression
+RETURN:   Absolute pathname of command, if found in search path.
+          Empty string, otherwise.
+NOTE:     Based on the Unix command 'which'.
+EXAMPLE:  example which; shows an example
+{
+   int rs;
+   int i;
+   string fn = "/tmp/which_" + string(system("pid"));
+   string pn;
+   if( typeof(command) != "string") 
+   {
+        return pn;
+   }
+   i = system("sh", "which " + command + " > " + fn);
+   pn = read(fn);
+   pn[size(pn)] = "";
+   i = 1;
+   while ((pn[i] != " ") and (pn[i] != ""))
+   {
+     i = i+1;
+   }
+   if (pn[i] == " ") {pn[i] = "";}
+   rs = system("sh", "ls " + pn + " > " + fn + " 2>&1 ");
+   i = system("sh", "rm " + fn);
+   if (rs == 0) {return (pn);}
+   else 
+   {
+     print (command + " not found ");
+     return ("");
+   }
+}
+example
+{  "EXAMPLE:"; echo = 2;
+    which("Singular");
+}
+///////////////////////////////////////////////////////////////////////////////