not_sevSig (reference) in projects: dports

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

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()