mult_by_term()

virtual ring_elem PolyRingQuotient::mult_by_term ( const ring_elem f, const ring_elem c, const_monomial m ) const

inlinevirtual

Implements PolynomialRing.

Definition at line 313 of file polyquotient.hpp.

  {
    ring_elem result = numerR_->mult_by_term(f, c, m);
    normal_form(result);
    return result;
  }

References normal_form(), PolynomialRing::numerR_, and result().