testRingRemainder()

template<typename T>

void testRingRemainder	(	const T *	R,
		int	ntrials )

Definition at line 248 of file RingTest.hpp.

{
  RingElementGenerator<T> gen(*R);
  for (int i = 0; i < ntrials; i++)
    {
      ring_elem a = gen.nextElement();
      ring_elem b = gen.nextElement();
 
#if 0
      ring_elem c = R->remainder(a, R->zero()); // FAILS!!
      EXPECT_TRUE(R->is_equal(c,a));
#endif
 
      ring_elem r = R->remainder(a, b);
      ring_elem q = R->quotient(a, b);
      ring_elem r1, q1;
      r1 = R->remainderAndQuotient(a, b, q1);
 
      EXPECT_TRUE(R->is_equal(r, r1));
      EXPECT_TRUE(R->is_equal(q, q1));
      ring_elem a1 = R->add(R->mult(q, b), r);
      EXPECT_TRUE(R->is_equal(a, a1));
    }
}

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

Referenced by TEST().