experimental-projects/oeis-research/Thomas Ordowski/Tomasz new sequences/prog.sf

#!/usr/bin/ruby
# Let a(n) be the smallest odd prime p such that q^((p-1)/2) == -1 (mod p) for every prime q <= prime(n).

# Let b(n) be the smallest odd composite k such that q^((k-1)/2) == -1 (mod k) for every prime q <= prime(n).

func a(n) {
    var primes = n.prime.primes
    3..Inf `by` 2 -> lazy.grep{.is_prime}.first {|p|
        primes.all {|q|
            powmod(q, (p-1)/2, p) == p-1
        }
    }
}

func b(n) {
    var primes = n.prime.primes
    3..Inf `by` 2 -> lazy.grep{!.is_prime}.first {|k|
        primes.all {|q|
            powmod(q, (k-1)/2, k) == k-1
        }
    }
}

#~ Let a'(n) be the smallest odd prime p such that b^((p-1)/2) == 1 (mod p) for every natural b < prime(n).
#~ ____________
#~ Let b'(n) be the smallest odd composite k such that b^((k-1)/2) == 1 (mod k) for every natural b < prime(n).

for k in (1..100) {
    print(a(k), ", ")
}

for k in (1..100) {
    print(b(k), ", ")
}

# a(n) = {3, 5, 17, 17, 17, 83, 167, 167, 227, 2273, 5297, 5297, 69467, 69467, 116387, ...}
# Beside the first term, a(n) is equivalent to A237437.


# a(n) = {3, 5, 43, 43, 67, 67, 163, 163, 163, 163, 163, 163, 74093, 170957, 360293, 679733, 2004917, 2004917, ...}
# a(n) appears to be already in the OEIS as A191089.

# b(n) = {3277, 1530787, ...}