rawGbBoolean()

const Matrix * rawGbBoolean

(

const Matrix *

m

)

Definition at line 100 of file franzi-interface.cpp.

{
  IntermediateBasis F = BRPSfromMatrix(m);
  // cout << "first BRP in F " << F.begin()->second << endl;
  const Ring *R = m->get_ring();
  const PolynomialRing *P = R->cast_to_PolynomialRing();
  if (P == nullptr)
    {
      ERROR("expected a polynomial ring");
      return nullptr;
    }
  if (P->characteristic() != 2)
    {
      ERROR("expected coefficient ring ZZ/2");
      return nullptr;
    }
  if (not P->getCoefficientRing()->isFinitePrimeField())
    {
      ERROR("expected coefficient ring ZZ/2");
      return nullptr;
    }
  int n = P->n_vars();
  if (n > 64)
    {
      ERROR("Cannot handle more than 64 variables yet");
      return nullptr;
    }
  gb(F, n);
  // cout << "first BRP in F after gb() " << F.begin()->second << endl;
  return BRPStoMatrix(P, F);
}

References BRPSfromMatrix(), BRPStoMatrix(), Ring::cast_to_PolynomialRing(), Ring::characteristic(), ERROR, gb(), Matrix::get_ring(), PolynomialRing::getCoefficientRing(), Ring::isFinitePrimeField(), Matrix, and PolynomialRing::n_vars().