lead_logical_coeff()

virtual ring_elem PolyRingQuotient::lead_logical_coeff ( const Ring * coeffR, const ring_elem f ) const

inlinevirtual

Implements PolynomialRing.

Definition at line 378 of file polyquotient.hpp.

  {
    return numerR_->PolyRing::lead_logical_coeff(coeffR, f);
  }

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