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

◆ discardSPairsInCurrentDegree()

void F4SPairSet::discardSPairsInCurrentDegree ( )

Definition at line 159 of file f4-spairs.cpp.

160{
161 while (not mSPairQueue.empty())
162 {
163 auto result = mSPairQueue.top();
164 if (mSPairs[result].deg != mThisDegree) return;
166 mSPairQueue.pop();
167 }
168}
long mThisDegree
std::vector< spair > mSPairs
std::priority_queue< size_t, std::vector< size_t >, SPairCompare > mSPairQueue
VALGRIND_MAKE_MEM_DEFINED & result(result)

References mSPairQueue, mSPairs, mThisDegree, result(), and Retired.