Changeset fcb8022 in git for kernel/f5lists.cc

Timestamp:

Feb 8, 2009, 8:17:54 PM (15 years ago)

Author:

Christian Eder

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

35d0d1a7256e75184cea2fe4d2e02762b243b544

Parents:

9bb97ef0a0e640ba336498902b874a16dc7b978e

Message:

rTag update


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

File:

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

kernel/f5lists.cc

@@ -126 +126 @@
 }
 
-bool LNode::getDel() {
-    return data->getDel();
-}
-
 // set the data from the LPoly saved in LNode
 void LNode::setPoly(poly p) {
@@ -141 +137 @@
 void LNode::setIndex(int i) {
     data->setIndex(i);
-}
-
-void LNode::setDel(bool d) {
-    data->setDel(d);
 }
 
@@ -224 +216 @@
 }
 
+void LList::setFirst(LNode* l) {
+    LNode* temp =   first;
+    first       =   l;
+    delete(temp);
+}
+
+/*
+===================================
+functions working on the class LRed
+===================================
+*/
+LRed::LRed() {
+    data                =   NULL;
+    gPrevRedCheck       =   NULL;
+    completedRedCheck   =   NULL;
+}
+
+LRed::LRed(poly t,int i,poly p,LNode* g, LNode* c) {
+    LPoly* lp           =   new LPoly(t,i,p);
+    data                =   lp;
+    gPrevRedCheck       =   g;
+    completedRedCheck   =   c;
+}
+
+LPoly* LRed::getLPoly() {
+    return data;
+}
+
+LNode* LRed::getGPrevRedCheck() {
+    return gPrevRedCheck;
+}
+
+LNode* LRed::getCompletedRedCheck() {
+    return completedRedCheck;
+}
+
+// get the data from the LPoly saved in LNode
+poly LRed::getPoly() {
+    return data->getPoly();
+}
+
+poly LRed::getTerm() {
+    return data->getTerm();
+}
+
+int LRed::getIndex() {
+    return data->getIndex();
+}
+
+// set the data from the LPoly saved in LNode
+void LRed::setPoly(poly p) {
+    data->setPoly(p);
+}
+
+void LRed::setTerm(poly t) {
+    data->setTerm(t);
+}
+
+void LRed::setIndex(int i) {
+    data->setIndex(i);
+}
+
+
 /*
 =======================================
@@ -336 +391 @@
         }
         if( c->getDeg() == this->data->getDeg() ) { // same degree than the first list element
-            if(0 == pLmCmp(u1,ppMult_qq(this->data->getT1(), this->data->getLp1Term())) ||
-               -1 == pLmCmp(u1,ppMult_qq(this->data->getT1(), this->data->getLp1Term()))) {
+            if(1 != pLmCmp(u1,ppMult_qq(this->data->getT1(), this->data->getLp1Term()))) {
                 pWrite(u1);
                 Print("Multi-Term in CritPairs Sortierung altes Element: ");
@@ -378 +432 @@
                 }
                 if( c->getDeg() == temp->next->data->getDeg() ) {
-                    if(0 == pLmCmp(u1,ppMult_qq(temp->next->data->getT1(),temp->next->data->getLp1Term())) || 
-                       -1 == pLmCmp(u1,ppMult_qq(temp->next->data->getT1(),temp->next->data->getLp1Term()))) { 
+                    if(1 != pLmCmp(u1,ppMult_qq(temp->next->data->getT1(),temp->next->data->getLp1Term()))) { 
                         CNode* newElement   =   new CNode(c, temp->next);
                         temp->next          =   newElement;
@@ -605 +658 @@
 }
 
+LPoly* RNode::getRuleOrigin() {
+    return data->getOrigin();
+}
+
 /*
 ====================================
@@ -660 +717 @@
 }
        
-// declaration with first as parameter due to sorting of LTagList
+// declaration with first as parameter due to sorting of RTagList
 RTagNode* RTagNode::insert(RNode* r) {
     Print("Hier1\n");
@@ -689 +746 @@
 }
 
+void RTagNode::set(RNode* r) {
+    this->data  =   r;
+}
 
 /*
@@ -719 +779 @@
     return first->get(idx, length);
 }
+
+void RTagList::setFirst(RNode* r) {
+    first->set(r);
+}
 #endif