lift()

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

virtual

Implements Ring.

Definition at line 122 of file polyquotient.cpp.

{
  const PolynomialRing *Rg1 = Rg->cast_to_PolynomialRing();
  if (Rg == numerR_ || (Rg1 != nullptr && Rg1->getAmbientRing() == numerR_))
    {
      result = f;
      return true;
    }
  return numerR_->PolyRing::lift(Rg, f, result);
}

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