mult_by_term()

ring_elem PolyRing::mult_by_term ( const ring_elem f, const ring_elem c, const_monomial m ) const

virtual

Implements PolynomialRing.

Reimplemented in SchurRing, SkewPolynomialRing, SolvableAlgebra, and WeylAlgebra.

Definition at line 781 of file poly.cpp.

{
  Nterm head;
  Nterm *result = &head;
  for (Nterm& a : f)
    {
      result->next = new_term();
      result = result->next;
      result->coeff = K_->mult(a.coeff, c);
      M_->mult(m, a.monom, result->monom);
    }
  result->next = nullptr;
  return head.next;
}

References PolynomialRing::K_, PolynomialRing::M_, new_term(), Nterm::next, and result().

Referenced by convolve(), division_algorithm_with_laurent_variables(), imp_subtract_multiple_to(), mult(), and power_direct().