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

◆ F4GB()

F4GB::F4GB ( const VectorArithmetic * VA,
const MonomialInfo * MI,
const FreeModule * F,
M2_bool collect_syz,
int n_rows_to_keep,
M2_arrayint gb_weights,
int strategy,
M2_bool use_max_degree,
int max_degree,
int numThreads )

Definition at line 33 of file f4.cpp.

44 mMonomialInfo(M0),
45 mFreeModule(F0),
46 component_degrees(nullptr), // need to put this in
49 n_gens_left(0),
50 n_subring(0),
51 complete_thru_this_degree(-1), // need to reset this in the body
53 is_ideal(F0->rank() == 1),
54 hilbert(nullptr),
57 mLookupTable(mMonomialInfo->n_vars()),
59 mat(nullptr),
60 mMonomialHashTable(M0, 17),
62 next_monom(),
64 clock_gauss(0),
65 mGaussTime(0),
72#if defined(WITH_TBB)
73 mNumThreads(mtbb::numThreads(numThreads)),
74 mScheduler(mNumThreads),
76#else
78#endif
79{
80 (void) collect_syz;
81 (void) n_rows_to_keep;
82 (void) weights0;
83 (void) strategy;
84 (void) use_max_degree;
85 (void) max_degree;
86 // mLookupTable = new MonomialLookupTable(mMonomialInfo->n_vars());
87 // mSPairSet = new F4SPairSet(mMonomialInfo, mGroebnerBasis);
88 mat = new coefficient_matrix;
89
90 // TODO: set status?
91 if (M2_gbTrace >= 3) mMonomialInfo->show();
92}
int next_col_to_process
Definition f4.hpp:185
double mNewSPairTime
Definition f4.hpp:200
double mSerialGaussTime
Definition f4.hpp:198
M2_arrayint component_degrees
Definition f4.hpp:161
F4MemoryBlock< monomial_word > mMonomialMemoryBlock
Definition f4.hpp:188
clock_t clock_gauss
Definition f4.hpp:195
coefficient_matrix * mat
Definition f4.hpp:186
int complete_thru_this_degree
Definition f4.hpp:170
gb_array mGenerators
Definition f4.hpp:180
double mTailReduceTime
Definition f4.hpp:199
F4SPairSet mSPairSet
Definition f4.hpp:249
monomial_word * next_monom
Definition f4.hpp:189
clock_t clock_make_matrix
Definition f4.hpp:202
HilbertController * hilbert
Definition f4.hpp:175
long n_pairs_computed
Definition f4.hpp:166
int n_subring
Definition f4.hpp:169
int n_gens_left
Definition f4.hpp:168
const MonomialInfo * mMonomialInfo
Definition f4.hpp:157
double mInsertGBTime
Definition f4.hpp:201
const FreeModule * mFreeModule
Definition f4.hpp:158
int this_degree
Definition f4.hpp:171
double clock_sort_columns
Definition f4.hpp:194
MonomialLookupTable mLookupTable
Definition f4.hpp:182
double mParallelGaussTime
Definition f4.hpp:197
double mGaussTime
Definition f4.hpp:196
MonomialHashTable< MonomialInfo > mMonomialHashTable
Definition f4.hpp:187
long n_reduction_steps
Definition f4.hpp:167
const VectorArithmetic * mVectorArithmetic
Definition f4.hpp:156
bool is_ideal
Definition f4.hpp:172
gb_array mGroebnerBasis
Definition f4.hpp:181
int M2_gbTrace
Definition m2-types.cpp:52

References clock_gauss, clock_make_matrix, clock_sort_columns, complete_thru_this_degree, component_degrees, hilbert, is_ideal, M2_gbTrace, mat, mFreeModule, mGaussTime, mGenerators, mGroebnerBasis, mInsertGBTime, mLookupTable, mMonomialHashTable, mMonomialInfo, mMonomialMemoryBlock, mNewSPairTime, mParallelGaussTime, mSerialGaussTime, mSPairSet, mTailReduceTime, mVectorArithmetic, n_gens_left, n_pairs_computed, n_reduction_steps, n_subring, next_col_to_process, next_monom, and this_degree.