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

◆ testRingGCD()

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

Definition at line 229 of file RingTest.hpp.

230{
232 for (int i = 0; i < ntrials; i++)
233 {
234 ring_elem a = gen.nextElement();
235 ring_elem b = gen.nextElement();
236
237 // (a // gcd(a,b) == 0, b // gcd(a,b) == 0,
238 ring_elem c = R->gcd(a, b);
239 ring_elem u, v;
240 ring_elem d = R->gcd_extended(a, b, u, v);
241
242 EXPECT_TRUE(R->is_equal(c, d));
243 EXPECT_TRUE(R->is_equal(c, R->add(R->mult(a, u), R->mult(b, v))));
244 EXPECT_TRUE(R->is_equal(a, R->mult(R->divide(a, c), c)));
245 }
246}
const int ntrials
Definition ARingTest.hpp:42

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

Referenced by TEST().