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

◆ testRingNegate()

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

Definition at line 98 of file RingTest.hpp.

99{
101 for (int i = 0; i < ntrials; i++)
102 {
103 // test: (-a) + (a) == a
104 ring_elem a = gen.nextElement();
105 ring_elem b = R->negate(a);
106 ring_elem c = R->add(a, b);
107 EXPECT_TRUE(R->is_zero(c));
108 }
109}
const int ntrials
Definition ARingTest.hpp:42

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

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