make_logical_term()

virtual ring_elem PolyRingQuotient::make_logical_term ( const Ring * coeffR, const ring_elem a, const_exponents exp ) const

inlinevirtual

Implements PolynomialRing.

Definition at line 363 of file polyquotient.hpp.

  {
    ring_elem result = numerR_->PolyRing::make_logical_term(coeffR, a, exp);
    normal_form(result);
    return result;
  }

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