displayGroebnerBasis()

auto NCGroebner::displayGroebnerBasis

(

std::ostream &

o

)

const->void

Definition at line 427 of file NCGroebner.cpp.

{
  o << "Current GB:" << std::endl;
  for (auto f : mGroebner)
  {
    buffer b1;
    freeAlgebra().elem_text_out(b1,*f, true, true, true);
    o << b1.str() << std::endl;
  }
}

References freeAlgebra(), mGroebner, and buffer::str().