Changeset e6d283f in git


Ignore:
Timestamp:
Mar 9, 2009, 3:51:42 PM (14 years ago)
Author:
Christian Eder
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '00e2e9c41af3fde1273eb3633f4c0c7c3db2579d')
Children:
eaf8f8b4f95c284ab0699312757271180dc0a38f
Parents:
289032d41e414e0a05677e5e4c79c368eebd4fb2
Message:
rTag stuff done for F5C


git-svn-id: file:///usr/local/Singular/svn/trunk@11528 2c84dea3-7e68-4137-9b89-c4e89433aadc
Location:
kernel
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • kernel/f5gb.cc

    r289032 re6d283f  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: f5gb.cc,v 1.41 2009-03-08 20:20:21 ederc Exp $ */
     4/* $Id: f5gb.cc,v 1.42 2009-03-09 14:51:42 ederc Exp $ */
    55/*
    66* ABSTRACT: f5gb interface
    … …  
    2424#include "f5data.h"
    2525#include "f5lists.h"
    26 
    2726int reductionsToZero   =  0;
    2827
    … …  
    298297// start at the previously added element to gPrev, as all other elements will have the same index for sure
    299298    RNode* testNode =   new RNode();
    300     /*
    301     if(NULL == rTag->getFirst()->getRule()) {
     299     
     300    if(NULL == rTag->getFirst() || NULL == rTag->getFirst()->getRule()) {
    302301        testNode    =   rules->getFirst();
    303302    }
    … …  
    307306        }
    308307        else {
    309         //Print("DEBUG\n");
     308       //Print("HIER\n");
     309            //Print("DEBUG\n");
    310310        //Print("L INDEX: %d\n",l->getIndex());
    311311            /*-------------------------------------
    … …  
    313313             *       INDEX OF THE PREVIOUS ELEMENTS
    314314             *       GETS HIGHER!
    315              *-----------------------------------
    316             testNode    =   rules->getFirst();
    317             //testNode    =   rTag->get(l->getIndex());
     315             *-----------------------------------*/
     316            //testNode    =   rules->getFirst();
     317            testNode    =   rTag->get(l->getIndex());
     318            if(NULL == testNode) {
     319                testNode    =   rules->getFirst();
     320            }
    318321            //Print("TESTNODE ADDRESS: %p\n",testNode);
    319322        }
    320323    }
    321     */
    322     testNode    =   rules->getFirst();
     324   
     325    //testNode    =   rules->getFirst();
    323326        // save the monom t1*label_term(l) as it is tested various times in the following
    324327    poly u1 = ppMult_qq(t,l->getTerm());
    … …  
    351354            //Print("Criterion 2 NOT passed!\n");
    352355            pDelete(&u1);
     356    //Print("------------------------------IN CRITERION 2/1-----------------------------------------\n\n");
    353357            return true;
    354358        }
    … …  
    357361    //delete testNode;
    358362    pDelete(&u1);
     363    //Print("------------------------------IN CRITERION 2/1-----------------------------------------\n\n");
    359364    return false;
    360365}
    … …  
    392397            //Print("Criterion 2 NOT passed!\n");
    393398            pDelete(&u1);
     399    //Print("------------------------------IN CRITERION 2/2-----------------------------------------\n\n");
    394400            return true;
    395401        }
    … …  
    397403    }
    398404    pDelete(&u1);
     405    //Print("------------------------------IN CRITERION 2/2-----------------------------------------\n\n");
    399406    return false;
    400407}
    … …  
    894901                pLcm(pHead(gbPrev->m[0]),pHead(gbPrev->m[1]),tempPoly);
    895902                rules    =   new RList();
     903                rTag     =   new RTagList(rules->getFirst());
    896904               
    897905                //Print("%p\n",rules->getFirst());
    898906                //pWrite(tempPoly);
    899907                rules->insert(2,tempPoly);
    900                 rTag    =   new RTagList(rules->getFirst());
     908                rTag->insert(rules->getFirst());
     909                //Print("%p\n",rules->getFirst());
     910                //Print("%p\n",rTag->getFirst());
    901911                //Print("%p\n",rules->getFirst());
    902912                //Print("%p\n",rules->getFirst()->getNext()->getNext());
    … …  
    918928           
    919929            gbLength    =   gPrev->getLength();
    920 
     930            //Print("HIER\n");
    921931        }
    922932        //gPrev->print();

  • kernel/f5lists.cc

    r289032 re6d283f  
    849849       
    850850RTagNode::RTagNode(RNode* r, RTagNode* n) {
     851   
    851852    data = r;
    852853    next = n;
    … …  
    901902void RTagNode::print() {
    902903    RTagNode* temp  =   this;
    903     Print("1. element: %d",getRNode()->getRule()->getIndex());
    904     //pWrite(getRNode()->getRule()->getTerm());
    905     temp    =   temp->next;
    906     int i   =   2;
    907     while(NULL != temp->getRNode()) {
    908         Print("%d. element: %d",i,getRNode()->getRule()->getIndex());
    909         //pWrite(getRNode()->getRule()->getTerm());
     904    if(NULL != temp && NULL != temp->getRNode()) {
     905        Print("1. element: %d,  ",getRNode()->getRule()->getIndex());
     906        pWrite(getRNode()->getRule()->getTerm());
    910907        temp    =   temp->next;
    911         i++;
     908        int i   =   2;
     909        while(NULL != temp->getRNode() && NULL != temp) {
     910            Print("%d. element: %d,  ",i,getRNode()->getRule()->getIndex());
     911            pWrite(getRNode()->getRule()->getTerm());
     912            temp    =   temp->next;
     913            i++;
     914        }
    912915    }
    913916}
    … …  
    930933RTagList::~RTagList() {
    931934    RTagNode* temp;
    932     while(first) {
     935    while(first->getRNode()) {
    933936        temp    =   first;
    934937        first   =   first->getNext();
Note: See TracChangeset for help on using the changeset viewer.