make_flat_term()

virtual ring_elem PolyRingQuotient::make_flat_term ( const ring_elem a, const_monomial m ) const

inlinevirtual

Implements PolynomialRing.

Definition at line 356 of file polyquotient.hpp.

  {
    ring_elem result = numerR_->PolyRing::make_flat_term(a, m);
    normal_form(result);
    return result;
  }

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