Macaulay2 Engine
Loading...
Searching...
No Matches

◆ clearMatrix()

void F4Res::clearMatrix ( )
private

Definition at line 76 of file res-f4.cpp.

77{
78 mThisLevel = -1;
79 mThisDegree = -1;
81
82 auto timeA = timer();
83 mHashTable.reset();
84 auto timeB = timer();
85 mFrame.timeResetHashTable += seconds(timeB - timeA);
86
87 for (auto& f : mReducers)
88 {
89 mRing.vectorArithmetic().deallocateElementArray(f.mCoeffs);
90 }
91
92 for (auto& f : mSPairs)
93 {
94 mRing.vectorArithmetic().deallocateElementArray(f.mCoeffs);
95 }
96
97 mReducers.clear();
98 mSPairs.clear();
99 mSPairComponents.clear();
100 mColumns.clear();
101
102 mMonomSpace2.freeAllAllocs();
103}
MonomialHashTable< ResMonomialsWithComponent > mHashTable
Definition res-f4.hpp:173
int mThisDegree
Definition res-f4.hpp:165
int mThisLevel
Definition res-f4.hpp:164
std::vector< res_packed_monomial > mColumns
Definition res-f4.hpp:184
MonomialMemorySpace mMonomSpace2
Definition res-f4.hpp:188
std::vector< Row > mReducers
Definition res-f4.hpp:179
SchreyerFrame & mFrame
Definition res-f4.hpp:159
const ResPolyRing & mRing
Definition res-f4.hpp:161
std::vector< long > mSPairComponents
Definition res-f4.hpp:182
long mNextReducerToProcess
Definition res-f4.hpp:166
std::vector< Row > mSPairs
Definition res-f4.hpp:181
std::chrono::steady_clock::time_point timer()
Definition timing.hpp:35
double seconds(DurationType time_diff)
Definition timing.hpp:59

References mColumns, mFrame, mHashTable, mMonomSpace2, mNextReducerToProcess, mReducers, mRing, mSPairComponents, mSPairs, mThisDegree, mThisLevel, seconds(), and timer().

Referenced by construct().