TEST() [1/9]

TEST	(	RingRRR	,
		add	)

Definition at line 82 of file RingRRRTest.cpp.

{
  RingRRR *R = RingRRR::create(std::make_unique<M2::ARingRRR>(100));
  RingElementGenerator<RingRRR> gen(*R);
 
  for (int i = 0; i < ntrials; i++)
    {
      // test: (a+b) + (-b) == a
      ring_elem a = gen.nextElement();
      ring_elem b = gen.nextElement();
      ring_elem c = R->add(a, b);
      ring_elem d = R->negate(b);
      ring_elem e = R->add(c, d);  // should be a
      EXPECT_TRUE(almostEqual(R, 98, a, e));
    }
}

References M2::ConcreteRing< RingType >::add(), almostEqual(), M2::ConcreteRing< M2::ARingRRR >::create(), M2::ConcreteRing< RingType >::negate(), RingElementGenerator< RingType >::nextElement(), and ntrials.