Home
last modified time | relevance | path

Searched refs:strat (Results 1 – 25 of 1866) sorted by relevance

12345678910>>...75

/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A Dsca.cc197 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 Dkstd2.cc787 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 Dkstd1.cc240 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 Dgr_kstd2.cc134 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 Dkverify.cc38 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 Dkutil.cc1557 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 Dkutil.h424 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 Dkhstd.cc29 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 Dkstdfac.cc289 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 DkLiftstd.cc32 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 Dnf.py19 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 Dnf.py19 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 Dnf.cc72 …(((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 Dnf.cc72 …(((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 Dstd_wrapper.cc31 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 Dpylib_etestset.py53 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 Dstd_demo.cc12 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 DHasTRepOrExtendedProductCriterion.h44 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 DHasTRepOrExtendedProductCriterion.h44 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 Dkdgraph_map_st.c127 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 Dwgraph_part_st.c208 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 Dparser_yy.y140 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 Dparser.c131 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 Dvmesh_separate_st.c199 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 DAttackWeakestTest.java53 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 …]

12345678910>>...75