Definition at line 408 of file res-f4.cpp.
409{
410
412 long r = 0;
413 long comp = 0;
414 for (auto it = myframe.begin(); it != myframe.end(); ++it)
415 {
417 {
421 r++;
422 row.mLeadTerm = it->mMonom;
425 if (r % 5000 == 0)
426 std::cout << "makeMatrix sp: " << r
427 <<
" #rows = " <<
mColumns.size() << std::endl;
428 }
429 comp++;
430 }
431
433 {
434
435
436
445 <<
" #rows = " <<
mReducers.size() << std::endl;
446 }
447
449
450#if 0
453 std :: cout << "-- reducer matrix --" << std::endl;
456
457 std :: cout << "-- spair matrix --" << std::endl;
460#endif
461}
void debugOutputReducers()
void debugOutputColumns()
std::vector< res_packed_monomial > mColumns
void debugOutputMatrixSparse(std::vector< Row > &)
std::vector< Row > mReducers
void debugOutputMatrix(std::vector< Row > &)
std::vector< long > mSPairComponents
long mNextReducerToProcess
std::vector< Row > mSPairs
void swap(mpfr::mpreal &x, mpfr::mpreal &y)
One row of the Macaulay matrix built by F4Res::construct.
References debugOutputColumns(), debugOutputMatrix(), debugOutputMatrixSparse(), debugOutputReducers(), loadRow(), M2_gbTrace, mColumns, mFrame, F4Res::Row::mLeadTerm, mNextReducerToProcess, mReducers, mSPairComponents, mSPairs, mThisDegree, mThisLevel, reorderColumns(), and std::swap().
Referenced by construct().