TEST() [6/6]

TEST	(	NewF4MonomialLookupTable	,
		monomialOperations	)

Definition at line 148 of file NewF4Test.cpp.

{
  MemoryBlock B;
  newf4::MonomialView ab({5,0,1,1,1}, B);
  newf4::MonomialView ac({5,0,1,2,1}, B);
  newf4::MonomialView abc({7,0,1,1,1,2,1}, B);
  newf4::MonomialView a2bc({7,0,2,1,1,2,1}, B);
  newf4::MonomialView b({3,1,1}, B);
  newf4::MonomialView lcm = newf4::MonomialView::lcm(ab,ac,B);
  newf4::MonomialView product = newf4::MonomialView::product(ab,ac,B);
  newf4::MonomialView quotient = newf4::MonomialView::quotient(ab,ac,B);
 
  std::cout << lcm.size() << std::endl;
  for (auto i = lcm.begin(); i != lcm.end(); ++i)
  {
    std::cout << i.var() << " ";
    std::cout << i.power() << " ";
  }
  std::cout << std::endl;
 
  std::cout << product.size() << std::endl;
  for (auto i = product.begin(); i != product.end(); ++i)
  {
    std::cout << i.var() << " ";
    std::cout << i.power() << " ";
  }
  std::cout << std::endl;
 
  std::cout << quotient.size() << std::endl;
  for (auto i = quotient.begin(); i != quotient.end(); ++i)
  {
    std::cout << i.var() << " ";
    std::cout << i.power() << " ";
  }
  std::cout << std::endl;
 
  EXPECT_TRUE(newf4::MonomialView::monomialDivides(lcm,abc));
  EXPECT_TRUE(newf4::MonomialView::monomialDivides(abc,lcm));
  EXPECT_TRUE(newf4::MonomialView::monomialDivides(product,a2bc));

References newf4::MonomialView::monomialDivides().