Changeset 09f420 in git for Singular/LIB/general.lib

Timestamp:

Jan 11, 2001, 1:04:34 PM (22 years ago)

Author:

Gerhard Pfister <pfister@…>

Branches:

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

Children:

868c617015422068b5cf24e5d878a87f26276d7f

Parents:

02335e2ac54bed920c310fe5e42c2800af0f08c1

Message:

*hannes/GMG/GP: libs and tests


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

File:

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

Singular/LIB/general.lib

@@ -2 +2 @@
 //anne, added deleteSublist and watchdog 12.12.2000
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: general.lib,v 1.36 2001-01-10 16:34:21 Singular Exp $";
+version="$Id: general.lib,v 1.37 2001-01-11 12:04:17 pfister Exp $";
 category="General purpose";
 info="
@@ -427 +427 @@
 {
   list @marie=names();
-  int no_kill, @joni;
+  int j, no_kill, @joni;
   for ( @joni=1; @joni<=size(#);  @joni++)
   {
@@ -479 +479 @@
         {
           no_kill = 0;
-          for (int j=2; j<= size(#); j++)
+          for (j=2; j<= size(#); j++)
           {
             if (typeof(`@marie[@joni]`)==#[j] or @marie[@joni] == #[j])