Macaulay2 Engine
Loading...
Searching...
No Matches

◆ testRingAdd()

template<typename T>
void testRingAdd ( const T * R,
int ntrials )

Definition at line 111 of file RingTest.hpp.

112{
114 for (int i = 0; i < ntrials; i++)
115 {
116 // test: (a+b) + (-b) == a
117 ring_elem a = gen.nextElement();
118 ring_elem b = gen.nextElement();
119 ring_elem c = R->add(a, b);
120 ring_elem d = R->negate(b);
121 ring_elem e = R->add(c, d); // should be a
122 EXPECT_TRUE(R->is_equal(e, a));
123 }
124}
const int ntrials
Definition ARingTest.hpp:42

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

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