Definition at line 687 of file FreeAlgebra.cpp.
References Monom::begin(), coefficientRing(), Monom::end(), and is_zero().