Changeset b18ea6 in git for kernel/GBEngine/kutil.cc


Ignore:
Timestamp:
Feb 14, 2017, 4:15:23 PM (7 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')
Children:
54c80cb81ed58f166a023fc060f541e24ebd5892
Parents:
d9cb95f3845a633ab0381967b7930368de50baa8
Message:
more static in kutil.cc
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/GBEngine/kutil.cc

    rd9cb95f rb18ea6  
    1217612176* put the pairs (sh \dot s[i],p)  into the set B, ecart=ecart(p)
    1217712177*/
    12178 void enterOnePairManyShifts (int i, poly p, int ecart, int isFromQ, kStrategy strat, int atR, int uptodeg, int lV)
     12178static void enterOnePairManyShifts (int i, poly p, int ecart, int isFromQ, kStrategy strat, int atR, int uptodeg, int lV)
    1217912179{
    1218012180  /* p comes from strat->P.p, that is LObject with LM in currRing and Tail in tailRing */
     
    1260512605
    1260612606#ifdef HAVE_SHIFTBBA
    12607 /*2
    12608 *(s[0],h),...,(s[k],h) will be put to the pairset L(via initenterpairs)
    12609 *superfluous elements in S will be deleted
    12610 */
    12611 void enterpairsShift (poly h,int k,int ecart,int pos,kStrategy strat, int atR,int uptodeg, int lV)
    12612 {
    12613   /* h is strat->P.p, that is LObject with LM in currRing and Tail in tailRing */
    12614   /* Q: what is exactly the strat->fromT ? A: a local case trick; don't need it yet*/
    12615   int j=pos;
    12616 
    12617   assume (!rField_is_Ring(currRing));
    12618   initenterpairsShift(h,k,ecart,0,strat, atR,uptodeg,lV);
    12619   if ( (!strat->fromT)
    12620   && ((strat->syzComp==0)
    12621     ||(pGetComp(h)<=strat->syzComp)))
    12622   {
    12623     //Print("start clearS k=%d, pos=%d, sl=%d\n",k,pos,strat->sl);
    12624     unsigned long h_sev = pGetShortExpVector(h);
    12625     loop
    12626     {
    12627       if (j > k) break;
    12628       clearS(h,h_sev, &j,&k,strat);
    12629       j++;
    12630     }
    12631     //Print("end clearS sl=%d\n",strat->sl);
    12632   }
    12633  // PrintS("end enterpairs\n");
    12634 }
    12635 #endif
    12636 
    12637 #ifdef HAVE_SHIFTBBA
    1263812607/*3
    1263912608*(s[0], s \dot h),...,(s[k],s \dot h) will be put to the pairset L
     
    1270612675
    1270712676  }
     12677}
     12678#endif
     12679
     12680#ifdef HAVE_SHIFTBBA
     12681/*2
     12682*(s[0],h),...,(s[k],h) will be put to the pairset L(via initenterpairs)
     12683*superfluous elements in S will be deleted
     12684*/
     12685void enterpairsShift (poly h,int k,int ecart,int pos,kStrategy strat, int atR,int uptodeg, int lV)
     12686{
     12687  /* h is strat->P.p, that is LObject with LM in currRing and Tail in tailRing */
     12688  /* Q: what is exactly the strat->fromT ? A: a local case trick; don't need it yet*/
     12689  int j=pos;
     12690
     12691  assume (!rField_is_Ring(currRing));
     12692  initenterpairsShift(h,k,ecart,0,strat, atR,uptodeg,lV);
     12693  if ( (!strat->fromT)
     12694  && ((strat->syzComp==0)
     12695    ||(pGetComp(h)<=strat->syzComp)))
     12696  {
     12697    //Print("start clearS k=%d, pos=%d, sl=%d\n",k,pos,strat->sl);
     12698    unsigned long h_sev = pGetShortExpVector(h);
     12699    loop
     12700    {
     12701      if (j > k) break;
     12702      clearS(h,h_sev, &j,&k,strat);
     12703      j++;
     12704    }
     12705    //Print("end clearS sl=%d\n",strat->sl);
     12706  }
     12707 // PrintS("end enterpairs\n");
    1270812708}
    1270912709#endif
Note: See TracChangeset for help on using the changeset viewer.