divide_coeff_to()

virtual void PolyRingQuotient::divide_coeff_to ( ring_elem & f, ring_elem a ) const

inlinevirtual

Implements PolynomialRing.

Definition at line 421 of file polyquotient.hpp.

  {
    numerR_->PolyRing::divide_coeff_to(f, a);
    // I dont believe that a normal form is required here (MES)
  }

References PolynomialRing::numerR_.