testRingAdd()

template<typename T>

void testRingAdd	(	const T *	R,
		int	ntrials )

Definition at line 111 of file RingTest.hpp.

{
  RingElementGenerator<T> 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(R->is_equal(e, a));
    }
}

References RingElementGenerator< RingType >::nextElement(), ntrials, and T.

Referenced by TEST(), TEST(), TEST(), and TEST().