Changeset 82716e in git for Singular/LIB/general.lib

Timestamp:

May 14, 1998, 8:45:19 PM (26 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

68e324ca946be87c2ab75edd4cc0fd161e1f6ead

Parents:

30c91fe3835d6ff4504cc9ddeeb5866465754c2a

Message:

*hannes: typos in the info-help-string


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

File:

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

Singular/LIB/general.lib

@@ -1 @@
-// $Id: general.lib,v 1.7 1998-05-05 11:55:27 krueger Exp $
+// $Id: general.lib,v 1.8 1998-05-14 18:45:03 Singular Exp $
 //system("random",787422842);
 //(GMG, last modified 22.06.96)
 ///////////////////////////////////////////////////////////////////////////////
 
-version="$Id: general.lib,v 1.7 1998-05-05 11:55:27 krueger Exp $";
+version="$Id: general.lib,v 1.8 1998-05-14 18:45:03 Singular Exp $";
 info="
 LIBRARY:  general.lib   PROCEDURES OF GENERAL TYPE
@@ -21 +21 @@
  sort(ideal/module);    sort generators according to monomial ordering
  sum(vector/id/..[,v]); add components of vector/ideal/...[with indices v]
- which(command);        searches for command and returns absolute
+ which(command);        searches for command and returns absolute
                         path, if found
            (parameters in square brackets [] are optional)
@@ -200 +200 @@
          killall(\"not\", \"type_name\");
 COMPUTE: killall(); kills all user-defined variables but not loaded procedures
-         killall(\"type_name\"); kills all user-defined variables, of type \"type_name\" 
+         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
@@ -216 +216 @@
       }
    }
-   else 
+   else
    {
      if( size(#)==1 )
@@ -224 +224 @@
           for ( joni=size(L); joni>0; joni-- )
           {
-             if( L[joni]=="LIB" or typeof(`L[joni]`)=="proc" ) 
+             if( L[joni]=="LIB" or typeof(`L[joni]`)=="proc" )
                { kill `L[joni]`; }
           }
        }
-       else 
+       else
        {
           for ( ; joni>2; joni-- )
@@ -649 +649 @@
    string fn = "/tmp/which_" + string(system("pid"));
    string pn;
-   if( typeof(command) != "string") 
-   {
-        return (pn);
+   if( typeof(command) != "string")
+   {
+     return (pn);
    }
    i = system("sh", "which " + command + " > " + fn);
@@ -665 +665 @@
    i = system("sh", "rm " + fn);
    if (rs == 0) {return (pn);}
-   else 
+   else
    {
      print (command + " not found ");