Home
last modified time | relevance | path

Searched refs:noTailReduction (Results 1 – 8 of 8) sorted by relevance

/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A Dkverify.cc55 strat->noTailReduction = FALSE; in kVerify1()
157 strat->noTailReduction = FALSE; in kVerify2()
H A Dkstdfac.cc227 s->noTailReduction=o->noTailReduction; in kStratCopy()
277 strat->noTailReduction = FALSE; in completeReduceFac()
H A Dsca.cc1092 if ((!strat->noTailReduction) && (!strat->honey)) in k_sca_mora()
H A Dkutil.cc7076 if (strat->noTailReduction || pNext(p) == NULL) in redtail()
7148 if (strat->noTailReduction) return L->GetLmCurrRing(); in redtailBba()
7261 if (strat->noTailReduction) return L->GetLmCurrRing(); in redtailBbaBound()
7507 if (strat->noTailReduction) return L->GetLmCurrRing(); in redtailBba_Z()
7621 if (strat->noTailReduction) return L->GetLmCurrRing(); in redtailBba_Ring()
9702 strat->noTailReduction = !TEST_OPT_REDTAIL; in initBuchMoraCrit()
9776 strat->noTailReduction = !TEST_OPT_REDTAIL; in initSbaCrit()
9777 if(rHasMixedOrdering(currRing)) strat->noTailReduction =TRUE; in initSbaCrit()
10062 strat->noTailReduction = !TEST_OPT_REDTAIL; in initBuchMora()
10544 strat->noTailReduction = FALSE; in completeReduce()
[all …]
H A Dkutil.h382 /*BOOLEAN*/ char Gebauer,noTailReduction; variable
H A Dkstd1.cc2017 if ((!strat->noTailReduction) && (!strat->honey)) in mora()
3440 strat->noTailReduction=FALSE; in kInterRedOld()
H A Dkstd2.cc1570 if (strat->noTailReduction) return L->GetLmCurrRing(); in redtailSba()
/dports/math/singular/Singular-Release-4-2-1/Singular/
H A Dwalk.cc313 strat->noTailReduction=FALSE; in kInterRedCC()