Searched refs:syzl (Results 1 – 3 of 3) sorted by relevance
5948 if (strat->syzl==0) return 0; in posInSyz()5950 return strat->syzl; in posInSyz()5953 int en= strat->syzl-1; in posInSyz()6764 max = strat->syzl; in syzCriterionInc()8038 strat->syzl = 0; in initSLSba()8198 strat->syzl = 0; in initSyzRules()8308 for(i=0;i<=strat->syzl-1;i++) in initSyzRules()9587 if (atT < strat->syzl) in enterSyz()9612 strat->syzl++; in enterSyz()9642 for(i=0;i<=strat->syzl-1;i++) in enterSyz()[all …]
352 int syzl,syzmax,syzidxmax; variable
3316 if (strat->syzl == strat->syzmax) in sba()3404 if (p_LmCmp(Q.sig,strat->syz[strat->syzl-1],currRing) == -currRing->OrdSgn) in sba()3558 size_syz = strat->syzl; in sba()