F4Computation()

F4Computation::F4Computation	(	const VectorArithmetic *	VA,
		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 76 of file f4-computation.cpp.

  : mFreeModule(m->rows()),
    mVectorArithmetic(VA)
{
  mOriginalRing = m->get_ring()->cast_to_PolynomialRing();
 
  std::vector<int> heftDegrees = M2_arrayint_to_stdvector<int> (gb_weights);
  std::vector<int> moduleHeftDegrees;
  for (int j = 0; j < mFreeModule->rank(); ++j)
    {
      moduleHeftDegrees.push_back(mFreeModule->primary_degree(j));
      
    }
  mMonoid = new MonomialInfo(mOriginalRing->n_vars(),
                             mOriginalRing->getMonoid()->getMonomialOrdering(),
                             heftDegrees,
                             moduleHeftDegrees);
 
  if (m->n_rows() >= 2)
    {
      if (mMonoid->componentLocation() != -1 or
          mMonoid->positionUp() != 1)
        {
          delete mMonoid;
          throw exc::engine_error("must use Position=>Up at end of monomial order for Algorithm=>LinearAlgebra groebner basis");
        }
    }
  
  mF4GB = new F4GB(mVectorArithmetic,
                   mMonoid,
                   m->rows(),
                   collect_syz,
                   n_rows_to_keep,
                   gb_weights,
                   strategy,
                   use_max_degree,
                   max_degree,
                   numThreads);
 
  F4toM2Interface::from_M2_matrix(mVectorArithmetic, mMonoid, m, mF4GB->get_generators());
  mF4GB->new_generators(0, m->n_cols() - 1);
}

References F4toM2Interface::from_M2_matrix(), Matrix::get_ring(), M2_arrayint_to_stdvector(), Matrix, mF4GB, mFreeModule, mMonoid, mOriginalRing, mVectorArithmetic, Matrix::n_cols(), Matrix::n_rows(), and Matrix::rows().