Changeset 966c13 in git


Ignore:
Timestamp:
Jan 11, 2007, 4:45:25 PM (17 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b21a664aa22dc6e196223af8a74ad4885e83547c')
Children:
5865957857ccc5b0f08b2c1e1d0ab139f16b7de4
Parents:
962de7afef01a951b7e489f6efb8e5a087c8fc8f
Message:
*hannes: optim


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

Legend:

Unmodified
Added
Removed
  • kernel/kutil.cc

    r962de7 r966c13  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: kutil.cc,v 1.43 2007-01-11 10:27:03 Singular Exp $ */
     4/* $Id: kutil.cc,v 1.44 2007-01-11 15:45:25 Singular Exp $ */
    55/*
    66* ABSTRACT: kernel: utils for kStd
     
    10041004  h->ecart = h->pLDeg() - h->FDeg;
    10051005  // h->length is set by h->pLDeg
    1006   h->length=h->pLength=pLength(h->p);
     1006  h->pLength=pLength(h->p);
     1007  h->length=h->pLength;
    10071008}
    10081009
     
    20842085    strat->initEcart(&tmp_h);
    20852086    tmp_h.sev = pGetShortExpVector(tmp_h.p);
    2086     tmp_h.SetpFDeg();
    20872087    tmp_h.t_p = t_p;
    20882088
     
    24602460      h.p = tmp;
    24612461      h.tailRing = strat->tailRing;
    2462       if (TEST_OPT_INTSTRATEGY)
    2463       {
    2464         //pContent(h.p);
    2465         h.pCleardenom(); // also does a pContent
    2466       }
    2467       else
    2468       {
    2469         h.pNorm();
    2470       }
    2471       strat->initEcart(&h);
    24722462      int posx;
    24732463      if (h.p!=NULL)
    24742464      {
     2465        if (TEST_OPT_INTSTRATEGY)
     2466        {
     2467          //pContent(h.p);
     2468          h.pCleardenom(); // also does a pContent
     2469        }
     2470        else
     2471        {
     2472          h.pNorm();
     2473        }
     2474        strat->initEcart(&h);
    24752475        if (strat->Ll==-1)
    24762476          posx =0;
     
    42964296          h.pNorm();
    42974297        }
    4298         strat->initEcart(&h);
    42994298        if (pOrdSgn==-1)
    43004299        {
     
    43034302        if (h.p!=NULL)
    43044303        {
     4304          strat->initEcart(&h);
    43054305          if (strat->sl==-1)
    43064306            pos =0;
     
    43224322      LObject h;
    43234323      h.p = pCopy(F->m[i]);
     4324      if (pOrdSgn==-1)
     4325      {
     4326        cancelunit(&h);  /*- tries to cancel a unit -*/
     4327        deleteHC(&h, strat);
     4328      }
    43244329      if (TEST_OPT_INTSTRATEGY)
    43254330      {
     
    43314336        h.pNorm();
    43324337      }
    4333       strat->initEcart(&h);
    4334       if (pOrdSgn==-1)
    4335       {
    4336         cancelunit(&h);  /*- tries to cancel a unit -*/
    4337         deleteHC(&h, strat);
    4338       }
    43394338      if (h.p!=NULL)
    43404339      {
     4340        strat->initEcart(&h);
    43414341        if (strat->sl==-1)
    43424342          pos =0;
     
    43784378        LObject h;
    43794379        h.p = pCopy(Q->m[i]);
     4380        if (pOrdSgn==-1)
     4381        {
     4382          deleteHC(&h,strat);
     4383        }
    43804384        if (TEST_OPT_INTSTRATEGY)
    43814385        {
     
    43874391          h.pNorm();
    43884392        }
    4389         strat->initEcart(&h);
    4390         if (pOrdSgn==-1)
    4391         {
    4392           deleteHC(&h,strat);
    4393         }
    43944393        if (h.p!=NULL)
    43954394        {
     4395          strat->initEcart(&h);
    43964396          if (strat->sl==-1)
    43974397            pos =0;
     
    44134413      LObject h;
    44144414      h.p = pCopy(F->m[i]);
     4415      if (pOrdSgn==-1)
     4416      {
     4417        cancelunit(&h);  /*- tries to cancel a unit -*/
     4418        deleteHC(&h, strat);
     4419      }
    44154420      if (TEST_OPT_INTSTRATEGY)
    44164421      {
     
    44224427        h.pNorm();
    44234428      }
    4424       strat->initEcart(&h);
    4425       if (pOrdSgn==-1)
    4426       {
    4427         cancelunit(&h);  /*- tries to cancel a unit -*/
    4428         deleteHC(&h, strat);
    4429       }
    44304429      if (h.p!=NULL)
    44314430      {
     4431        strat->initEcart(&h);
    44324432        if (strat->Ll==-1)
    44334433          pos =0;
     
    44844484        //  h.pNorm();
    44854485        //}
    4486         strat->initEcart(&h);
    44874486        if (pOrdSgn==-1)
    44884487        {
     
    44914490        if (h.p!=NULL)
    44924491        {
     4492          strat->initEcart(&h);
    44934493          if (strat->sl==-1)
    44944494            pos =0;
     
    44984498          }
    44994499          h.sev = pGetShortExpVector(h.p);
    4500           h.SetpFDeg();
    45014500          strat->enterS(h,pos,strat, strat->tl+1);
    45024501          enterT(h, strat);
     
    45134512      LObject h;
    45144513      h.p = pCopy(F->m[i]);
    4515       if (pOrdSgn==1)
     4514      if (pOrdSgn==-1)
     4515      {
     4516        deleteHC(&h,strat);
     4517      }
     4518      else
    45164519      {
    45174520        h.p=redtailBba(h.p,strat->sl,strat);
    45184521      }
    4519       strat->initEcart(&h);
    4520       if (pOrdSgn==-1)
    4521       {
    4522         deleteHC(&h,strat);
    4523       }
    45244522      if (h.p!=NULL)
    45254523      {
     4524        strat->initEcart(&h);
    45264525        if (strat->sl==-1)
    45274526          pos =0;
     
    45304529        h.sev = pGetShortExpVector(h.p);
    45314530        strat->enterS(h,pos,strat, strat->tl+1);
    4532         h.length = h.GetpLength();
    4533         h.SetpFDeg();
    45344531        enterT(h,strat);
    45354532      }
     
    45424539      LObject h;
    45434540      h.p=pCopy(P->m[i]);
    4544       strat->initEcart(&h);
    4545       h.length = h.pLength = pLength(h.p);
    45464541      if (TEST_OPT_INTSTRATEGY)
    45474542      {
     
    45614556            h.p=redtailBba(h.p,strat->sl,strat);
    45624557          }
    4563           h.length=h.pLength=pLength(h.p);
    45644558        }
    45654559        else
    45664560        {
    45674561          h.p=redMora(h.p,strat->sl,strat);
     4562        }
     4563        if(h.p!=NULL)
     4564        {
    45684565          strat->initEcart(&h);
    4569         }
    4570         if(h.p!=NULL)
    4571         {
    45724566          if (TEST_OPT_INTSTRATEGY)
    45734567          {
     
    45904584      {
    45914585        h.sev = pGetShortExpVector(h.p);
    4592         h.SetpFDeg();
     4586        strat->initEcart(&h);
    45934587        strat->enterS(h,0,strat, strat->tl+1);
    45944588        enterT(h,strat);
     
    48544848          h.p = strat->S[i];
    48554849        }
     4850        strat->initEcart(&h);
    48564851        if (strat->honey)
    48574852        {
    4858           strat->initEcart(&h);
    48594853          strat->ecartS[i] = h.ecart;
    48604854        }
    4861         else
    4862           h.length=h.pLength=pLength(h.p);
    48634855        if (strat->sevS[i] == 0) {strat->sevS[i] = pGetShortExpVector(h.p);}
    48644856        else assume(strat->sevS[i] == pGetShortExpVector(h.p));
    48654857        h.sev = strat->sevS[i];
    4866         h.SetpFDeg();
    48674858        /*puts the elements of S also to T*/
    48684859        enterT(h,strat);
     
    48914882          else if (pCmp((strat->S)[i],redSi)!=0)
    48924883          {
     4884            h.p = strat->S[i];
     4885            strat->initEcart(&h);
     4886            strat->ecartS[i] = h.ecart;
    48934887            if (TEST_OPT_INTSTRATEGY)
    48944888            {
    48954889              pCleardenom(strat->S[i]);// also does a pContent
    4896               h.p = strat->S[i];
    4897               strat->initEcart(&h);
    4898               strat->ecartS[i] = h.ecart;
    48994890            }
    49004891            else
    49014892            {
    4902               pNorm(strat->S[i]);
    4903               h.p = strat->S[i];
    4904               strat->initEcart(&h);
    4905               strat->ecartS[i] = h.ecart;
     4893              pNorm(strat->S[i]); // == h.p
    49064894            }
    49074895            h.sev =  pGetShortExpVector(h.p);
Note: See TracChangeset for help on using the changeset viewer.