Changeset 598870 in git for kernel/f5lists.cc
- Timestamp:
- Feb 23, 2009, 3:28:38 PM (14 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
- Children:
- 35a76a17eccff079e65732eed250dcf59efee656
- Parents:
- b0237b842fe21cec3d4b51436f88ff9d8f8aad12
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/f5lists.cc
rb0237b8 r598870 38 38 39 39 LNode::LNode(LPoly* lp, LNode* l) { 40 Print("HIER LNODE\n");40 //Print("HIER LNODE\n"); 41 41 data = lp; 42 42 next = l; … … 73 73 // needed for list gPrev 74 74 LNode* LNode::insert(LPoly* lp) { 75 Print("INSERTION: \n");76 Print("LAST GPREV: ");77 pWrite(this->getPoly());75 //Print("INSERTION: \n"); 76 //Print("LAST GPREV: "); 77 //pWrite(this->getPoly()); 78 78 LNode* newElement = new LNode(lp, NULL); 79 79 this->next = newElement; … … 101 101 // only used for the S-polys to be reduced (TopReduction building new S-polys with higher label) 102 102 LNode* LNode::insertByLabel(poly t, int i, poly p, Rule* r) { 103 if(NULL == data) {103 if(NULL == this || NULL == data) { 104 104 LNode* newElement = new LNode(t, i, p, r, this); 105 105 return newElement; … … 120 120 else { 121 121 temp = temp->next; 122 Print("%p\n",temp);123 Print("%p\n",temp->data);122 //Print("%p\n",temp); 123 //Print("%p\n",temp->data); 124 124 125 Print("%p\n",temp->next);125 //Print("%p\n",temp->next); 126 126 } 127 127 } 128 Print("HIER\n");128 //Print("HIER\n"); 129 129 LNode* newElement = new LNode(t, i, p, r, temp->next); 130 130 temp->next = newElement; … … 208 208 LNode* temp = this; 209 209 Print("___________________List of S-polynomials______________________:\n"); 210 Print("%p\n",this); 210 211 while(NULL != temp && NULL != temp->data) { 211 212 Print("HIER\n"); 212 213 Print("Index: %d\n",temp->getIndex()); 213 214 Print("Term: "); 214 pWrite(temp->getTerm());215 //pWrite(temp->getTerm()); 215 216 Print("Poly: "); 216 pWrite(temp->getPoly());217 //pWrite(temp->getPoly()); 217 218 Print("\n"); 218 219 temp = temp->next; … … 252 253 void LList::insert(LPoly* lp) { 253 254 last = last->insert(lp); 254 Print("NEW LAST GPREV: ");255 pWrite(last->getPoly());255 //Print("NEW LAST GPREV: "); 256 //pWrite(last->getPoly()); 256 257 length++; 257 Print("LENGTH %d\n",length);258 //Print("LENGTH %d\n",length); 258 259 } 259 260 … … 261 262 last = last->insert(t,i,p,r); 262 263 length++; 263 Print("LENGTH %d\n",length);264 //Print("LENGTH %d\n",length); 264 265 } 265 266 … … 268 269 first = first->insertSP(lp); 269 270 length++; 270 Print("LENGTH %d\n",length);271 //Print("LENGTH %d\n",length); 271 272 } 272 273 … … 274 275 first = first->insertSP(t,i,p,r); 275 276 length++; 276 Print("LENGTH %d\n",length);277 //Print("LENGTH %d\n",length); 277 278 } 278 279 … … 281 282 first = first->insertByLabel(t,i,p,r); 282 283 length++; 283 Print("LENGTH %d\n",length);284 //Print("LENGTH %d\n",length); 284 285 } 285 286 … … 287 288 first = first->insertByLabel(l->getTerm(),l->getIndex(),l->getPoly(),l->getRule()); 288 289 length++; 289 Print("LENGTH %d\n",length);290 //Print("LENGTH %d\n",length); 290 291 } 291 292 … … 481 482 if( c->getDeg() == this->data->getDeg() ) { // same degree than the first list element 482 483 if(1 != pLmCmp(u1,ppMult_qq(this->data->getT1(), this->data->getLp1Term()))) { 483 pWrite(u1);484 Print("Multi-Term in CritPairs Sortierung altes Element: ");485 pWrite(ppMult_qq(this->data->getT1(),this->data->getLp1Term()));484 //pWrite(u1); 485 //Print("Multi-Term in CritPairs Sortierung altes Element: "); 486 //pWrite(ppMult_qq(this->data->getT1(),this->data->getLp1Term())); 486 487 CNode* newElement = new CNode(c, this); 487 488 return newElement; 488 489 } 489 490 else { 490 Print("Insert Deg\n");491 //Print("Insert Deg\n"); 491 492 CNode* temp = this; 492 493 while( NULL != temp->next->data ) { … … 810 811 // declaration with first as parameter due to sorting of RTagList 811 812 RTagNode* RTagNode::insert(RNode* r) { 812 Print("Hier1\n");813 //Print("Hier1\n"); 813 814 RTagNode* newElement = new RTagNode(r, this); 814 Print("Hier2\n");815 //Print("Hier2\n"); 815 816 return newElement; 816 817 } … … 833 834 int j; 834 835 RTagNode* temp = this; 835 Print("\n\nHIER IN GET IDX\n");836 Print("FOR LOOP: %d\n",length-idx+1);836 //Print("\n\nHIER IN GET IDX\n"); 837 //Print("FOR LOOP: %d\n",length-idx+1); 837 838 for(j=1; j<=length-idx+1; j++) { 838 839 temp = temp->next; … … 849 850 RTagNode* temp = this; 850 851 Print("1. element: %d",getRNode()->getRule()->getIndex()); 851 pWrite(getRNode()->getRule()->getTerm());852 //pWrite(getRNode()->getRule()->getTerm()); 852 853 temp = temp->next; 853 854 int i = 2; 854 855 while(NULL != temp->getRNode()) { 855 856 Print("%d. element: %d",i,getRNode()->getRule()->getIndex()); 856 pWrite(getRNode()->getRule()->getTerm());857 //pWrite(getRNode()->getRule()->getTerm()); 857 858 temp = temp->next; 858 859 i++; … … 878 879 void RTagList::insert(RNode* r) { 879 880 first = first->insert(r); 880 Print("LENGTH:%d\n",length);881 //Print("LENGTH:%d\n",length); 881 882 length = length +1; 882 Print("LENGTH:%d\n",length);883 //Print("LENGTH:%d\n",length); 883 884 } 884 885
Note: See TracChangeset
for help on using the changeset viewer.