promote()

bool PolyRingQuotient::promote ( const Ring * R, const ring_elem f, ring_elem & result ) const

virtual

Implements Ring.

Definition at line 136 of file polyquotient.cpp.

{
  const PolynomialRing *R1 = Rf->cast_to_PolynomialRing();
  if (Rf == numerR_ || (R1 != nullptr && numerR_ == R1->getAmbientRing()))
    {
      result = copy(f);
      normal_form(result);
      return true;
    }
  return numerR_->PolyRing::promote(Rf, f, result);
}

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