Changeset 7bd779 in git

Timestamp:

Apr 1, 2009, 9:17:02 PM (14 years ago)

Author:

Christian Eder

Branches:

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

Children:

95a5d329460059206ad840fd798ce5fe36656f1f

Parents:

2b7bb5d62530e14bffcd668b38aba478016be940

Message:

smaller updates in reduction() & topReduction()


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

File:

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

kernel/f5gb.cc

@@ -660 +660 @@
     //Print("##########################################In topREDUCTION!########################################\n");
     // try l as long as there are reductors found by findReductor()
+    LNode* gPrevRedCheck    =   new LNode(lTag->getFirstCurrentIdx());
+    LNode* tempRed          =   new LNode();
     do {
-        LNode* gPrevRedCheck    =   new LNode(lTag->getFirstCurrentIdx());
-        LNode* tempRed          =   new LNode();
         tempRed  =   findReductor(l,gPrevRedCheck,gPrev,rules,lTag,rTag);
         // if a reductor for l is found and saved in tempRed
@@ -675 +675 @@
                 if(NULL != temp) {
                     pNorm(temp);
-                    tempRed->setPoly(temp);
-                    tempRed->setDel(1);
+                    //tempRed->setPoly(temp);
+                    //tempRed->setDel(1);
                     rules->insert(tempRed->getIndex(),tempRed->getTerm());
-                    tempRed->getLPoly()->setRule(rules->getFirst()->getRule());
-                    sPolyList->insertByLabel(tempRed);
+                    LNode* tempRedNew   =   new LNode(tempRed->getTerm(),tempRed->getIndex(),temp,rules->getFirst()->getRule());
+                    //tempRed->getLPoly()->setRule(rules->getFirst()->getRule());
+                    tempRedNew->setDel(1);
+                    sPolyList->insertByLabel(tempRedNew);
                 }
                 else {