Home
last modified time | relevance | path

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

/dports/math/singular/Singular-Release-4-2-1/libpolys/misc/
H A Doptions.h113 #define TEST_OPT_DEGBOUND BTEST1(OPT_DEGBOUND) macro
/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A Dsca.cc189 if (TEST_OPT_DEGBOUND in k_sca_gr_bba()
546 if (TEST_OPT_DEGBOUND in k_sca_bba()
1026 if (TEST_OPT_DEGBOUND in k_sca_mora()
H A Dkstd1.cc1932 if (TEST_OPT_DEGBOUND in mora()
2138 ||(TEST_OPT_DEGBOUND && (pWTotaldegree(strat->kNoether)<Kstd1_deg)))) in kNF1()
2282 ||(TEST_OPT_DEGBOUND && (pWTotaldegree(strat->kNoether)<Kstd1_deg)))) in kNF1()
2476 else if (!TEST_OPT_DEGBOUND) in kStd()
2536 else if (!TEST_OPT_DEGBOUND) in kStd()
2672 else if (!TEST_OPT_DEGBOUND) in kSba()
2823 else if (!TEST_OPT_DEGBOUND) in kSba()
2953 else if (!TEST_OPT_DEGBOUND) in kStdShift()
3051 BOOLEAN oldDegBound=TEST_OPT_DEGBOUND; in kMin_std()
3508 else if (!TEST_OPT_DEGBOUND) in kInterRedBba()
H A Dsyz.cc400 BOOLEAN oldDegBound=TEST_OPT_DEGBOUND; in syResolvente()
524 if ((currRing->qideal==NULL)&&(syzIndex==0)&& (!TEST_OPT_DEGBOUND)) in syResolvente()
H A Dgr_kstd2.cc1081 if (TEST_OPT_DEGBOUND in k_gnc_gr_bba()
H A Dkstdfac.cc497 if (TEST_OPT_DEGBOUND in bbafac()
H A Dkstd2.cc2433 if (TEST_OPT_DEGBOUND in bba()
4404 if (TEST_OPT_DEGBOUND in bbaShift()
H A Dtgb.cc3687 && ((!(TEST_OPT_DEGBOUND)) in do_t_rep_gb()
H A Dkutil.cc11873 if(TEST_OPT_DEGBOUND) in kDebugPrint()
/dports/math/singular/Singular-Release-4-2-1/Singular/
H A Diparith.cc3476 if(!TEST_OPT_DEGBOUND) setFlag(res,FLAG_STD); in jjSTD_1()
4959 if(!TEST_OPT_DEGBOUND) setFlag(res,FLAG_STD); in jjSLIM_GB()
4985 if(!TEST_OPT_DEGBOUND) setFlag(res,FLAG_STD); in jjSBA()
5011 if(!TEST_OPT_DEGBOUND) setFlag(res,FLAG_STD); in jjSBA_1()
5037 if(!TEST_OPT_DEGBOUND) setFlag(res,FLAG_STD); in jjSBA_2()
5065 if(!TEST_OPT_DEGBOUND) setFlag(res,FLAG_STD); in jjSTD()
5268 if(!TEST_OPT_DEGBOUND) setFlag(res,FLAG_STD); in jjRIGHTSTD()
5290 if(!TEST_OPT_DEGBOUND) setFlag(res,FLAG_STD); in jjRIGHTSTD()
8627 if (!TEST_OPT_DEGBOUND) setFlag(res,FLAG_STD); in jjSTD_HILB_WP()