Home
last modified time | relevance | path

Searched refs:faugereRewCriterion (Results 1 – 3 of 3) sorted by relevance

/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A Dkstd1.cc2635 strat->rewCrit1 = faugereRewCriterion; in kSba()
2636 strat->rewCrit2 = faugereRewCriterion; in kSba()
2637 strat->rewCrit3 = faugereRewCriterion; in kSba()
2786 strat->rewCrit1 = faugereRewCriterion; in kSba()
2787 strat->rewCrit2 = faugereRewCriterion; in kSba()
2788 strat->rewCrit3 = faugereRewCriterion; in kSba()
H A Dkutil.h594 BOOLEAN faugereRewCriterion(poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start…
H A Dkutil.cc6792 BOOLEAN faugereRewCriterion(poly sig, unsigned long not_sevSig, poly /*lm*/, kStrategy strat, int s… in faugereRewCriterion() function