createF4GB()

GBComputation * createF4GB	(	const Matrix *	m,
		M2_bool	collect_syz,
		int	n_rows_to_keep,
		M2_arrayint	gb_weights,
		int	strategy,
		M2_bool	use_max_degree,
		int	max_degree,
		int	numThreads )

Definition at line 25 of file f4-computation.cpp.

{
  const PolynomialRing *R = m->get_ring()->cast_to_PolynomialRing();
  if (R == nullptr)
    {
      ERROR("internal error: expected a polynomial ring for `Algorithm => LinearAlgebra` groebner basis");
      return nullptr;
    }
  const Ring *K = R->getCoefficients();
 
  // TODO: code here used to detect whether R, K is a valid ring here
  if (not R->is_commutative_ring())
    {
      ERROR("expected commutative polynomial ring for `Algorithm => LinearAlgebra` groebner basis");
      return nullptr;
    }
  if (R->is_quotient_ring())
    {
      ERROR("can't use quotient polynomial rings with `Algorithm => LinearAlgebra` groebner basis");
      return nullptr;
    }
  if (not m->is_homogeneous())
    {
      ERROR("expected homogeneous input for `Algorithm => LinearAlgebra` groebner basis");
      return nullptr;
    }
  if (not K->isFinitePrimeField() and not K->isGaloisField())
    {
      ERROR("expected coefficient ring to be a finite field for `Algorithm => LinearAlgebra` groebner basis");
      return nullptr;
    }
  auto vectorArithmetic = new VectorArithmetic(K);
 
  return new F4Computation(vectorArithmetic,
                           m,
                           collect_syz,
                           n_rows_to_keep,
                           gb_weights,
                           strategy,
                           use_max_degree,
                           max_degree,
                           numThreads);
}

References Ring::cast_to_PolynomialRing(), ERROR, Matrix::get_ring(), Ring::is_commutative_ring(), Matrix::is_homogeneous(), Ring::is_quotient_ring(), Ring::isFinitePrimeField(), Ring::isGaloisField(), Matrix, and RingElement::R.

Referenced by GBComputation::choose_gb().