text_out()

void LocalRing::text_out ( buffer & o ) const

virtual

Implements Ring.

Definition at line 692 of file localring.cpp.

{
  o << "LocalRing(";
  mRing->text_out(o);
  o << ", Prime ideal => ";
  mPrime->get_mingens()->text_out(o);
  o << ")";
}

References mPrime, and mRing.