fermat_overpseudoprimes_generation.sf 1.8 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162
  1. #!/usr/bin/ruby
  2. # Author: Daniel "Trizen" Șuteu
  3. # Date: 31 March 2019
  4. # https://github.com/trizen
  5. # A new algorithm for generating Fermat overpseudoprimes to any given base.
  6. # See also:
  7. # https://oeis.org/A141232 -- Overpseudoprimes to base 2: composite k such that k = A137576((k-1)/2).
  8. # See also:
  9. # https://en.wikipedia.org/wiki/Fermat_pseudoprime
  10. # https://trizenx.blogspot.com/2020/08/pseudoprimes-construction-methods-and.html
  11. func fermat_overpseudoprimes(base, prime_limit, callback) {
  12. var table = Hash()
  13. prime_limit.each_prime {|p|
  14. var z = znorder(base, p) || next
  15. table{z} := [] << p
  16. }
  17. var seen = Set()
  18. table.each_v { |a|
  19. var L = a.len
  20. for k in (2..L) {
  21. a.combinations(k, {|*t|
  22. var n = t.prod
  23. callback(n) if !seen.has(n)
  24. seen << n
  25. })
  26. }
  27. }
  28. }
  29. var base = 2
  30. var pseudoprimes = gather {
  31. fermat_overpseudoprimes(base, 5000, {|n| take(n) })
  32. }
  33. pseudoprimes.each {|n|
  34. assert(n.is_over_psp(base))
  35. if (n.legendre(5) == -1) {
  36. if (fibmod(n - n.legendre(5), n) == 0) {
  37. die "Found a special pseudoprime: #{n}"
  38. }
  39. }
  40. }
  41. say pseudoprimes.sort
  42. __END__
  43. [2047, 3277, 4033, 8321, 65281, 80581, 85489, 88357, 104653, 130561, 220729, 253241, 256999, 280601, 390937, 458989, 486737, 514447, 580337, 838861, 877099, 916327, 976873, 1016801, 1082401, 1207361, 1251949, 1252697, 1325843, 1441091, 1507963, 1509709, 1530787, 1678541, 1811573, 2181961, 2205967, 2304167, 2387797, 2746477, 2811271, 2976487, 3090091, 3116107, 3375041, 3400013, 3898129, 4181921, 4469471, 4513841, 5044033, 5173169, 6226193, 6952037, 7820201, 8036033, 9863461, 10425511, 10610063, 13338371, 13421773, 14179537, 15976747, 18073817, 464955857, 536870911, 1220114377, 1541955409, 7030714813, 19089110641]