Definition at line 773 of file FreeAlgebra.cpp.
References coefficientRing(), and Ring::divide().
Referenced by NCGroebner::addToGroebnerBasis().