Changeset 8066e80 in git for kernel/f5lists.cc
- Timestamp:
- Feb 27, 2009, 11:22:30 PM (14 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
- Children:
- ab1c364e790c486830be3f3070fa8f106c67d182
- Parents:
- 0ffc8230cf8843aba541f656189c14bc57b1700f
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/f5lists.cc
r0ffc823 r8066e80 91 91 LNode* LNode::insertSP(LPoly* lp) { 92 92 LNode* newElement = new LNode(lp, this); 93 Print("INSERTED IN SPOLYLIST: "); 94 pWrite(lp->getTerm()); 93 95 return newElement; 94 96 } … … 96 98 LNode* LNode::insertSP(poly t, int i, poly p, Rule* r) { 97 99 LNode* newElement = new LNode(t, i, p, r, NULL, this); 98 return newElement; 100 Print("INSERTED IN SPOLYLIST: "); 101 pWrite(t); 102 return newElement; 99 103 } 100 104 // insert new elemets to the list w.r.t. increasing labels 101 105 // only used for the S-polys to be reduced (TopReduction building new S-polys with higher label) 102 106 LNode* LNode::insertByLabel(poly t, int i, poly p, Rule* r) { 103 if(NULL == this || NULL == data) { 104 LNode* newElement = new LNode(t, i, p, r, this); 107 Print("ADDING SOLYS TO THE LIST\n"); 108 Print("new element: "); 109 pWrite(t); 110 if(NULL == this || NULL == data) { 111 LNode* newElement = new LNode(t, i, p, r, NULL, this); 105 112 return newElement; 106 113 } 107 114 else { 115 Print("tested element1: "); 116 pWrite(this->getTerm()); 108 117 if(-1 == pLmCmp(t,this->getTerm())) { 109 LNode* newElement = new LNode(t, i, p, r, this); 118 Print("HIERDRIN\n"); 119 LNode* newElement = new LNode(t, i, p, r, NULL, this); 120 Print("%p\n",this); 121 Print("%p\n",newElement->next); 110 122 return newElement; 111 123 } … … 113 125 LNode* temp = this; 114 126 while(NULL != temp->next && NULL != temp->next->data) { 115 if(-1 == pLmCmp(t,temp->next->getTerm())) { 116 LNode* newElement = new LNode(t, i, p, r, temp->next); 127 Print("tested element: "); 128 pWrite(temp->getTerm()); 129 if(-1 == pLmCmp(t,temp->next->getTerm())) { 130 LNode* newElement = new LNode(t, i, p, r, NULL, temp->next); 117 131 temp->next = newElement; 118 132 return this; … … 127 141 } 128 142 //Print("HIER\n"); 129 LNode* newElement = new LNode(t, i, p, r, temp->next);143 LNode* newElement = new LNode(t, i, p, r, NULL, temp->next); 130 144 temp->next = newElement; 131 145 return this; … … 214 228 Print("%p\n",this); 215 229 while(NULL != temp && NULL != temp->data) { 216 Print("HIER\n");217 230 Print("Index: %d\n",temp->getIndex()); 218 231 Print("Term: "); … … 220 233 Print("Poly: "); 221 234 pWrite(temp->getPoly()); 222 Print(" \n");235 Print("%p\n",temp->next); 223 236 temp = temp->next; 224 237 } 238 Print("_______________________________________________________________\n"); 225 239 } 226 240
Note: See TracChangeset
for help on using the changeset viewer.