F4Res()

F4Res::F4Res

(

SchreyerFrame &

res

)

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

    : mFrame(res),
      mRing(res.ring()),
      mSchreyerRes(new ResMonomialsWithComponent(res.ring().monoid())),
      mHashTable(mSchreyerRes.get(), 10)
{
#if 0
  std::cout << "hardware threads: " << std::thread::hardware_concurrency() << std::endl;
  std::cout << "testing thread tasks" << std::endl;
  testTasks();
  std::cout << "  done testing thread tasks" << std::endl;
#endif
}

References mFrame, mHashTable, monoid(), mRing, mSchreyerRes, and ring().