Home
last modified time | relevance | path

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

/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A Dkutil.cc10404 BOOLEAN reduction_found=FALSE; in updateResult() local
10420 reduction_found=TRUE; in updateResult()
10451 reduction_found=TRUE; in updateResult()
10465 if (/*TEST_OPT_REDSB &&*/ reduction_found) in updateResult()