test.odin 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390
  1. //+ignore
  2. package math_big
  3. /*
  4. Copyright 2021 Jeroen van Rijn <[email protected]>.
  5. Made available under Odin's BSD-3 license.
  6. An arbitrary precision mathematics implementation in Odin.
  7. For the theoretical underpinnings, see Knuth's The Art of Computer Programming, Volume 2, section 4.3.
  8. The code started out as an idiomatic source port of libTomMath, which is in the public domain, with thanks.
  9. This file exports procedures for use with the test.py test suite.
  10. */
  11. /*
  12. TODO: Write tests for `internal_*` and test reusing parameters with the public implementations.
  13. */
  14. import "core:runtime"
  15. import "core:strings"
  16. PyRes :: struct {
  17. res: cstring,
  18. err: Error,
  19. }
  20. @export test_initialize_constants :: proc "c" () -> (res: u64) {
  21. context = runtime.default_context();
  22. res = u64(initialize_constants());
  23. //assert(MUL_KARATSUBA_CUTOFF >= 40);
  24. return res;
  25. }
  26. @export test_error_string :: proc "c" (err: Error) -> (res: cstring) {
  27. context = runtime.default_context();
  28. es := Error_String;
  29. return strings.clone_to_cstring(es[err], context.temp_allocator);
  30. }
  31. @export test_add :: proc "c" (a, b: cstring) -> (res: PyRes) {
  32. context = runtime.default_context();
  33. err: Error;
  34. aa, bb, sum := &Int{}, &Int{}, &Int{};
  35. defer internal_destroy(aa, bb, sum);
  36. if err = atoi(aa, string(a), 16); err != nil { return PyRes{res=":add:atoi(a):", err=err}; }
  37. if err = atoi(bb, string(b), 16); err != nil { return PyRes{res=":add:atoi(b):", err=err}; }
  38. if bb.used == 1 {
  39. if err = #force_inline internal_add(sum, aa, bb.digit[0]); err != nil { return PyRes{res=":add:add(sum,a,b):", err=err}; }
  40. } else {
  41. if err = #force_inline internal_add(sum, aa, bb); err != nil { return PyRes{res=":add:add(sum,a,b):", err=err}; }
  42. }
  43. r: cstring;
  44. r, err = int_itoa_cstring(sum, 16, context.temp_allocator);
  45. if err != nil { return PyRes{res=":add:itoa(sum):", err=err}; }
  46. return PyRes{res = r, err = nil};
  47. }
  48. @export test_sub :: proc "c" (a, b: cstring) -> (res: PyRes) {
  49. context = runtime.default_context();
  50. err: Error;
  51. aa, bb, sum := &Int{}, &Int{}, &Int{};
  52. defer internal_destroy(aa, bb, sum);
  53. if err = atoi(aa, string(a), 16); err != nil { return PyRes{res=":sub:atoi(a):", err=err}; }
  54. if err = atoi(bb, string(b), 16); err != nil { return PyRes{res=":sub:atoi(b):", err=err}; }
  55. if bb.used == 1 {
  56. if err = #force_inline internal_sub(sum, aa, bb.digit[0]); err != nil { return PyRes{res=":sub:sub(sum,a,b):", err=err}; }
  57. } else {
  58. if err = #force_inline internal_sub(sum, aa, bb); err != nil { return PyRes{res=":sub:sub(sum,a,b):", err=err}; }
  59. }
  60. r: cstring;
  61. r, err = int_itoa_cstring(sum, 16, context.temp_allocator);
  62. if err != nil { return PyRes{res=":sub:itoa(sum):", err=err}; }
  63. return PyRes{res = r, err = nil};
  64. }
  65. @export test_mul :: proc "c" (a, b: cstring) -> (res: PyRes) {
  66. context = runtime.default_context();
  67. err: Error;
  68. aa, bb, product := &Int{}, &Int{}, &Int{};
  69. defer internal_destroy(aa, bb, product);
  70. if err = atoi(aa, string(a), 16); err != nil { return PyRes{res=":mul:atoi(a):", err=err}; }
  71. if err = atoi(bb, string(b), 16); err != nil { return PyRes{res=":mul:atoi(b):", err=err}; }
  72. if err = #force_inline internal_mul(product, aa, bb); err != nil { return PyRes{res=":mul:mul(product,a,b):", err=err}; }
  73. r: cstring;
  74. r, err = int_itoa_cstring(product, 16, context.temp_allocator);
  75. if err != nil { return PyRes{res=":mul:itoa(product):", err=err}; }
  76. return PyRes{res = r, err = nil};
  77. }
  78. @export test_sqr :: proc "c" (a: cstring) -> (res: PyRes) {
  79. context = runtime.default_context();
  80. err: Error;
  81. aa, square := &Int{}, &Int{};
  82. defer internal_destroy(aa, square);
  83. if err = atoi(aa, string(a), 16); err != nil { return PyRes{res=":sqr:atoi(a):", err=err}; }
  84. if err = #force_inline internal_sqr(square, aa); err != nil { return PyRes{res=":sqr:sqr(square,a):", err=err}; }
  85. r: cstring;
  86. r, err = int_itoa_cstring(square, 16, context.temp_allocator);
  87. if err != nil { return PyRes{res=":sqr:itoa(square):", err=err}; }
  88. return PyRes{res = r, err = nil};
  89. }
  90. /*
  91. NOTE(Jeroen): For simplicity, we don't return the quotient and the remainder, just the quotient.
  92. */
  93. @export test_div :: proc "c" (a, b: cstring) -> (res: PyRes) {
  94. context = runtime.default_context();
  95. err: Error;
  96. aa, bb, quotient := &Int{}, &Int{}, &Int{};
  97. defer internal_destroy(aa, bb, quotient);
  98. if err = atoi(aa, string(a), 16); err != nil { return PyRes{res=":div:atoi(a):", err=err}; }
  99. if err = atoi(bb, string(b), 16); err != nil { return PyRes{res=":div:atoi(b):", err=err}; }
  100. if err = #force_inline internal_div(quotient, aa, bb); err != nil { return PyRes{res=":div:div(quotient,a,b):", err=err}; }
  101. r: cstring;
  102. r, err = int_itoa_cstring(quotient, 16, context.temp_allocator);
  103. if err != nil { return PyRes{res=":div:itoa(quotient):", err=err}; }
  104. return PyRes{res = r, err = nil};
  105. }
  106. /*
  107. res = log(a, base)
  108. */
  109. @export test_log :: proc "c" (a: cstring, base := DIGIT(2)) -> (res: PyRes) {
  110. context = runtime.default_context();
  111. err: Error;
  112. l: int;
  113. aa := &Int{};
  114. defer internal_destroy(aa);
  115. if err = atoi(aa, string(a), 16); err != nil { return PyRes{res=":log:atoi(a):", err=err}; }
  116. if l, err = #force_inline internal_log(aa, base); err != nil { return PyRes{res=":log:log(a, base):", err=err}; }
  117. #force_inline internal_zero(aa);
  118. aa.digit[0] = DIGIT(l) & _MASK;
  119. aa.digit[1] = DIGIT(l) >> _DIGIT_BITS;
  120. aa.used = 2;
  121. clamp(aa);
  122. r: cstring;
  123. r, err = int_itoa_cstring(aa, 16, context.temp_allocator);
  124. if err != nil { return PyRes{res=":log:itoa(res):", err=err}; }
  125. return PyRes{res = r, err = nil};
  126. }
  127. /*
  128. dest = base^power
  129. */
  130. @export test_pow :: proc "c" (base: cstring, power := int(2)) -> (res: PyRes) {
  131. context = runtime.default_context();
  132. err: Error;
  133. dest, bb := &Int{}, &Int{};
  134. defer internal_destroy(dest, bb);
  135. if err = atoi(bb, string(base), 16); err != nil { return PyRes{res=":pow:atoi(base):", err=err}; }
  136. if err = #force_inline internal_pow(dest, bb, power); err != nil { return PyRes{res=":pow:pow(dest, base, power):", err=err}; }
  137. r: cstring;
  138. r, err = int_itoa_cstring(dest, 16, context.temp_allocator);
  139. if err != nil { return PyRes{res=":log:itoa(res):", err=err}; }
  140. return PyRes{res = r, err = nil};
  141. }
  142. /*
  143. dest = sqrt(src)
  144. */
  145. @export test_sqrt :: proc "c" (source: cstring) -> (res: PyRes) {
  146. context = runtime.default_context();
  147. err: Error;
  148. src := &Int{};
  149. defer internal_destroy(src);
  150. if err = atoi(src, string(source), 16); err != nil { return PyRes{res=":sqrt:atoi(src):", err=err}; }
  151. if err = #force_inline internal_sqrt(src, src); err != nil { return PyRes{res=":sqrt:sqrt(src):", err=err}; }
  152. r: cstring;
  153. r, err = int_itoa_cstring(src, 16, context.temp_allocator);
  154. if err != nil { return PyRes{res=":log:itoa(res):", err=err}; }
  155. return PyRes{res = r, err = nil};
  156. }
  157. /*
  158. dest = root_n(src, power)
  159. */
  160. @export test_root_n :: proc "c" (source: cstring, power: int) -> (res: PyRes) {
  161. context = runtime.default_context();
  162. err: Error;
  163. src := &Int{};
  164. defer internal_destroy(src);
  165. if err = atoi(src, string(source), 16); err != nil { return PyRes{res=":root_n:atoi(src):", err=err}; }
  166. if err = #force_inline internal_root_n(src, src, power); err != nil { return PyRes{res=":root_n:root_n(src):", err=err}; }
  167. r: cstring;
  168. r, err = int_itoa_cstring(src, 16, context.temp_allocator);
  169. if err != nil { return PyRes{res=":root_n:itoa(res):", err=err}; }
  170. return PyRes{res = r, err = nil};
  171. }
  172. /*
  173. dest = shr_digit(src, digits)
  174. */
  175. @export test_shr_digit :: proc "c" (source: cstring, digits: int) -> (res: PyRes) {
  176. context = runtime.default_context();
  177. err: Error;
  178. src := &Int{};
  179. defer internal_destroy(src);
  180. if err = atoi(src, string(source), 16); err != nil { return PyRes{res=":shr_digit:atoi(src):", err=err}; }
  181. if err = #force_inline internal_shr_digit(src, digits); err != nil { return PyRes{res=":shr_digit:shr_digit(src):", err=err}; }
  182. r: cstring;
  183. r, err = int_itoa_cstring(src, 16, context.temp_allocator);
  184. if err != nil { return PyRes{res=":shr_digit:itoa(res):", err=err}; }
  185. return PyRes{res = r, err = nil};
  186. }
  187. /*
  188. dest = shl_digit(src, digits)
  189. */
  190. @export test_shl_digit :: proc "c" (source: cstring, digits: int) -> (res: PyRes) {
  191. context = runtime.default_context();
  192. err: Error;
  193. src := &Int{};
  194. defer internal_destroy(src);
  195. if err = atoi(src, string(source), 16); err != nil { return PyRes{res=":shl_digit:atoi(src):", err=err}; }
  196. if err = #force_inline internal_shl_digit(src, digits); err != nil { return PyRes{res=":shl_digit:shr_digit(src):", err=err}; }
  197. r: cstring;
  198. r, err = int_itoa_cstring(src, 16, context.temp_allocator);
  199. if err != nil { return PyRes{res=":shl_digit:itoa(res):", err=err}; }
  200. return PyRes{res = r, err = nil};
  201. }
  202. /*
  203. dest = shr(src, bits)
  204. */
  205. @export test_shr :: proc "c" (source: cstring, bits: int) -> (res: PyRes) {
  206. context = runtime.default_context();
  207. err: Error;
  208. src := &Int{};
  209. defer internal_destroy(src);
  210. if err = atoi(src, string(source), 16); err != nil { return PyRes{res=":shr:atoi(src):", err=err}; }
  211. if err = #force_inline internal_shr(src, src, bits); err != nil { return PyRes{res=":shr:shr(src, bits):", err=err}; }
  212. r: cstring;
  213. r, err = int_itoa_cstring(src, 16, context.temp_allocator);
  214. if err != nil { return PyRes{res=":shr:itoa(res):", err=err}; }
  215. return PyRes{res = r, err = nil};
  216. }
  217. /*
  218. dest = shr_signed(src, bits)
  219. */
  220. @export test_shr_signed :: proc "c" (source: cstring, bits: int) -> (res: PyRes) {
  221. context = runtime.default_context();
  222. err: Error;
  223. src := &Int{};
  224. defer internal_destroy(src);
  225. if err = atoi(src, string(source), 16); err != nil { return PyRes{res=":shr_signed:atoi(src):", err=err}; }
  226. if err = #force_inline internal_shr_signed(src, src, bits); err != nil { return PyRes{res=":shr_signed:shr_signed(src, bits):", err=err}; }
  227. r: cstring;
  228. r, err = int_itoa_cstring(src, 16, context.temp_allocator);
  229. if err != nil { return PyRes{res=":shr_signed:itoa(res):", err=err}; }
  230. return PyRes{res = r, err = nil};
  231. }
  232. /*
  233. dest = shl(src, bits)
  234. */
  235. @export test_shl :: proc "c" (source: cstring, bits: int) -> (res: PyRes) {
  236. context = runtime.default_context();
  237. err: Error;
  238. src := &Int{};
  239. defer internal_destroy(src);
  240. if err = atoi(src, string(source), 16); err != nil { return PyRes{res=":shl:atoi(src):", err=err}; }
  241. if err = #force_inline internal_shl(src, src, bits); err != nil { return PyRes{res=":shl:shl(src, bits):", err=err}; }
  242. r: cstring;
  243. r, err = int_itoa_cstring(src, 16, context.temp_allocator);
  244. if err != nil { return PyRes{res=":shl:itoa(res):", err=err}; }
  245. return PyRes{res = r, err = nil};
  246. }
  247. /*
  248. dest = factorial(n)
  249. */
  250. @export test_factorial :: proc "c" (n: int) -> (res: PyRes) {
  251. context = runtime.default_context();
  252. err: Error;
  253. dest := &Int{};
  254. defer internal_destroy(dest);
  255. if err = #force_inline internal_int_factorial(dest, n); err != nil { return PyRes{res=":factorial:factorial(n):", err=err}; }
  256. r: cstring;
  257. r, err = int_itoa_cstring(dest, 16, context.temp_allocator);
  258. if err != nil { return PyRes{res=":factorial:itoa(res):", err=err}; }
  259. return PyRes{res = r, err = nil};
  260. }
  261. /*
  262. dest = gcd(a, b)
  263. */
  264. @export test_gcd :: proc "c" (a, b: cstring) -> (res: PyRes) {
  265. context = runtime.default_context();
  266. err: Error;
  267. ai, bi, dest := &Int{}, &Int{}, &Int{};
  268. defer internal_destroy(ai, bi, dest);
  269. if err = atoi(ai, string(a), 16); err != nil { return PyRes{res=":gcd:atoi(a):", err=err}; }
  270. if err = atoi(bi, string(b), 16); err != nil { return PyRes{res=":gcd:atoi(b):", err=err}; }
  271. if err = #force_inline internal_int_gcd_lcm(dest, nil, ai, bi); err != nil { return PyRes{res=":gcd:gcd(a, b):", err=err}; }
  272. r: cstring;
  273. r, err = int_itoa_cstring(dest, 16, context.temp_allocator);
  274. if err != nil { return PyRes{res=":gcd:itoa(res):", err=err}; }
  275. return PyRes{res = r, err = nil};
  276. }
  277. /*
  278. dest = lcm(a, b)
  279. */
  280. @export test_lcm :: proc "c" (a, b: cstring) -> (res: PyRes) {
  281. context = runtime.default_context();
  282. err: Error;
  283. ai, bi, dest := &Int{}, &Int{}, &Int{};
  284. defer internal_destroy(ai, bi, dest);
  285. if err = atoi(ai, string(a), 16); err != nil { return PyRes{res=":lcm:atoi(a):", err=err}; }
  286. if err = atoi(bi, string(b), 16); err != nil { return PyRes{res=":lcm:atoi(b):", err=err}; }
  287. if err = #force_inline internal_int_gcd_lcm(nil, dest, ai, bi); err != nil { return PyRes{res=":lcm:lcm(a, b):", err=err}; }
  288. r: cstring;
  289. r, err = int_itoa_cstring(dest, 16, context.temp_allocator);
  290. if err != nil { return PyRes{res=":lcm:itoa(res):", err=err}; }
  291. return PyRes{res = r, err = nil};
  292. }
  293. /*
  294. dest = lcm(a, b)
  295. */
  296. @export test_is_square :: proc "c" (a: cstring) -> (res: PyRes) {
  297. context = runtime.default_context();
  298. err: Error;
  299. square: bool;
  300. ai := &Int{};
  301. defer internal_destroy(ai);
  302. if err = atoi(ai, string(a), 16); err != nil { return PyRes{res=":is_square:atoi(a):", err=err}; }
  303. if square, err = #force_inline internal_int_is_square(ai); err != nil { return PyRes{res=":is_square:is_square(a):", err=err}; }
  304. if square {
  305. return PyRes{"True", nil};
  306. }
  307. return PyRes{"False", nil};
  308. }