dgbvec()

void dgbvec	(	const GBRing *	R,
		gbvector *	v )

Definition at line 95 of file debug.cpp.

{
  buffer o;
  const FreeModule *F = nullptr;
  R->gbvector_text_out(o, F, v);
  emit(o.str());
}

References emit(), GBRing::gbvector_text_out(), and buffer::str().

Referenced by gbvectorHeap::show().