TEST() [7/7]

TEST	(	ARingCC	,
		subtract	)

Definition at line 130 of file ARingCCTest.cpp.

{
  M2::ARingCC C;
  auto nbits = C.get_precision();
  ARingElementGenerator<M2::ARingCC> gen(C);
  M2::ARingCC::ElementType a, b, c, e;
  C.init(a);
  C.init(b);
  C.init(c);
  C.init(e);
  for (int i = 0; i < ntrials; i++)
    {
      // test: (a-b) + (b) == a
      gen.nextElement(a);
      gen.nextElement(b);
      C.subtract(c, a, b);
      C.add(e, c, b);  // should be a
      EXPECT_TRUE(almostEqual(C, nbits - 2, a, e));
      C.mult(e, a, b);
      C.subtract_multiple(e, a, b);
      EXPECT_TRUE(C.is_zero(e));
    }
  C.clear(e);
  C.clear(c);
  C.clear(b);
  C.clear(a);
}

References M2::ARingCC::add(), almostEqual(), M2::ARingCC::clear(), M2::ARingCC::get_precision(), M2::ARingCC::init(), M2::ARingCC::is_zero(), M2::ARingCC::mult(), ARingElementGenerator< RingType >::nextElement(), ntrials, M2::ARingCC::subtract(), subtract(), and M2::ARingCC::subtract_multiple().