lead_flat_coeff()

virtual ring_elem PolyRingQuotient::lead_flat_coeff ( const ring_elem f ) const

inlinevirtual

Implements PolynomialRing.

Definition at line 373 of file polyquotient.hpp.

  {
    return numerR_->PolyRing::lead_flat_coeff(f);
  }

References PolynomialRing::numerR_.