congruence_solver 0.3.1 → 0.3.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (34) hide show
  1. checksums.yaml +4 -4
  2. data/.gitignore +9 -6
  3. data/.gitmodules +0 -4
  4. data/.rspec +2 -2
  5. data/README.md +51 -64
  6. data/Rakefile +107 -87
  7. data/bench/bench_tools.rb +32 -32
  8. data/bench/solve_congruence_bm.rb +70 -70
  9. data/bin/{csolve.rb → csolve} +53 -53
  10. data/bin/setup +0 -0
  11. data/congruence_solver.gemspec +32 -38
  12. data/ext/congruence_solver/Makefile +17 -17
  13. data/ext/congruence_solver/arith_utils.c +135 -135
  14. data/ext/congruence_solver/arith_utils.h +9 -9
  15. data/ext/congruence_solver/congruence_solver.c +85 -85
  16. data/ext/congruence_solver/congruences.c +226 -226
  17. data/ext/congruence_solver/congruences.h +6 -6
  18. data/ext/congruence_solver/extconf.rb +15 -15
  19. data/ext/congruence_solver/prime_gen.c +146 -146
  20. data/ext/congruence_solver/prime_gen.h +9 -9
  21. data/lib/congruence_solver/version.rb +1 -1
  22. data/lib/polynomial_interpreter.rb +113 -116
  23. data/license.txt +201 -0
  24. data/spec/congruence_solver_spec.rb +41 -38
  25. data/spec/csolve_spec.rb +99 -89
  26. data/spec/spec_helper.rb +96 -96
  27. metadata +14 -19
  28. data/ext/congruence_solver/.gitignore +0 -2
  29. data/ext/congruence_solver/test/arith_utils_test.c +0 -106
  30. data/ext/congruence_solver/test/arith_utils_test.h +0 -25
  31. data/ext/congruence_solver/test/congruences_test.c +0 -78
  32. data/ext/congruence_solver/test/congruences_test.h +0 -239
  33. data/ext/congruence_solver/test/prime_gen_test.c +0 -83
  34. data/ext/congruence_solver/test/prime_gen_test.h +0 -141
