Changeset d0e571 in git

Timestamp:

Mar 9, 2018, 4:14:24 PM (5 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

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

Children:

cfbd89c7366ce40816c732c5e8eb01dd6f16ad49

Parents:

ce5d1bd5855860c909fa9377861c9d1b7a8e52ba

Message:

Fix console spam

File:

• Singular/LIB/freegb.lib (modified) (4 diffs)

Singular/LIB/freegb.lib

@@ -3299 +3299 @@
   for (int i = 2; i <= size(I); i++) {
     tagvarstr = tagvarstr + ",tag_" + string(i);
-  }
+  } kill i;
   tagvarstr = tagvarstr + ")";
   string field = string(ringlist(r)[1]);
@@ -3312 +3312 @@
   for (int i = 1; i <= size(I); i++) {
     I[i] = I[i] + var(norigvars + i);
-  }
+  } kill i;
 
   list summands;
@@ -3332 +3332 @@
         list summand = (iv[j] - norigvars), leadcoef(pTaggedNF[i])*iv2lp(left), iv2lp(right);
         summands = insert(summands, summand, size(summands));
+
+        kill left;
+        kill right;
+        kill summand;
         break;
       }
-    }
-  }
+    } kill j;
+    kill iv;
+  } kill i;
 
   L[2] = summands;
@@ -3341 +3346 @@
   setring save;
   list L = imap(@R,L);
-  return(L);
+  return (L);
 }