rawDenominatorRing()

const Ring * rawDenominatorRing

(

const Ring *

R

)

Definition at line 606 of file ring.cpp.

{
  const PolynomialRing *P = R->cast_to_PolynomialRing();
  if (P == nullptr)
    {
      ERROR("expected polynomial ring");
      return nullptr;
    }
  return P->getDenominatorRing();
}

References Ring::cast_to_PolynomialRing(), ERROR, and PolynomialRing::getDenominatorRing().