Changeset c4158f in git for kernel/f5gb.cc

Timestamp:

Mar 12, 2009, 3:34:03 PM (15 years ago)

Author:

Christian Eder

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

d738b47ee2746bdf05645beba5fff4b1ec35cbf3

Parents:

75e2e50e5ba0dbb6681ecbf8664330997a24b5e9

Message:

delete some double checkings, changed list stuff for last elements in lists


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

File:

• kernel/f5gb.cc (modified) (15 diffs)

kernel/f5gb.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: f5gb.cc,v 1.43 2009-03-12 09:43:53 ederc Exp $ */
+/* $Id: f5gb.cc,v 1.44 2009-03-12 14:34:03 ederc Exp $ */
 /*
 * ABSTRACT: f5gb interface
@@ -91 +91 @@
     criticalPair(gPrev, critPairs, lTag, rTag, rules);
     static LList* sPolyList        =   new LList();
+    //sPolyList->print();
     // labeled polynomials which have passed reduction() and have to be added to list gPrev
     static LList* completed        =   new LList();
@@ -178 +179 @@
     poly lcm            =   pOne();
     poly t              =   pHead(newElement->getPoly());
-    Rule* testedRule    =   rules->getFirst()->getRule();
+    Rule* testedRule    =   NULL;
+    if(NULL != rules->getFirst()) {
+        testedRule  =   rules->getFirst()->getRule();
+    }
     // computation of critical pairs
     //critPairs->print();
@@ -264 +268 @@
         //pWrite(ppMult_qq(t,l->getTerm()));
         //Print("%d\n\n",l->getIndex());
-        while(testNode->getIndex() < idx && NULL != testNode->getLPoly()) {
+        while(testNode->getIndex() < idx) { // && NULL != testNode->getLPoly()) {
             //pWrite(testNode->getPoly());
             //Print("%d\n",testNode->getIndex());
@@ -291 +295 @@
         RNode* tempR    =   rules->getFirst();
         int i   = 1;
-        while(NULL != tempR->getRule()) {
+        while(NULL != tempR) {
             Print("ADDRESS OF %d RNODE: %p\n",i,tempR);
             Print("ADDRESS OF RULE: %p\n",tempR->getRule());
@@ -306 +310 @@
         //pWrite(ppMult_qq(t,l->getTerm()));
         //Print("%d\n\n",l->getIndex());
-        */
+       */ 
 // start at the previously added element to gPrev, as all other elements will have the same index for sure
-    RNode* testNode =   new RNode();
+    RNode* testNode; // =   new RNode();
      
-    if(NULL == rTag->getFirst() || NULL == rTag->getFirst()->getRule()) {
+    if(NULL == rTag->getFirst() ) {
         testNode    =   rules->getFirst();
     }
@@ -343 +347 @@
     //Print("TESTNODE: %p\n",testNode);
     //pWrite(testNode->getRuleTerm());
-    if(NULL != testNode && NULL != testNode->getRule()) {   
+    if(NULL != testNode ) {   
         //pWrite(testNode->getRuleTerm());
     }
@@ -355 +359 @@
         }
     }
-    while(NULL != testNode && NULL != testNode->getRule() && testNode->getRule() != l->getRule() 
+    while(NULL != testNode && testNode->getRule() != l->getRule() 
           && l->getIndex() == testNode->getRuleIndex()) {
         //Print("%p\n",testNode);
@@ -387 +391 @@
     //Print("------------------------------IN CRITERION 2/2-----------------------------------------\n");
     //Print("LAST RULE TESTED: %p",testedRule);
-    //Print("RULES: \n");
-        //RNode* tempR    =   rules->getFirst();
-        //while(NULL != tempR->getRule()) {
-            //pWrite(tempR->getRuleTerm());
-            //Print("%d\n\n",tempR->getRuleIndex());
-            //tempR   =   tempR->getNext();
-        //}
+    /*
+    Print("RULES: \n");
+        RNode* tempR    =   rules->getFirst();
+        while(NULL != tempR) {
+            pWrite(tempR->getRuleTerm());
+            Print("%d\n\n",tempR->getRuleIndex());
+            tempR   =   tempR->getNext();
+        }
         //Print("TESTED ELEMENT: ");
         //pWrite(l->getPoly());
@@ -399 +404 @@
         //pWrite(ppMult_qq(t,l->getTerm()));
         //Print("%d\n\n",l->getIndex());
+    */
 // start at the previously added element to gPrev, as all other elements will have the same index for sure
         RNode* testNode =   rules->getFirst();
@@ -404 +410 @@
     poly u1 = ppMult_qq(t,l->getTerm());
         // first element added to rTag was NULL, check for this
-        while(NULL != testNode->getRule() && testNode->getRule() != testedRule) {
+        while(NULL != testNode && testNode->getRule() != testedRule) {
         //pWrite(testNode->getRuleTerm());
         if(pLmDivisibleBy(testNode->getRuleTerm(),u1)) {
@@ -506 +512 @@
                         sPolyList->insertByLabel(ppMult_qq(temp->getT1(),temp->getLp1Term()),temp->getLp1Index(),sp,rules->getFirst()->getRule());
                     }
-                    // data is saved in sPolyList or zero => delete sp
                 }
             }
@@ -554 +559 @@
         // delete the above first element from sPolyList, temp will be either reduced to
         // zero or added to gPrev, but never come back to sPolyList
-        if(NULL != temp && NULL != temp->getLPoly()) {
+        if(NULL != temp) { 
             sPolyList->setFirst(temp->getNext());
         //Print("HIER\n");
@@ -831 +836 @@
     // this must be done due to possible later improvements
     RList* rules    =   new RList();
-    //Print("RULES FIRST: %p\n",rules->getFirst());
+    Print("RULES FIRST: %p\n",rules->getFirst());
     //Print("RULES FIRST DATA: %p\n",rules->getFirst()->getRule());
     RTagList* rTag  =   new RTagList(rules->getFirst());
@@ -965 +970 @@
         //Print("JA\n");
     } 
-        idShow(gbPrev);
+        //idShow(gbPrev);
     Print("\n\nNumber of zero-reductions:  %d\n",reductionsToZero);
     //LNode* temp    =   gPrev->getFirst();