Home
last modified time | relevance | path

Searched refs:initBuchMoraCrit (Results 1 – 10 of 10) sorted by relevance

/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A Dkverify.cc27 initBuchMoraCrit(strat); /*set Gebauer, honey, sugarCrit*/ in kVerify1()
129 initBuchMoraCrit(strat); /*set Gebauer, honey, sugarCrit*/ in kVerify2()
H A Dsca.cc159 initBuchMoraCrit(strat); // set Gebauer, honey, sugarCrit in k_sca_gr_bba()
437 initBuchMoraCrit(strat); // sets Gebauer, honey, sugarCrit // sca - ok??? in k_sca_bba()
915 initBuchMoraCrit(strat); in k_sca_mora()
H A Dkstd2.cc2383 initBuchMoraCrit(strat); /*set Gebauer, honey, sugarCrit*/ in bba()
3720 initBuchMoraCrit(strat); in kNF2()
3802 initBuchMoraCrit(strat); in kNF2Bound()
3880 initBuchMoraCrit(strat); in kNF2()
3968 initBuchMoraCrit(strat); in kNF2Bound()
4354 initBuchMoraCrit(strat); /*set Gebauer, honey, sugarCrit*/ in bbaShift()
H A Dkstd1.cc1875 initBuchMoraCrit(strat); in mora()
2146 initBuchMoraCrit(strat); in kNF1()
2290 initBuchMoraCrit(strat); in kNF1()
3425 initBuchMoraCrit(strat); in kInterRedOld()
3523 initBuchMoraCrit(strat); /*set Gebauer, honey, sugarCrit*/ in kInterRedBba()
H A Dgr_kstd2.cc1061 initBuchMoraCrit(strat); /*set Gebauer, honey, sugarCrit*/ in k_gnc_gr_bba()
H A Dkstdfac.cc840 initBuchMoraCrit(strat); /*set Gebauer, honey, sugarCrit*/ in kStdfac()
H A Dkutil.h570 void initBuchMoraCrit(kStrategy strat);
H A Dtgb.cc3336 initBuchMoraCrit (strat); in slimgb_alg()
H A Dkutil.cc9670 void initBuchMoraCrit(kStrategy strat) in initBuchMoraCrit() function
/dports/math/singular/Singular-Release-4-2-1/Singular/
H A Dwalk.cc283 initBuchMoraCrit(strat); in kInterRedCC()