Home
last modified time | relevance | path

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

/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A Dkutil.h199 BOOLEAN prod_crit; variable
H A Dkstd2.cc3044 if (strat->P.prod_crit) in sba()
H A Dkutil.cc2669 Lp.prod_crit = TRUE; // Product Criterion in enterOnePairSig()
3048 Lp.prod_crit = TRUE; // Product Criterion in enterOnePairSigRing()