data/ext/congruence_solver/test/prime_gen_test.h DELETED
@@ -1,141 +0,0 @@
1
- #define MAX_PRIME_FOR_PRIMES_UPTO_TEST 6000
2
- #define LIST_LENGTH_FOR_PRIMES_TEST 1000
3
- #define PRIME_TO_FACTOR 41
4
-
5
- #define SMALL_COMPOSITE 19110
6
- #define NUM_OF_SMALL_COMPOSITE_FACTORS 5
7
- #define SMALL_COMP_FACTOR_1 2
8
- #define SMALL_COMP_FACTOR_2 3
9
- #define SMALL_COMP_FACTOR_3 5
10
- #define SMALL_COMP_FACTOR_4 7
11
- #define SMALL_COMP_FACTOR_5 13
12
-
13
- #define LARGE_COMPOSITE 94122948
14
- #define NUM_OF_LARGE_COMPOSITE_FACTORS 5
15
- #define LARGE_COMP_FACTOR_1 2
16
- #define LARGE_COMP_FACTOR_2 3
17
- #define LARGE_COMP_FACTOR_3 17
18
- #define LARGE_COMP_FACTOR_4 223
19
- #define LARGE_COMP_FACTOR_5 2069
20
-
21
- #define COMPOSITE_WITH_REPEATED_FACTORS 108
22
- #define NUM_OF_REPEATED_FACTORS 2
23
- #define REPEATED_FACTOR_1 2
24
- #define REPEATED_FACTOR_2 3
25
-
26
- #define COMPOSITE_WITH_LARGE_FACTORS 24147371
27
- #define NUM_OF_LARGE_FACTORS 2
28
- #define LARGE_FACTOR_1 4909
29
- #define LARGE_FACTOR_2 4919
30
-
31
- const int PRIME_ARY[1000] = {
32
- 2, 3, 5, 7, 11, 13, 17, 19, 23, 29,
33
- 31, 37, 41, 43, 47, 53, 59, 61, 67, 71,
34
- 73, 79, 83, 89, 97, 101, 103, 107, 109, 113,
35
- 127, 131, 137, 139, 149, 151, 157, 163, 167, 173,
36
- 179, 181, 191, 193, 197, 199, 211, 223, 227, 229,
37
- 233, 239, 241, 251, 257, 263, 269, 271, 277, 281,
38
- 283, 293, 307, 311, 313, 317, 331, 337, 347, 349,
39
- 353, 359, 367, 373, 379, 383, 389, 397, 401, 409,
40
- 419, 421, 431, 433, 439, 443, 449, 457, 461, 463,
41
- 467, 479, 487, 491, 499, 503, 509, 521, 523, 541,
42
- 547, 557, 563, 569, 571, 577, 587, 593, 599, 601,
43
- 607, 613, 617, 619, 631, 641, 643, 647, 653, 659,
44
- 661, 673, 677, 683, 691, 701, 709, 719, 727, 733,
45
- 739, 743, 751, 757, 761, 769, 773, 787, 797, 809,
46
- 811, 821, 823, 827, 829, 839, 853, 857, 859, 863,
47
- 877, 881, 883, 887, 907, 911, 919, 929, 937, 941,
48
- 947, 953, 967, 971, 977, 983, 991, 997, 1009, 1013,
49
- 1019, 1021, 1031, 1033, 1039, 1049, 1051, 1061, 1063, 1069,
50
- 1087, 1091, 1093, 1097, 1103, 1109, 1117, 1123, 1129, 1151,
51
- 1153, 1163, 1171, 1181, 1187, 1193, 1201, 1213, 1217, 1223,
52
- 1229, 1231, 1237, 1249, 1259, 1277, 1279, 1283, 1289, 1291,
53
- 1297, 1301, 1303, 1307, 1319, 1321, 1327, 1361, 1367, 1373,
54
- 1381, 1399, 1409, 1423, 1427, 1429, 1433, 1439, 1447, 1451,
55
- 1453, 1459, 1471, 1481, 1483, 1487, 1489, 1493, 1499, 1511,
56
- 1523, 1531, 1543, 1549, 1553, 1559, 1567, 1571, 1579, 1583,
57
- 1597, 1601, 1607, 1609, 1613, 1619, 1621, 1627, 1637, 1657,
58
- 1663, 1667, 1669, 1693, 1697, 1699, 1709, 1721, 1723, 1733,
59
- 1741, 1747, 1753, 1759, 1777, 1783, 1787, 1789, 1801, 1811,
60
- 1823, 1831, 1847, 1861, 1867, 1871, 1873, 1877, 1879, 1889,
61
- 1901, 1907, 1913, 1931, 1933, 1949, 1951, 1973, 1979, 1987,
62
- 1993, 1997, 1999, 2003, 2011, 2017, 2027, 2029, 2039, 2053,
63
- 2063, 2069, 2081, 2083, 2087, 2089, 2099, 2111, 2113, 2129,
64
- 2131, 2137, 2141, 2143, 2153, 2161, 2179, 2203, 2207, 2213,
65
- 2221, 2237, 2239, 2243, 2251, 2267, 2269, 2273, 2281, 2287,
66
- 2293, 2297, 2309, 2311, 2333, 2339, 2341, 2347, 2351, 2357,
67
- 2371, 2377, 2381, 2383, 2389, 2393, 2399, 2411, 2417, 2423,
68
- 2437, 2441, 2447, 2459, 2467, 2473, 2477, 2503, 2521, 2531,
69
- 2539, 2543, 2549, 2551, 2557, 2579, 2591, 2593, 2609, 2617,
70
- 2621, 2633, 2647, 2657, 2659, 2663, 2671, 2677, 2683, 2687,
71
- 2689, 2693, 2699, 2707, 2711, 2713, 2719, 2729, 2731, 2741,
72
- 2749, 2753, 2767, 2777, 2789, 2791, 2797, 2801, 2803, 2819,
73
- 2833, 2837, 2843, 2851, 2857, 2861, 2879, 2887, 2897, 2903,
74
- 2909, 2917, 2927, 2939, 2953, 2957, 2963, 2969, 2971, 2999,
75
- 3001, 3011, 3019, 3023, 3037, 3041, 3049, 3061, 3067, 3079,
76
- 3083, 3089, 3109, 3119, 3121, 3137, 3163, 3167, 3169, 3181,
77
- 3187, 3191, 3203, 3209, 3217, 3221, 3229, 3251, 3253, 3257,
78
- 3259, 3271, 3299, 3301, 3307, 3313, 3319, 3323, 3329, 3331,
79
- 3343, 3347, 3359, 3361, 3371, 3373, 3389, 3391, 3407, 3413,
80
- 3433, 3449, 3457, 3461, 3463, 3467, 3469, 3491, 3499, 3511,
81
- 3517, 3527, 3529, 3533, 3539, 3541, 3547, 3557, 3559, 3571,
82
- 3581, 3583, 3593, 3607, 3613, 3617, 3623, 3631, 3637, 3643,
83
- 3659, 3671, 3673, 3677, 3691, 3697, 3701, 3709, 3719, 3727,
84
- 3733, 3739, 3761, 3767, 3769, 3779, 3793, 3797, 3803, 3821,
85
- 3823, 3833, 3847, 3851, 3853, 3863, 3877, 3881, 3889, 3907,
86
- 3911, 3917, 3919, 3923, 3929, 3931, 3943, 3947, 3967, 3989,
87
- 4001, 4003, 4007, 4013, 4019, 4021, 4027, 4049, 4051, 4057,
88
- 4073, 4079, 4091, 4093, 4099, 4111, 4127, 4129, 4133, 4139,
89
- 4153, 4157, 4159, 4177, 4201, 4211, 4217, 4219, 4229, 4231,
90
- 4241, 4243, 4253, 4259, 4261, 4271, 4273, 4283, 4289, 4297,
91
- 4327, 4337, 4339, 4349, 4357, 4363, 4373, 4391, 4397, 4409,
92
- 4421, 4423, 4441, 4447, 4451, 4457, 4463, 4481, 4483, 4493,
93
- 4507, 4513, 4517, 4519, 4523, 4547, 4549, 4561, 4567, 4583,
94
- 4591, 4597, 4603, 4621, 4637, 4639, 4643, 4649, 4651, 4657,
95
- 4663, 4673, 4679, 4691, 4703, 4721, 4723, 4729, 4733, 4751,
96
- 4759, 4783, 4787, 4789, 4793, 4799, 4801, 4813, 4817, 4831,
97
- 4861, 4871, 4877, 4889, 4903, 4909, 4919, 4931, 4933, 4937,
98
- 4943, 4951, 4957, 4967, 4969, 4973, 4987, 4993, 4999, 5003,
99
- 5009, 5011, 5021, 5023, 5039, 5051, 5059, 5077, 5081, 5087,
100
- 5099, 5101, 5107, 5113, 5119, 5147, 5153, 5167, 5171, 5179,
101
- 5189, 5197, 5209, 5227, 5231, 5233, 5237, 5261, 5273, 5279,
102
- 5281, 5297, 5303, 5309, 5323, 5333, 5347, 5351, 5381, 5387,
103
- 5393, 5399, 5407, 5413, 5417, 5419, 5431, 5437, 5441, 5443,
104
- 5449, 5471, 5477, 5479, 5483, 5501, 5503, 5507, 5519, 5521,
105
- 5527, 5531, 5557, 5563, 5569, 5573, 5581, 5591, 5623, 5639,
106
- 5641, 5647, 5651, 5653, 5657, 5659, 5669, 5683, 5689, 5693,
107
- 5701, 5711, 5717, 5737, 5741, 5743, 5749, 5779, 5783, 5791,
108
- 5801, 5807, 5813, 5821, 5827, 5839, 5843, 5849, 5851, 5857,
109
- 5861, 5867, 5869, 5879, 5881, 5897, 5903, 5923, 5927, 5939,
110
- 5953, 5981, 5987, 6007, 6011, 6029, 6037, 6043, 6047, 6053,
111
- 6067, 6073, 6079, 6089, 6091, 6101, 6113, 6121, 6131, 6133,
112
- 6143, 6151, 6163, 6173, 6197, 6199, 6203, 6211, 6217, 6221,
113
- 6229, 6247, 6257, 6263, 6269, 6271, 6277, 6287, 6299, 6301,
114
- 6311, 6317, 6323, 6329, 6337, 6343, 6353, 6359, 6361, 6367,
115
- 6373, 6379, 6389, 6397, 6421, 6427, 6449, 6451, 6469, 6473,
116
- 6481, 6491, 6521, 6529, 6547, 6551, 6553, 6563, 6569, 6571,
117
- 6577, 6581, 6599, 6607, 6619, 6637, 6653, 6659, 6661, 6673,
118
- 6679, 6689, 6691, 6701, 6703, 6709, 6719, 6733, 6737, 6761,
119
- 6763, 6779, 6781, 6791, 6793, 6803, 6823, 6827, 6829, 6833,
120
- 6841, 6857, 6863, 6869, 6871, 6883, 6899, 6907, 6911, 6917,
121
- 6947, 6949, 6959, 6961, 6967, 6971, 6977, 6983, 6991, 6997,
122
- 7001, 7013, 7019, 7027, 7039, 7043, 7057, 7069, 7079, 7103,
123
- 7109, 7121, 7127, 7129, 7151, 7159, 7177, 7187, 7193, 7207,
124
- 7211, 7213, 7219, 7229, 7237, 7243, 7247, 7253, 7283, 7297,
125
- 7307, 7309, 7321, 7331, 7333, 7349, 7351, 7369, 7393, 7411,
126
- 7417, 7433, 7451, 7457, 7459, 7477, 7481, 7487, 7489, 7499,
127
- 7507, 7517, 7523, 7529, 7537, 7541, 7547, 7549, 7559, 7561,
128
- 7573, 7577, 7583, 7589, 7591, 7603, 7607, 7621, 7639, 7643,
129
- 7649, 7669, 7673, 7681, 7687, 7691, 7699, 7703, 7717, 7723,
130
- 7727, 7741, 7753, 7757, 7759, 7789, 7793, 7817, 7823, 7829,
131
- 7841, 7853, 7867, 7873, 7877, 7879, 7883, 7901, 7907, 7919,
132
- };
133
-
134
- const int FACTORS_OF_2[1] = {2};
135
- const int FACTORS_OF_PRIME[1] = {PRIME_TO_FACTOR};
136
- const int FACTORS_OF_SMALL_COMPOSITE[NUM_OF_SMALL_COMPOSITE_FACTORS] = {SMALL_COMP_FACTOR_1, SMALL_COMP_FACTOR_2, SMALL_COMP_FACTOR_3,
137
- SMALL_COMP_FACTOR_4, SMALL_COMP_FACTOR_5};
138
- const int FACTORS_OF_LARGE_COMPOSITE[NUM_OF_LARGE_COMPOSITE_FACTORS] = {LARGE_COMP_FACTOR_1, LARGE_COMP_FACTOR_2, LARGE_COMP_FACTOR_3,
139
- LARGE_COMP_FACTOR_4, LARGE_COMP_FACTOR_5};
140
- const int LARGE_FACTORS[NUM_OF_LARGE_FACTORS] = {LARGE_FACTOR_1, LARGE_FACTOR_2};
141
- const int REPEATED_FACTORS[NUM_OF_REPEATED_FACTORS] = {REPEATED_FACTOR_1, REPEATED_FACTOR_2};