Definition at line 289 of file M2FreeAlgebraQuotient.cpp.
References debug_display(), and ring_elem::get_Poly().