TEST() [5/6]

TEST	(	NewF4MonomialLookupTable	,
		monomialDivides	)

Definition at line 130 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 ab2({5,0,1,1,2}, B);
  newf4::MonomialView unit({1},B);
  newf4::MonomialView ab2f({7,0,1,1,2,5,1},B);
  newf4::MonomialView bd({5,1,1,3,1},B);
  newf4::MonomialView abdf({9,0,1,1,1,3,1,5,1},B);
  EXPECT_FALSE(newf4::MonomialView::monomialDivides(ab,ac));
  EXPECT_TRUE(newf4::MonomialView::monomialDivides(ab,ab2));
  EXPECT_TRUE(newf4::MonomialView::monomialDivides(unit,unit));