coeffMode()

enum factoryCoeffMode coeffMode ( const PolynomialRing * P )

static

Definition at line 51 of file factory.cpp.

{
  const Ring *F = P->getCoefficientRing();
  // if (F->cast_to_QQ()) return modeQQ;
  if (F->is_QQ()) return modeQQ;
  if (F->cast_to_RingZZ()) return modeZZ;
  // factory will abort if the characteristic is too large
  if (F->characteristic() > 536870909) {
    ERROR("characteristic is too large (max is 2^29)");
    return modeError;
  }
  if (F->isFinitePrimeField()) return modeZn;
  if (F->isGaloisField()) return modeGF;
  ERROR("expected coefficient ring of the form ZZ/n, ZZ, QQ, or GF");
  return modeError;
}

References Ring::cast_to_RingZZ(), Ring::characteristic(), ERROR, PolynomialRing::getCoefficientRing(), Ring::is_QQ(), Ring::isFinitePrimeField(), Ring::isGaloisField(), modeError, modeGF, modeQQ, modeZn, and modeZZ.

Referenced by enter_factory::enter_factory().