Definition at line 77 of file NCGroebner.hpp.
Referenced by createOverlapPoly(), initReductionOnly(), and NCGroebner().