getCoeffOfMonom()

ring_elem NCGroebner::getCoeffOfMonom ( const Poly & f, const Monom & m )

private

Definition at line 221 of file NCGroebner.cpp.

{
  for (auto t = f.cbegin(); t != f.cend(); ++t)
  {
    if (freeAlgebra().monoid().isEqual(t.monom(),m))
      return t.coeff();
  }
  return freeAlgebra().coefficientRing()->zero();
}

References FreeAlgebra::coefficientRing(), freeAlgebra(), and Ring::zero().

Referenced by autoreduceByLastElement().