addPolynomial() [2/2]

MapPolynomialHeap & MapPolynomialHeap::addPolynomial ( ring_elem coeff, Word left, Word right, const Poly & poly )

inlineoverridevirtual

Implements PolynomialHeap.

Definition at line 675 of file NCReduction.cpp.

  {
    Poly f;
    mRing.mult_by_term_left_and_right(f, poly, coeff, left, right);
    addPolynomial(f);
    return *this;
  }

References addPolynomial(), MapPolynomialHeap(), and mRing.