Definition at line 173 of file M2FreeAlgebra.cpp.
References freeAlgebra(), ring_elem::get_Poly(), and FreeAlgebra::n_terms().
Referenced by is_zero().