Changeset b18ea6 in git for kernel/GBEngine/kutil.cc
- Timestamp:
- Feb 14, 2017, 4:15:23 PM (7 years ago)
- Branches:
- (u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')
- Children:
- 54c80cb81ed58f166a023fc060f541e24ebd5892
- Parents:
- d9cb95f3845a633ab0381967b7930368de50baa8
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/GBEngine/kutil.cc
rd9cb95f rb18ea6 12176 12176 * put the pairs (sh \dot s[i],p) into the set B, ecart=ecart(p) 12177 12177 */ 12178 void enterOnePairManyShifts (int i, poly p, int ecart, int isFromQ, kStrategy strat, int atR, int uptodeg, int lV)12178 static void enterOnePairManyShifts (int i, poly p, int ecart, int isFromQ, kStrategy strat, int atR, int uptodeg, int lV) 12179 12179 { 12180 12180 /* p comes from strat->P.p, that is LObject with LM in currRing and Tail in tailRing */ … … 12605 12605 12606 12606 #ifdef HAVE_SHIFTBBA 12607 /*212608 *(s[0],h),...,(s[k],h) will be put to the pairset L(via initenterpairs)12609 *superfluous elements in S will be deleted12610 */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 loop12626 {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 #endif12636 12637 #ifdef HAVE_SHIFTBBA12638 12607 /*3 12639 12608 *(s[0], s \dot h),...,(s[k],s \dot h) will be put to the pairset L … … 12706 12675 12707 12676 } 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 */ 12685 void 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"); 12708 12708 } 12709 12709 #endif
Note: See TracChangeset
for help on using the changeset viewer.