Searched refs:initBuchMoraCrit (Results 1 – 10 of 10) sorted by relevance
/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/ |
H A D | kverify.cc | 27 initBuchMoraCrit(strat); /*set Gebauer, honey, sugarCrit*/ in kVerify1() 129 initBuchMoraCrit(strat); /*set Gebauer, honey, sugarCrit*/ in kVerify2()
|
H A D | sca.cc | 159 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 D | kstd2.cc | 2383 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 D | kstd1.cc | 1875 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 D | gr_kstd2.cc | 1061 initBuchMoraCrit(strat); /*set Gebauer, honey, sugarCrit*/ in k_gnc_gr_bba()
|
H A D | kstdfac.cc | 840 initBuchMoraCrit(strat); /*set Gebauer, honey, sugarCrit*/ in kStdfac()
|
H A D | kutil.h | 570 void initBuchMoraCrit(kStrategy strat);
|
H A D | tgb.cc | 3336 initBuchMoraCrit (strat); in slimgb_alg()
|
H A D | kutil.cc | 9670 void initBuchMoraCrit(kStrategy strat) in initBuchMoraCrit() function
|
/dports/math/singular/Singular-Release-4-2-1/Singular/ |
H A D | walk.cc | 283 initBuchMoraCrit(strat); in kInterRedCC()
|