SchreyerFrame()

SchreyerFrame::SchreyerFrame	(	const ResPolyRing &	R,
		int	max_level,
		int	numThreads,
		bool	parallelizeByDegree )

Definition at line 57 of file res-schreyer-frame.cpp.

    : mRing(R),
      mState(Initializing),
      mCurrentLevel(0),
      mSlantedDegree(0),
      mLoSlantedDegree(0),
      mHiSlantedDegree(0),
      mComputer(new F4Res(*this)),
      mNumThreads(mtbb::numThreads(numThreads)),
      mParallelizeByDegree(parallelizeByDegree)
#if defined(WITH_TBB)
    , mScheduler(mNumThreads)
    , mDepGraph(this)
#endif      
{
  mFrame.mLevels.resize(max_level + 1);
  mMaxVPSize = 2 * monoid().n_vars() + 1;
 
  timeMakeMatrix = 0.0;
  timeSortMatrix = 0.0;
  timeReorderMatrix = 0.0;
  timeGaussMatrix = 0.0;
  timeClearMatrix = 0.0;
  timeResetHashTable = 0.0;
  timeComputeRanks = 0.0;
  timeComputeSparseRanks = 0.0;
 
  //std::cout << "hardware tbb threads: " << tbb::info::default_concurrency() << std::endl;
  //std::cout << "hardware threads: " << std::thread::hardware_concurrency() << std::endl;
  //std::cout << "using " << mNumThreads << " threads" << std::endl;
}

References F4Res, Initializing, mComputer, mCurrentLevel, mFrame, mHiSlantedDegree, mLoSlantedDegree, mMaxVPSize, mNumThreads, monoid(), mParallelizeByDegree, mRing, mSlantedDegree, mState, ResMonoidDense::n_vars(), timeClearMatrix, timeComputeRanks, timeComputeSparseRanks, timeGaussMatrix, timeMakeMatrix, timeReorderMatrix, timeResetHashTable, and timeSortMatrix.