isUnivariateOverPrimeField()

const PolyRing * isUnivariateOverPrimeField

(

const Ring *

R

)

Definition at line 2240 of file poly.cpp.

{
  const PolyRing *P = R->cast_to_PolyRing();
  if (P == nullptr) return nullptr;
  if (P->n_vars() != 1) return nullptr;
  if (P->characteristic() == 0) return nullptr;
  return P;
}

References Ring::cast_to_PolyRing(), Ring::characteristic(), and PolynomialRing::n_vars().