Nikos Giachoudis
f7c58e4c4b
Unify primality checking ( #6228 )
...
* renames prime functions and occurances in comments
* changes implementation of primality testing to be uniform
* adds static typing as per conventions
* updating DIRECTORY.md
Co-authored-by: github-actions <${GITHUB_ACTOR}@users.noreply.github.com>
2022-07-11 22:36:57 +08:00
..
2021-11-07 16:13:58 +01:00
2019-10-21 22:36:33 +02:00
2020-04-13 07:50:46 +02:00
2020-08-21 14:39:03 +08:00
2022-07-11 10:19:52 +02:00
2022-02-13 18:20:19 +01:00
2021-09-07 13:37:03 +02:00
2021-11-07 16:13:58 +01:00
2021-04-04 09:32:36 +05:30
2022-06-22 12:04:18 +08:00
2021-03-22 10:52:26 +01:00
2021-03-22 10:52:26 +01:00
2022-01-30 20:29:54 +01:00
2020-02-13 02:19:41 +05:30
2021-10-21 21:13:42 +08:00
2020-09-13 10:11:27 +02:00
2020-09-23 13:30:13 +02:00
2020-10-30 23:10:44 +01:00
2021-08-03 08:03:22 +02:00
2021-09-07 13:37:03 +02:00
2022-07-11 10:19:52 +02:00
2022-07-11 10:19:52 +02:00
2022-07-11 10:19:52 +02:00
2019-12-01 06:58:25 +01:00
2021-09-07 13:37:03 +02:00
2021-10-07 23:20:32 +08:00
2021-10-07 23:20:32 +08:00
2020-10-26 00:02:24 +08:00
2020-07-06 09:44:19 +02:00
2022-05-13 20:51:44 +08:00
2020-05-10 20:49:40 +05:30
2020-07-29 10:54:05 +02:00
2019-07-30 08:47:54 +02:00
2020-08-05 12:39:15 +02:00
2022-07-11 10:19:52 +02:00
2020-11-28 22:42:30 +08:00
2020-06-16 10:09:19 +02:00
2021-09-07 13:37:03 +02:00
2021-09-07 13:37:03 +02:00
2020-07-06 09:44:19 +02:00
2021-04-26 07:46:50 +02:00
2022-07-11 10:19:52 +02:00
2022-07-11 10:19:52 +02:00
2020-06-12 06:51:47 +02:00
2020-07-29 10:54:05 +02:00
2022-01-30 20:29:54 +01:00
2021-11-13 17:32:44 +08:00
2022-01-30 20:29:54 +01:00
2022-02-13 18:09:09 +01:00
2021-11-17 04:43:02 +01:00
2020-07-27 11:33:13 +02:00
2022-07-11 22:36:57 +08:00
2020-09-23 13:30:13 +02:00
2022-07-11 10:19:52 +02:00
2020-09-30 10:38:00 +02:00
2022-07-11 22:36:57 +08:00
2021-11-07 16:13:58 +01:00
2020-01-03 22:25:36 +08:00
2021-02-23 11:23:49 +05:30
2022-01-30 20:29:54 +01:00
2020-09-23 13:30:13 +02:00
2022-01-30 20:29:54 +01:00
2020-11-15 09:14:40 +05:30
2022-05-16 19:28:30 +08:00
2021-11-03 21:24:50 +01:00
2020-09-10 10:31:26 +02:00
2020-06-16 10:09:19 +02:00
2020-08-16 20:31:06 +02:00
2022-01-30 20:29:54 +01:00
2021-10-10 20:02:44 +02:00
2020-01-18 13:24:33 +01:00
2021-08-15 21:15:53 +02:00
2021-03-22 10:52:26 +01:00
2021-08-15 21:15:53 +02:00
2020-09-10 10:31:26 +02:00