Definition at line 488 of file NCGroebnerTest.cpp.
References WordTable::insert(), monom1, monom2, monom3, and WordTable::monomialCount().