text_out()

void FreeModule::text_out

(

buffer &

o

)

const

Definition at line 471 of file freemod.cpp.

{
  int i;
  int rk = rank();
  o << "free(rank " << rk << " degrees = {";
  auto D = R->degree_monoid();
  for (i = 0; i < rk; i++)
    {
      if (i != 0) o << ", ";
      D->elem_text_out(o, degree(i));
    }
  o << "}";
  if (schreyer != nullptr) schreyer->text_out(o);
  o << ')';
}

References degree(), R, rank(), and schreyer.

Referenced by dfree(), and IM2_FreeModule_to_string().