Home
last modified time | relevance | path

Searched refs:TEST_OPT_IDLIFT (Results 1 – 6 of 6) sorted by relevance

/dports/math/singular/Singular-Release-4-2-1/libpolys/misc/
H A Doptions.h129 #define TEST_OPT_IDLIFT BVERBOSE(V_IDLIFT) macro
/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A DkLiftstd.cc156 assume(TEST_OPT_IDLIFT); in redLiftstd()
H A Dkstd2.cc1026 if (UNLIKELY(TEST_OPT_IDLIFT)) in redHomog()
1784 if (UNLIKELY(TEST_OPT_IDLIFT)) in redLazy()
2013 if (UNLIKELY(TEST_OPT_IDLIFT)) in redHoney()
2585 if (((!TEST_OPT_IDLIFT) || (pGetComp(strat->P.p) <= strat->syzComp)) in bba()
4240 if ((!TEST_OPT_IDLIFT) || (pGetComp(strat->P.p) <= strat->syzComp)) in f5c()
4565 if ((!TEST_OPT_IDLIFT) || (pGetComp(strat->P.p) <= strat->syzComp)) in bbaShift()
H A Dkstd1.cc267 if (TEST_OPT_IDLIFT) in redEcart()
839 if (TEST_OPT_IDLIFT) in redFirst()
1691 if (TEST_OPT_IDLIFT) in initBba()
3619 if ((!TEST_OPT_IDLIFT) || (pGetComp(strat->P.p) <= strat->syzComp)) in kInterRedBba()
H A Dkutil.cc7176 if (TEST_OPT_IDLIFT) in redtailBba()
7285 if (TEST_OPT_IDLIFT) in redtailBbaBound()
7404 if (TEST_OPT_IDLIFT) in redtailBbaAlsoLC_Z()
9690 if (TEST_OPT_IDLIFT in initBuchMoraCrit()
H A Dtgb.cc2853 if(TEST_OPT_IDLIFT in go_on()