text_out()

void M2::ARingTower::text_out

(

buffer &

o

)

const

Definition at line 165 of file aring-tower.cpp.

{
  o << "Tower[ZZ/" << characteristic() << "[";
  for (size_t i = 0; i < n_vars() - 1; i++) o << varNames()[i] << ",";
  if (n_vars() > 0) o << varNames()[n_vars() - 1];
  o << "]]";
  extensions_text_out(o);
}

References characteristic(), extensions_text_out(), n_vars(), and varNames().