| 19 | #endif |
| 20 | |
| 21 | BOOLEAN kVerify1(ideal F, ideal Q) |
| 22 | /* sequential version */ |
| 23 | { |
| 24 | assume (!rIsNCRing(currRing)); |
| 25 | kStrategy strat=new skStrategy; |
| 26 | strat->ak = id_RankFreeModule(F,currRing); |
| 27 | strat->kModW=kModW=NULL; |
| 28 | strat->kHomW=kHomW=NULL; |
| 29 | initBuchMoraCrit(strat); /*set Gebauer, honey, sugarCrit*/ |
| 30 | initBuchMoraPos(strat); |
| 31 | initBba(strat); |
| 32 | initBuchMora(F, Q,strat); |
| 33 | /*initBuchMora:*/ |
| 34 | strat->tail = pInit(); |
| 35 | /*- set s -*/ |
| 36 | strat->sl = -1; |
| 37 | /*- set L -*/ |
| 38 | strat->Lmax = ((IDELEMS(F)+setmaxLinc-1)/setmaxLinc)*setmaxLinc; |
| 39 | strat->Ll = -1; |
| 40 | strat->L = initL(strat->Lmax); |
| 41 | /*- set B -*/ |
| 42 | strat->Bmax = setmaxL; |
| 43 | strat->Bl = -1; |
| 44 | strat->B = initL(); |
| 45 | /*- set T -*/ |
| 46 | strat->tl = -1; |
| 47 | strat->tmax = setmaxT; |
| 48 | strat->T = initT(); |
| 49 | strat->R = initR(); |
| 50 | strat->sevT = initsevT(); |
| 51 | /*- init local data struct.---------------------------------------- -*/ |
| 52 | strat->P.ecart=0; |
| 53 | strat->P.length=0; |
| 54 | strat->P.pLength=0; |
| 55 | initS(F, Q,strat); /*sets also S, ecartS, fromQ */ |
| 56 | strat->fromT = FALSE; |
| 57 | strat->noTailReduction = FALSE; |
| 58 | /*----------------------------------------------------------------------*/ |
| 59 | /* build pairs */ |
| 60 | if (strat->fromQ!=NULL) |
| 61 | { |
| 62 | for(int i=1; i<=strat->sl;i++) |
| 63 | { |
| 64 | initenterpairs(strat->S[i],i-1,0,strat->fromQ[i],strat); |
| 65 | } |
| 66 | } |
| 67 | else |
| 68 | { |
| 69 | for(int i=1; i<=strat->sl;i++) |
| 70 | { |
| 71 | initenterpairs(strat->S[i],i-1,0,FALSE,strat); |
| 72 | } |
| 73 | } |
| 74 | if (TEST_OPT_PROT) printf("%d pairs created\n",strat->Ll+1); |
| 75 | if (TEST_OPT_DEBUG) messageSets(strat); |
| 76 | /*---------------------------------------------------------------------*/ |
| 77 | BOOLEAN all_okay=TRUE; |
| 78 | for(int i=strat->Ll;i>=0; i--) |
no test coverage detected