GBF4Interface() [2/2]

newf4::GBF4Interface::GBF4Interface	(	const PolynomialRing *	originalRing,
		const FreeModule *	freeModule,
		const BasicPolyList &	basicPolyList,
		const std::vector< int > &	variableWeights,
		Strategy	strategy,
		int	numThreads )

Definition at line 61 of file GBF4Interface.cpp.

    : mOriginalRing(originalRing),
      mFreeModule(freeModule),
      mVectorArithmetic(std::make_unique<VectorArithmetic>(mOriginalRing->getCoefficients())),
      mComputation(std::make_unique<GBF4Computation>(*mVectorArithmetic,
                                                     mFreeModule,
                                                     variableWeights,
                                                     strategy))
{
    (void) numThreads;
    mComputation->initializeWithBasicPolyList(basicPolyList);
}

References mComputation, mFreeModule, mOriginalRing, and mVectorArithmetic.