File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -69,8 +69,8 @@ F4GB::F4GB(const VectorArithmetic* VA,
6969 mNewSPairTime(0 ),
7070 mInsertGBTime(0 ),
7171 clock_make_matrix(0 ),
72- mNumThreads(mtbb::numThreads(numThreads)),
7372#if defined(WITH_TBB)
73+ mNumThreads (mtbb::numThreads(numThreads)),
7474 mScheduler(mNumThreads ),
7575 mSPairSet(mMonomialInfo , mGroebnerBasis , mScheduler )
7676#else
@@ -619,6 +619,7 @@ void F4GB::gauss_reduce(bool diagonalize)
619619
620620 mtbb::tick_count t0;
621621 mtbb::tick_count t1;
622+ std::vector<int > spair_rows;
622623
623624 if (hilbert)
624625 {
@@ -633,7 +634,6 @@ void F4GB::gauss_reduce(bool diagonalize)
633634#if defined(WITH_TBB)
634635// #if 0
635636
636- std::vector<int > spair_rows;
637637 for (int i = 0 ; i < nrows; ++i)
638638 {
639639 if (not is_pivot_row (i))
You can’t perform that action at this time.
0 commit comments