Home
last modified time | relevance | path

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

/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A Dkutil.h37 #define REDNF_CANONICALIZE 60 macro
H A Dkstd2.cc2130 int cnt=REDNF_CANONICALIZE; in redNF()
2220 cnt=REDNF_CANONICALIZE; in redNF()