/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/ |
H A D | sca.cc | 197 while (strat->Ll >= 0) deleteInL(strat->L,&strat->Ll,strat->Ll,strat); in k_sca_gr_bba() 202 strat->P = strat->L[strat->Ll]; in k_sca_gr_bba() 231 strat->red(&strat->P,strat); in k_sca_gr_bba() 298 pos = strat->posInL(strat->L,strat->Ll,&h,strat); in k_sca_gr_bba() 567 deleteInL(strat->L,&strat->Ll,strat->Ll,strat); in k_sca_bba() 575 strat->P = strat->L[strat->Ll]; in k_sca_bba() 675 enterpairs(strat->P.p,strat->sl,strat->P.ecart,pos,strat, strat->tl); in k_sca_bba() 678 strat->enterS(strat->P, pos, strat, strat->tl); in k_sca_bba() 1037 deleteInL(strat->L,&strat->Ll,strat->Ll,strat); in k_sca_mora() 1090 strat->P.p = redtail(&(strat->P),strat->sl,strat); in k_sca_mora() [all …]
|
H A D | kstd2.cc | 787 at = strat->posInL(strat->L,strat->Ll,h,strat); in redRing_Z() 807 at = strat->posInL(strat->L,strat->Ll,h,strat); in redRing_Z() 889 at = strat->posInL(strat->L,strat->Ll,h,strat); in redRing() 1077 at = strat->posInL(strat->L,strat->Ll,h,strat); in redHomog() 1295 at = strat->posInL(strat->L,strat->Ll,h,strat); in redSig() 1832 at = strat->posInL(strat->L,strat->Ll,h,strat); in redLazy() 2072 at = strat->posInL(strat->L,strat->Ll,h,strat); in redHoney() 2919 strat->enterS(strat->L[strat->Ll-(i)], strat->sl+1, strat, strat->tl); in sba() 3280 …superenterpairsSig(strat->P.p,strat->P.sig,strat->sl+1,strat->sl,strat->P.ecart,pos,strat, strat->… in sba() 3282 … enterpairsSig(strat->P.p,strat->P.sig,strat->sl+1,strat->sl,strat->P.ecart,pos,strat, strat->tl); in sba() [all …]
|
H A D | kstd1.cc | 240 at = strat->posInL(strat->L,strat->Ll,h,strat); in redEcart() 348 at = strat->posInL(strat->L,strat->Ll,h,strat); in redEcart() 375 at = strat->posInL(strat->L,strat->Ll,h,strat); in redEcart() 473 at = strat->posInL(strat->L,strat->Ll,h,strat); in redRiloc() 530 at = strat->posInL(strat->L,strat->Ll,h,strat); in redRiloc() 557 at = strat->posInL(strat->L,strat->Ll,h,strat); in redRiloc() 923 at = strat->posInL(strat->L,strat->Ll,h,strat); in redFirst() 952 at = strat->posInL(strat->L,strat->Ll,h,strat); in redFirst() 1929 deleteInL(strat->L,&strat->Ll,strat->Ll,strat); in mora() 1945 deleteInL(strat->L,&strat->Ll,strat->Ll,strat); in mora() [all …]
|
H A D | gr_kstd2.cc | 134 at = strat->posInL(strat->L,strat->Ll,h,strat); in redGrFirst() 691 at = strat->posInL(strat->L,strat->Ll,h,strat); 756 at = strat->posInL(strat->L,strat->Ll,h,strat); 914 at = strat->posInL(strat->L,strat->Ll,h,strat); 1091 while (strat->Ll >= 0) deleteInL(strat->L,&strat->Ll,strat->Ll,strat); in k_gnc_gr_bba() 1095 strat->P = strat->L[strat->Ll]; in k_gnc_gr_bba() 1157 strat->red(&strat->P,strat); in k_gnc_gr_bba() 1190 int pos=posInS(strat,strat->sl,strat->P.p, strat->P.ecart); in k_gnc_gr_bba() 1223 enterpairs(strat->P.p,strat->sl,strat->P.ecart,pos,strat); in k_gnc_gr_bba() 1226 else pos=posInS(strat,strat->sl,strat->P.p,strat->P.ecart); in k_gnc_gr_bba() [all …]
|
H A D | kverify.cc | 38 strat->L = initL(strat->Lmax); in kVerify1() 62 initenterpairs(strat->S[i],i-1,0,strat->fromQ[i],strat); in kVerify1() 69 initenterpairs(strat->S[i],i-1,0,FALSE,strat); in kVerify1() 81 strat->P = strat->L[i]; in kVerify1() 82 if (pNext(strat->P.p) == strat->tail) in kVerify1() 88 kCheckSpolyCreation(&(strat->P), strat, m1, m2); in kVerify1() 90 strat->tailRing, m1, m2, strat->R); in kVerify1() 100 poly p=redNF(strat->P.p,sl,TRUE,strat); in kVerify1() 140 strat->L = initL(strat->Lmax); in kVerify2() 164 initenterpairs(strat->S[i],i-1,0,strat->fromQ[i],strat); in kVerify2() [all …]
|
H A D | kutil.cc | 1557 posx = strat->posInL(strat->B,strat->Bl,&h,strat); in enterOnePairRing() 1906 strat->enterS(strat->P,strat->sl+1,strat, strat->tl+1); in enterOneStrongPolySig() 1933 strat->enterS(strat->P,strat->sl+1,strat, strat->tl+1); in enterOneStrongPolySig() 1946 strat->enterS(strat->P,strat->sl+1,strat, strat->tl+1); in enterOneStrongPolySig() 1947 strat->enterS(h,strat->sl+1,strat,strat->tl+1); in enterOneStrongPolySig() 2232 l = strat->posInL(strat->B,strat->Bl,&Lp,strat); in enterOnePairNormal() 2456 l = strat->posInL(strat->B,strat->Bl,&Lp,strat); in enterOnePairLift() 2869 strat->enterS(strat->P,strat->sl+1,strat, strat->tl+1); in enterOnePairSigRing() 3111 strat->enterS(strat->P,strat->sl+1,strat, strat->tl+1); in enterOnePairSigRing() 3188 l = strat->posInL(strat->L,strat->Ll,&Lp,strat); in enterOnePairSpecial() [all …]
|
H A D | kutil.h | 424 void cleanT (kStrategy strat); 571 void initSbaCrit(kStrategy strat); 575 void initSbaPos(kStrategy strat); 579 void exitSba (kStrategy strat); 582 void kFreeStrat(kStrategy strat); 588 BOOLEAN newHEdge(kStrategy strat); 649 BOOLEAN kTest(kStrategy strat); 651 BOOLEAN kTest_TS(kStrategy strat); 659 BOOLEAN kTest_S(kStrategy strat); 681 void initBba(kStrategy strat); [all …]
|
H A D | khstd.cc | 29 kStrategy strat) in khCheck() argument 55 if (strat->ak>0) in khCheck() 59 for(i=strat->sl;i>0;i--) in khCheck() 63 for(i=strat->ak;i>0;i--) in khCheck() 80 newhilb = hHstdSeries(strat->Shdl,w,strat->kHomW,Q,strat->tailRing); in khCheck() 106 deleteInL(strat->L,&strat->Ll,strat->Ll,strat); in khCheck() 119 while ((strat->Ll>=0) && (degp(strat->L[strat->Ll].p,currRing)-mw < deg)) // the essential step in khCheck() 127 deleteInL(strat->L,&strat->Ll,strat->Ll,strat); in khCheck() 134 kStrategy strat) in khCheckLocInhom() argument 154 while (strat->Ll>=0) in khCheckLocInhom() [all …]
|
H A D | kstdfac.cc | 289 strat->S[si] = redtailBba(strat->S[si],si-1,strat); in completeReduceFac() 303 strat->initEcart(&strat->T[i]); in completeReduceFac() 488 if ((strat->Ll==-1) && (strat->sl>=0)) in bbafac() 499 && (strat->L[strat->Ll].ecart+currRing->pFDeg(strat->L[strat->Ll].p,currRing)>Kstd1_deg)) in bbafac() 507 while (strat->Ll >= 0) deleteInL(strat->L,&strat->Ll,strat->Ll,strat); in bbafac() 511 strat->P = strat->L[strat->Ll]; in bbafac() 513 if (pNext(strat->P.p) == strat->tail) in bbafac() 534 red_result = strat->red(&strat->P,strat); in bbafac() 546 strat->P.p = redtailBba(strat->P.p,strat->sl,strat); in bbafac() 552 strat->P.p = redtailBba(strat->P.p,strat->sl,strat); in bbafac() [all …]
|
H A D | kLiftstd.cc | 32 if (currRing!=strat->tailRing) in kSplitAt() 154 if (strat->tl<0) return 1; in redLiftstd() 176 poly h_tail=kSplitAt(strat->syzComp,h,strat); in redLiftstd() 198 ei = strat->T[j].ecart; in redLiftstd() 199 li = strat->T[j].pLength; in redLiftstd() 215 if (i > strat->tl) in redLiftstd() 224 p_LmShortDivisibleBy(strat->T[i].GetLmTailRing(), strat->sevT[i], in redLiftstd() 248 strat->T[ii].wrp(); in redLiftstd() 258 poly T_tail=kSplitAt(strat->syzComp,&strat->T[ii],strat); in redLiftstd() 260 ksReducePoly(h,&(strat->T[ii]),NULL,&A[pass],&C[pass], strat); in redLiftstd() [all …]
|
/dports/math/brial/BRiAl-1.2.10/sage-brial/brial/ |
H A D | nf.py | 19 self.strat = strat 363 strat.implications(len(strat) - 1) 382 strat = GroebnerStrategy(strat) 421 strat = GroebnerStrategy(strat) 439 strat = symmGB_F2_python(strat, prot=True) 473 strat = GroebnerStrategy(strat) 478 strat = symmGB_F2_python(strat, deg_bound=deg_bound, 502 strat = symmGB_F2_python(strat, prot=True) 552 strat = GroebnerStrategy(strat) 561 strat = symmGB_F2_python(strat, deg_bound=deg_bound, [all …]
|
/dports/math/py-brial/BRiAl-1.2.10/sage-brial/brial/ |
H A D | nf.py | 19 self.strat = strat 363 strat.implications(len(strat) - 1) 382 strat = GroebnerStrategy(strat) 421 strat = GroebnerStrategy(strat) 439 strat = symmGB_F2_python(strat, prot=True) 473 strat = GroebnerStrategy(strat) 478 strat = symmGB_F2_python(strat, deg_bound=deg_bound, 502 strat = symmGB_F2_python(strat, prot=True) 552 strat = GroebnerStrategy(strat) 561 strat = symmGB_F2_python(strat, deg_bound=deg_bound, [all …]
|
/dports/math/py-brial/BRiAl-1.2.10/groebner/src/ |
H A D | nf.cc | 72 …(((strat.optBrutalReductions) && (rest_lead!=strat[index].lead))||((strat[index].length<4) &&(stra… in nf3() 101 …(((strat.generators.optBrutalReductions) && (rest_lead!=strat.generators[index].lead))||((strat.ge… in nf3_lexbuckets() 133 (((strat.optBrutalReductions) && (rest_lead!=strat[index].lead))|| in nf3_no_deg_growth() 134 ((strat[index].length<4) &&(strat[index].ecart()==0) && in nf3_no_deg_growth() 162 (((strat.optBrutalReductions) && (lead!=strat[index].lead))|| in nf3_degree_order() 163 ((strat[index].length<4) &&(strat[index].ecart()==0) in nf3_degree_order() 199 ((strat[index].length<4) &&(strat[index].ecart()==0) && (p.lead()!=strat[index].lead)){ in nf3_short() 262 if ((strat.generators[i].minimal)&&(strat.generators[i].length==2)) in exchange_with_promise() 264 strat.addNonTrivialImplicationsDelayed(strat.generators[i]); in exchange_with_promise() 266 strat.propagate(strat.generators[i]); in exchange_with_promise() [all …]
|
/dports/math/brial/BRiAl-1.2.10/groebner/src/ |
H A D | nf.cc | 72 …(((strat.optBrutalReductions) && (rest_lead!=strat[index].lead))||((strat[index].length<4) &&(stra… in nf3() 101 …(((strat.generators.optBrutalReductions) && (rest_lead!=strat.generators[index].lead))||((strat.ge… in nf3_lexbuckets() 133 (((strat.optBrutalReductions) && (rest_lead!=strat[index].lead))|| in nf3_no_deg_growth() 134 ((strat[index].length<4) &&(strat[index].ecart()==0) && in nf3_no_deg_growth() 162 (((strat.optBrutalReductions) && (lead!=strat[index].lead))|| in nf3_degree_order() 163 ((strat[index].length<4) &&(strat[index].ecart()==0) in nf3_degree_order() 199 ((strat[index].length<4) &&(strat[index].ecart()==0) && (p.lead()!=strat[index].lead)){ in nf3_short() 262 if ((strat.generators[i].minimal)&&(strat.generators[i].length==2)) in exchange_with_promise() 264 strat.addNonTrivialImplicationsDelayed(strat.generators[i]); in exchange_with_promise() 266 strat.propagate(strat.generators[i]); in exchange_with_promise() [all …]
|
/dports/math/singular/Singular-Release-4-2-1/Singular/dyn_modules/gfanlib/ |
H A D | std_wrapper.cc | 31 if (strat->P.t_p==NULL) in sat_vars_sp() 33 poly p=strat->P.p; in sat_vars_sp() 58 memset(&strat->P,0,sizeof(strat->P)); in sat_vars_sp() 59 strat->P.tailRing = strat->tailRing; in sat_vars_sp() 60 strat->P.p=p; in sat_vars_sp() 101 p=p_Copy(strat->P.t_p,strat->tailRing); in sat_vars_sp() 102 memset(&strat->P,0,sizeof(strat->P)); in sat_vars_sp() 103 strat->P.tailRing = strat->tailRing; in sat_vars_sp() 104 strat->P.t_p=p; in sat_vars_sp() 155 deleteInL(strat->L,&strat->Ll,strat->Ll,strat); in abort_if_monomial_sp() [all …]
|
/dports/math/eprover/eprover-E-2.0/PYTHON/ |
H A D | pylib_etestset.py | 53 def strat_str(strat): argument 55 return str(strat) 92 strat.parse(specdir, protdir) 94 self.processing[strat.name] = strat 115 strat.sync() 116 if not strat.complete(): 118 self.strats.append((strat.name, strat.specdir, strat.protdir)) 120 self.strats.insert((strat.name, strat.specdir, strat.protdir)) 153 strat.add_result(result) 154 if strat.complete(): [all …]
|
/dports/math/singular/Singular-Release-4-2-1/misc/ |
H A D | std_demo.cc | 12 p_Write(strat->P.p,currRing,strat->tailRing); in display_sp() 41 poly p=strat->P.p; in divide_sp() 59 p_Write(strat->P.p,currRing,strat->tailRing); in divide_sp() 62 strat->P.p=p; in divide_sp() 70 p_Write(strat->P.p,currRing,strat->tailRing); in divide_sp() 94 p_Write(strat->P.t_p,strat->tailRing,strat->tailRing); in divide_sp() 96 p=p_Copy(strat->P.t_p,strat->tailRing); in divide_sp() 97 strat->P.t_p=p; in divide_sp() 98 strat->P.p=NULL; in divide_sp() 106 strat->P.GetP(); in divide_sp() [all …]
|
/dports/math/py-brial/BRiAl-1.2.10/groebner/include/polybori/groebner/ |
H A D | HasTRepOrExtendedProductCriterion.h | 44 GroebnerStrategy* strat; 47 this->strat=&strat; in HasTRepOrExtendedProductCriterion() 51 int i = strat->generators.index(m); in operator() 53 if (strat->pairs.status.hasTRep(i,j)) in operator() 56 …riterion(const_cast<const GroebnerStrategy*>(strat)->generators[i],const_cast<const GroebnerStrate… in operator() 57 strat->pairs.status.setToHasTRep(i,j); in operator() 58 strat->extendedProductCriterions++; in operator() 65 i=strat->generators.index(m); in operator() 67 if (strat->pairs.status.hasTRep(i,j)) in operator() 71 strat->pairs.status.setToHasTRep(i,j); in operator() [all …]
|
/dports/math/brial/BRiAl-1.2.10/groebner/include/polybori/groebner/ |
H A D | HasTRepOrExtendedProductCriterion.h | 44 GroebnerStrategy* strat; 47 this->strat=&strat; in HasTRepOrExtendedProductCriterion() 51 int i = strat->generators.index(m); in operator() 53 if (strat->pairs.status.hasTRep(i,j)) in operator() 56 …riterion(const_cast<const GroebnerStrategy*>(strat)->generators[i],const_cast<const GroebnerStrate… in operator() 57 strat->pairs.status.setToHasTRep(i,j); in operator() 58 strat->extendedProductCriterions++; in operator() 65 i=strat->generators.index(m); in operator() 67 if (strat->pairs.status.hasTRep(i,j)) in operator() 71 strat->pairs.status.setToHasTRep(i,j); in operator() [all …]
|
/dports/cad/scotch/scotch-6.0.4/src/libscotch/ |
H A D | kdgraph_map_st.c | 127 const Strat * restrict const strat) /*+ Mapping strategy +*/ in kdgraphMapSt() argument 143 if ((strat->tabl != &kdgraphmapststratab) && in kdgraphMapSt() 144 (strat != &stratdummy)) { in kdgraphMapSt() 151 switch (strat->type) { in kdgraphMapSt() 153 …o = kdgraphMapSt (grafptr, mappptr, strat->data.concat.strat[0]); /* Apply first strategy … in kdgraphMapSt() 155 …o |= kdgraphMapSt (grafptr, mappptr, strat->data.concat.strat[1]); /* Then apply second strategy */ in kdgraphMapSt() 158 o = stratTestEval (strat->data.cond.test, &val, (void *) grafptr); /* Evaluate expression */ in kdgraphMapSt() 169 … o = kdgraphMapSt (grafptr, mappptr, strat->data.cond.strat[0]); /* Apply first strategy */ in kdgraphMapSt() 171 … if (strat->data.cond.strat[1] != NULL) /* And if there is an else statement */ in kdgraphMapSt() 172 … o = kdgraphMapSt (grafptr, mappptr, strat->data.cond.strat[1]); /* Apply second strategy */ in kdgraphMapSt() [all …]
|
H A D | wgraph_part_st.c | 208 if ((strat->tabl != &wgraphpartststratab) && in wgraphPartSt() 209 (strat != &stratdummy)) { in wgraphPartSt() 216 switch (strat->type) { in wgraphPartSt() 218 o = wgraphPartSt (grafptr, strat->data.concat.strat[0]); /* Apply the first strategy */ in wgraphPartSt() 220 o |= wgraphPartSt (grafptr, strat->data.concat.strat[1]); /* Then apply second strategy */ in wgraphPartSt() 234 o = wgraphPartSt (grafptr, strat->data.cond.strat[0]); /* Apply first strategy */ in wgraphPartSt() 236 if (strat->data.cond.strat[1] != NULL) /* And if there is an else statement */ in wgraphPartSt() 237 o = wgraphPartSt (grafptr, strat->data.cond.strat[1]); /* Apply second strategy */ in wgraphPartSt() 252 o = wgraphPartSt (grafptr, strat->data.select.strat[0]); /* Apply first strategy */ in wgraphPartSt() 255 o2 = wgraphPartSt (grafptr, strat->data.select.strat[1]); /* Apply second strategy */ in wgraphPartSt() [all …]
|
H A D | parser_yy.y | 140 Strat * strat; variable 151 strat->data.select.strat[0] = ($1); 152 strat->data.select.strat[1] = ($3); 154 ($$) = strat; 172 ($$) = strat; 189 strat->data.concat.strat[0] = ($1); 190 strat->data.concat.strat[1] = ($2); 192 ($$) = strat; 221 strat->data.cond.strat[0] = ($6); 222 strat->data.cond.strat[1] = ($7); [all …]
|
H A D | parser.c | 131 o = stratExit (strat->data.concat.strat[0]); in stratExit() 132 o |= stratExit (strat->data.concat.strat[1]); in stratExit() 136 o |= stratExit (strat->data.cond.strat[0]); in stratExit() 137 if (strat->data.cond.strat[1] != NULL) in stratExit() 138 o |= stratExit (strat->data.cond.strat[1]); in stratExit() 141 o = stratExit (strat->data.select.strat[0]); in stratExit() 142 o |= stratExit (strat->data.select.strat[1]); in stratExit() 196 (stratSave (strat->data.cond.strat[0], stream) != 0)) in stratSave() 198 if ((o == 0) && (strat->data.cond.strat[1] != NULL)) { in stratSave() 200 (stratSave (strat->data.cond.strat[1], stream) != 0)) in stratSave() [all …]
|
H A D | vmesh_separate_st.c | 199 const Strat * restrict const strat) /*+ Separation strategy +*/ in vmeshSeparateSt() argument 219 if (strat->tabl != &vmeshseparateststratab) { in vmeshSeparateSt() 226 switch (strat->type) { in vmeshSeparateSt() 228 … o = vmeshSeparateSt (meshptr, strat->data.concat.strat[0]); /* Apply first strategy */ in vmeshSeparateSt() 230 … o |= vmeshSeparateSt (meshptr, strat->data.concat.strat[1]); /* Then apply second strategy */ in vmeshSeparateSt() 244 o = vmeshSeparateSt (meshptr, strat->data.cond.strat[0]); /* Apply first strategy */ in vmeshSeparateSt() 246 if (strat->data.cond.strat[1] != NULL) /* And if there is an else statement */ in vmeshSeparateSt() 247 o = vmeshSeparateSt (meshptr, strat->data.cond.strat[1]); /* Apply second strategy */ in vmeshSeparateSt() 262 vmeshSeparateSt (meshptr, strat->data.select.strat[0]); /* Apply first strategy */ in vmeshSeparateSt() 265 vmeshSeparateSt (meshptr, strat->data.select.strat[1]); /* Apply second strategy */ in vmeshSeparateSt() [all …]
|
/dports/games/stendhal/stendhal-1.35/tests/games/stendhal/server/entity/creature/impl/attack/ |
H A D | AttackWeakestTest.java | 53 AttackStrategy strat = new AttackWeakest(); in testhasValidTargetNonAttacker() local 65 AttackStrategy strat = new AttackWeakest(); in testhasValidTargetInvisibleVictim() local 84 AttackStrategy strat = new AttackWeakest(); in testhasValidTargetDifferentZones() local 103 AttackStrategy strat = new AttackWeakest(); in testFindNewTarget() local 125 strat.findNewTarget(creature); in testFindNewTarget() 135 AttackStrategy strat = new AttackWeakest(); in testFindNewTargetFromDistance() local 163 strat.findNewTarget(creature); in testFindNewTargetFromDistance() 173 AttackStrategy strat = new AttackWeakest(); in testSwitchTargets() local 199 strat.findNewTarget(creature); in testSwitchTargets() 225 AttackStrategy strat = new AttackWeakest(); in testSwitchTargetsIgnoreCreatures() local [all …]
|