Changeset c9193a in git for kernel/f5lists.cc

Timestamp:

Feb 28, 2009, 10:14:06 PM (14 years ago)

Author:

Christian Eder

Branches:

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

Children:

5887d78d81d30fb2177cf296ce90d01565c6ae3b

Parents:

1863d8a8be27be6f1d1a24187172fe5ab71c385f

Message:

fixed bug: zero reduction after top reduction


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

File:

• kernel/f5lists.cc (modified) (5 diffs)

kernel/f5lists.cc

@@ -91 +91 @@
 LNode* LNode::insertSP(LPoly* lp) {
     LNode* newElement   =   new LNode(lp, this);
-    Print("INSERTED IN SPOLYLIST: ");
-    pWrite(lp->getTerm());
+    //Print("INSERTED IN SPOLYLIST: ");
+    //pWrite(lp->getTerm());
     return newElement;
 }
@@ -98 +98 @@
 LNode* LNode::insertSP(poly t, int i, poly p, Rule* r) {
     LNode* newElement   =   new LNode(t, i, p, r, NULL, this);
-     Print("INSERTED IN SPOLYLIST: ");
-    pWrite(t);
+     //Print("INSERTED IN SPOLYLIST: ");
+  //pWrite(t);
 return newElement;
 }
@@ -105 +105 @@
 // only used for the S-polys to be reduced (TopReduction building new S-polys with higher label)
 LNode* LNode::insertByLabel(poly t, int i, poly p, Rule* r) {
-    Print("ADDING SOLYS TO THE LIST\n");
-    Print("new element: ");
-    pWrite(t);
+    //Print("ADDING SOLYS TO THE LIST\n");
+    //Print("new element: ");
+    //pWrite(t);
        if(NULL == this || NULL == data) {
         LNode* newElement   =   new LNode(t, i, p, r, NULL, this);
@@ -113 +113 @@
     }
     else {
-         Print("tested element1: ");
-    pWrite(this->getTerm());
+         //Print("tested element1: ");
+    //pWrite(this->getTerm());
         if(-1 == pLmCmp(t,this->getTerm())) {
-            Print("HIERDRIN\n");
+            //Print("HIERDRIN\n");
             LNode* newElement   =   new LNode(t, i, p, r, NULL, this);
-            Print("%p\n",this);
-            Print("%p\n",newElement->next);
+            //Print("%p\n",this);
+            //Print("%p\n",newElement->next);
             return newElement;
         }
@@ -125 +125 @@
             LNode* temp = this;
             while(NULL != temp->next && NULL != temp->next->data) {
-                Print("tested element: ");
-                pWrite(temp->getTerm());
+                //Print("tested element: ");
+                //pWrite(temp->getTerm());
  if(-1 == pLmCmp(t,temp->next->getTerm())) {
                     LNode* newElement   =   new LNode(t, i, p, r, NULL, temp->next);