Searched refs:not_sevSig (Results 1 – 2 of 2) sorted by relevance
/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/ |
H A D | kutil.h | 293 BOOLEAN (*syzCrit) (poly sig, unsigned long not_sevSig, kStrategy strat); 294 …BOOLEAN (*rewCrit1) (poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start /*= 0… 295 …BOOLEAN (*rewCrit2) (poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start /*= 0… 296 …BOOLEAN (*rewCrit3) (poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start /*= 0… 589 BOOLEAN syzCriterion(poly sig, unsigned long not_sevSig, kStrategy strat); 590 BOOLEAN syzCriterionInc(poly sig, unsigned long not_sevSig, kStrategy strat); 591 KINLINE BOOLEAN arriRewDummy(poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int star… 592 BOOLEAN arriRewCriterion(poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start); 593 BOOLEAN arriRewCriterionPre(poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start… 594 BOOLEAN faugereRewCriterion(poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start… [all …]
|
H A D | kutil.cc | 6708 BOOLEAN syzCriterion(poly sig, unsigned long not_sevSig, kStrategy strat) in syzCriterion() argument 6723 if (p_LmShortDivisibleBy(strat->syz[k], strat->sevSyz[k], sig, not_sevSig, currRing) in syzCriterion() 6743 BOOLEAN syzCriterionInc(poly sig, unsigned long not_sevSig, kStrategy strat) in syzCriterionInc() argument 6777 if (p_LmShortDivisibleBy(strat->syz[k], strat->sevSyz[k], sig, not_sevSig, currRing) in syzCriterionInc() 6792 BOOLEAN faugereRewCriterion(poly sig, unsigned long not_sevSig, poly /*lm*/, kStrategy strat, int s… in faugereRewCriterion() argument 6810 if (p_LmShortDivisibleBy(strat->sig[k], strat->sevSig[k], sig, not_sevSig, currRing)) in faugereRewCriterion() 6876 BOOLEAN arriRewCriterionPre(poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int /*sta… in arriRewCriterionPre() argument 6905 if (p_LmShortDivisibleBy(strat->sig[ii], strat->sevSig[ii], sig, not_sevSig, currRing)) in arriRewCriterionPre()
|