TEST() [11/19]

TEST	(	NCReduction	,
		TrivialPolynomialHeap	)

Definition at line 101 of file NCGroebnerTest.cpp.

{
  FreeAlgebra* A = FreeAlgebra::create(globalQQ,
                                       { "x", "y", "z" },
                                       degreeRing(1),
                                       {1,1,1},
                                       {},
                                       {1}
                                       );
  FreeAlgebraElement x(A), y(A), z(A), f(A), g(A), h(A);
  A->var(*x, 0);
  A->var(*y, 1);
  A->var(*z, 2);
  f = x + y;
  g = y + z;
  h = x + y + y + z;
  
  auto H { makePolynomialHeap(HeapType::Trivial, *A) };
  H->addPolynomial(*f);
  H->addPolynomial(*g);
  EXPECT_TRUE(A->is_equal(* H->value(), *h));
  EXPECT_TRUE(A->is_equal(* H->value(), *h));
 
  H->removeLeadTerm();
  EXPECT_FALSE(H->isZero());
 
  H->removeLeadTerm();
  EXPECT_FALSE(H->isZero());
 
  H->removeLeadTerm();
  EXPECT_TRUE(H->isZero());
  EXPECT_TRUE(A->is_zero(* H->value()));
}

References FreeAlgebra::create(), degreeRing(), globalQQ, FreeAlgebra::is_equal(), FreeAlgebra::is_zero(), makePolynomialHeap(), Trivial, FreeAlgebra::var(), and x.