/cln-1.3.2/tests/test_I_gcd.cc
C++ | 27 lines | 24 code | 1 blank | 2 comment | 8 complexity | a14f990e2a9e1026f65c926873e46b9a MD5 | raw file
Possible License(s): GPL-2.0
1#include "test_I.h"
2
3int test_I_gcd (int iterations)
4{
5 int error = 0;
6 int i;
7 // Check commutativity.
8 for (i = iterations; i > 0; i--) {
9 cl_I a = testrandom_I();
10 cl_I b = testrandom_I();
11 ASSERT2(gcd(a,b) == gcd(b,a), a,b);
12 }
13 // Check some axioms.
14 for (i = iterations; i > 0; i--) {
15 cl_I a = testrandom_I();
16 cl_I b = testrandom_I();
17 cl_I g = gcd(a,b);
18 if (g > 1) {
19 ASSERT2(mod(a,g) == 0, a,b);
20 ASSERT2(mod(b,g) == 0, a,b);
21 ASSERT2(gcd(exquo(a,g),exquo(b,g)) == 1, a,b);
22 }
23 cl_I c = testrandom_I();
24 ASSERT3(gcd(a+b*c,b) == g, a,b,c);
25 }
26 return error;
27}