F4ResComputation()

F4ResComputation::F4ResComputation ( const PolynomialRing * origR, ResPolyRing * R, const Matrix * gbmatrix, int max_level, int numThreads, bool parallelizeByDegree )

private

Definition at line 176 of file res-f4-computation.cpp.

    : mOriginalRing(*origR),
      mInputGroebnerBasis(*gbmatrix),
      mRing(R),
      mComp(new SchreyerFrame(*mRing, max_level, numThreads, parallelizeByDegree))
{
  //  mComp.reset(new SchreyerFrame(*mRing, max_level)); // might need
  //  gbmatrix->rows() too
  nres++;
}

References Matrix, mComp, mInputGroebnerBasis, mOriginalRing, mRing, and nres.