dNterm()

void dNterm	(	const Ring *	R,
		const Nterm *	f )

Definition at line 80 of file debug.cpp.

{
  buffer o;
  ring_elem g = const_cast<Nterm *>(f);
  R->elem_text_out(o, g);
  emit(o.str());
}

References Ring::elem_text_out(), emit(), and buffer::str().