createOverlapPoly() [2/2]

auto NCGroebner::createOverlapPoly

(

Overlap

o

)

const->Poly *

Definition at line 371 of file NCGroebner.cpp.

{
  if (std::get<1>(overlap) == -1)
    {
      // if we are here, then 'overlap' represents a generator
      const Poly* f = mInput[std::get<0>(overlap)];
      Poly * result = new Poly;
      freeAlgebra().copy(*result, *f);
      return result;
    }
  else return createOverlapPoly(freeAlgebra(),
                                mGroebner,
                                std::get<0>(overlap),
                                std::get<1>(overlap),
                                std::get<2>(overlap));
}

References createOverlapPoly(), freeAlgebra(), mGroebner, mInput, and result().