TEST() [4/7]

TEST	(	ARingCCC	,
		multDivide	)

Definition at line 163 of file ARingCCCTest.cpp.

{
  M2::ARingCCC C(100);
  ARingElementGenerator<M2::ARingCCC> gen(C);
  M2::ARingCCC::ElementType a, b, c, d;
  C.init(a);
  C.init(b);
  C.init(c);
  C.init(d);
  for (int i = 0; i < ntrials; i++)
    {
      // test: (a*b) // b == a
      gen.nextElement(a);
      gen.nextElement(b);
      C.mult(c, a, b);
      if (C.is_zero(b))
        EXPECT_TRUE(C.is_zero(c));
      else
        {
          C.divide(d, c, b);
          EXPECT_TRUE(almostEqual(C, 94, d, a));
        }
    }
  C.clear(d);
  C.clear(c);
  C.clear(b);
  C.clear(a);
}

References almostEqual(), M2::ARingCCC::clear(), M2::ARingCCC::divide(), M2::ARingCCC::init(), M2::ARingCCC::is_zero(), M2::ARingCCC::mult(), ARingElementGenerator< RingType >::nextElement(), and ntrials.