imp_subtract_multiple_to()

void PolyRing::imp_subtract_multiple_to ( ring_elem & f, ring_elem a, const_monomial m, const ring_elem g ) const

protected

Definition at line 1000 of file poly.cpp.

{
  ring_elem b = K_->negate(a);
  ring_elem h = mult_by_term(g, b, m);
  add_to(f, h);
}

References Ring::add_to(), PolynomialRing::K_, and mult_by_term().

Referenced by imp_attempt_to_cancel_lead_term().