autoreduceByLastElement()

void NCF4::autoreduceByLastElement ( )

private

Definition at line 358 of file NCF4.cpp.

{
  if (mGroebner.size() <= 1) return;
  const Poly& lastPoly = *(mGroebner[mGroebner.size()-1]);
  Monom leadMon = lastPoly.cbegin().monom();
  for (auto fPtr = mGroebner.begin(); fPtr != mGroebner.end() - 1; ++fPtr)
  {
    ring_elem foundCoeff = getCoeffOfMonom(**fPtr,leadMon);
    if (!freeAlgebra().coefficientRing()->is_zero(foundCoeff))
    {
      Poly* result = new Poly;
      freeAlgebra().subtractScalarMultipleOf(*result,**fPtr,lastPoly,foundCoeff);
      freeAlgebra().swap(**fPtr,*result);
    }
  }
}

References freeAlgebra(), getCoeffOfMonom(), mGroebner, result(), FreeAlgebra::subtractScalarMultipleOf(), and FreeAlgebra::swap().