2008-09-03 17:57:21 +04:00
|
|
|
#
|
|
|
|
# = prime.rb
|
|
|
|
#
|
|
|
|
# Prime numbers and factorization library.
|
|
|
|
#
|
|
|
|
# Copyright::
|
|
|
|
# Copyright (c) 1998-2008 Keiju ISHITSUKA(SHL Japan Inc.)
|
|
|
|
# Copyright (c) 2008 Yuki Sonoda (Yugui) <yugui@yugui.jp>
|
|
|
|
#
|
|
|
|
# Documentation::
|
|
|
|
# Yuki Sonoda
|
|
|
|
#
|
|
|
|
|
|
|
|
require "singleton"
|
|
|
|
require "forwardable"
|
|
|
|
|
|
|
|
class Integer
|
|
|
|
# Re-composes a prime factorization and returns the product.
|
|
|
|
#
|
|
|
|
# See Prime#int_from_prime_division for more details.
|
|
|
|
def Integer.from_prime_division(pd)
|
|
|
|
Prime.int_from_prime_division(pd)
|
|
|
|
end
|
2009-03-06 06:56:38 +03:00
|
|
|
|
2008-09-03 17:57:21 +04:00
|
|
|
# Returns the factorization of +self+.
|
2009-03-06 06:56:38 +03:00
|
|
|
#
|
2008-09-03 17:57:21 +04:00
|
|
|
# See Prime#prime_division for more details.
|
|
|
|
def prime_division(generator = Prime::Generator23.new)
|
|
|
|
Prime.prime_division(self, generator)
|
|
|
|
end
|
|
|
|
|
2014-05-23 19:32:19 +04:00
|
|
|
# Returns true if +self+ is a prime number, else returns false.
|
2008-09-03 17:57:21 +04:00
|
|
|
def prime?
|
|
|
|
Prime.prime?(self)
|
|
|
|
end
|
|
|
|
|
2009-03-06 06:56:38 +03:00
|
|
|
# Iterates the given block over all prime numbers.
|
2008-09-03 17:57:21 +04:00
|
|
|
#
|
|
|
|
# See +Prime+#each for more details.
|
|
|
|
def Integer.each_prime(ubound, &block) # :yields: prime
|
|
|
|
Prime.each(ubound, &block)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
#
|
|
|
|
# The set of all prime numbers.
|
|
|
|
#
|
|
|
|
# == Example
|
2011-06-01 04:21:46 +04:00
|
|
|
#
|
|
|
|
# Prime.each(100) do |prime|
|
|
|
|
# p prime #=> 2, 3, 5, 7, 11, ...., 97
|
|
|
|
# end
|
|
|
|
#
|
|
|
|
# Prime is Enumerable:
|
|
|
|
#
|
|
|
|
# Prime.first 5 # => [2, 3, 5, 7, 11]
|
2008-09-03 17:57:21 +04:00
|
|
|
#
|
|
|
|
# == Retrieving the instance
|
2011-06-01 04:21:46 +04:00
|
|
|
#
|
2008-09-03 17:57:21 +04:00
|
|
|
# For convenience, each instance method of +Prime+.instance can be accessed
|
2009-03-06 06:56:38 +03:00
|
|
|
# as a class method of +Prime+.
|
2008-09-03 17:57:21 +04:00
|
|
|
#
|
|
|
|
# e.g.
|
2011-06-01 04:21:46 +04:00
|
|
|
# Prime.instance.prime?(2) #=> true
|
|
|
|
# Prime.prime?(2) #=> true
|
2008-09-03 17:57:21 +04:00
|
|
|
#
|
|
|
|
# == Generators
|
2011-06-01 04:21:46 +04:00
|
|
|
#
|
2008-09-03 17:57:21 +04:00
|
|
|
# A "generator" provides an implementation of enumerating pseudo-prime
|
|
|
|
# numbers and it remembers the position of enumeration and upper bound.
|
2013-06-30 17:40:10 +04:00
|
|
|
# Furthermore, it is an external iterator of prime enumeration which is
|
|
|
|
# compatible with an Enumerator.
|
2008-09-03 17:57:21 +04:00
|
|
|
#
|
|
|
|
# +Prime+::+PseudoPrimeGenerator+ is the base class for generators.
|
|
|
|
# There are few implementations of generator.
|
|
|
|
#
|
|
|
|
# [+Prime+::+EratosthenesGenerator+]
|
2013-06-30 17:40:10 +04:00
|
|
|
# Uses eratosthenes' sieve.
|
2008-09-03 17:57:21 +04:00
|
|
|
# [+Prime+::+TrialDivisionGenerator+]
|
|
|
|
# Uses the trial division method.
|
|
|
|
# [+Prime+::+Generator23+]
|
2013-06-30 17:40:10 +04:00
|
|
|
# Generates all positive integers which are not divisible by either 2 or 3.
|
2009-03-06 06:56:38 +03:00
|
|
|
# This sequence is very bad as a pseudo-prime sequence. But this
|
2013-06-30 17:40:10 +04:00
|
|
|
# is faster and uses much less memory than the other generators. So,
|
2008-09-03 17:57:21 +04:00
|
|
|
# it is suitable for factorizing an integer which is not large but
|
|
|
|
# has many prime factors. e.g. for Prime#prime? .
|
2011-06-01 04:21:46 +04:00
|
|
|
|
2008-09-03 17:57:21 +04:00
|
|
|
class Prime
|
|
|
|
include Enumerable
|
2015-05-22 16:36:39 +03:00
|
|
|
include Singleton
|
2008-09-03 17:57:21 +04:00
|
|
|
|
2009-09-13 04:38:07 +04:00
|
|
|
class << self
|
2008-09-03 17:57:21 +04:00
|
|
|
extend Forwardable
|
|
|
|
include Enumerable
|
|
|
|
|
|
|
|
def method_added(method) # :nodoc:
|
2009-09-13 04:38:07 +04:00
|
|
|
(class<< self;self;end).def_delegator :instance, method
|
2011-05-19 04:07:25 +04:00
|
|
|
end
|
2008-09-03 17:57:21 +04:00
|
|
|
end
|
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
# Iterates the given block over all prime numbers.
|
|
|
|
#
|
|
|
|
# == Parameters
|
2011-06-01 04:21:46 +04:00
|
|
|
#
|
2011-05-19 04:07:25 +04:00
|
|
|
# +ubound+::
|
|
|
|
# Optional. An arbitrary positive number.
|
|
|
|
# The upper bound of enumeration. The method enumerates
|
|
|
|
# prime numbers infinitely if +ubound+ is nil.
|
|
|
|
# +generator+::
|
|
|
|
# Optional. An implementation of pseudo-prime generator.
|
|
|
|
#
|
|
|
|
# == Return value
|
2011-06-01 04:21:46 +04:00
|
|
|
#
|
2011-05-19 04:07:25 +04:00
|
|
|
# An evaluated value of the given block at the last time.
|
|
|
|
# Or an enumerator which is compatible to an +Enumerator+
|
|
|
|
# if no block given.
|
|
|
|
#
|
|
|
|
# == Description
|
2011-06-01 04:21:46 +04:00
|
|
|
#
|
2011-05-19 04:07:25 +04:00
|
|
|
# Calls +block+ once for each prime number, passing the prime as
|
|
|
|
# a parameter.
|
|
|
|
#
|
|
|
|
# +ubound+::
|
2013-06-30 17:40:10 +04:00
|
|
|
# Upper bound of prime numbers. The iterator stops after it
|
2011-05-19 04:07:25 +04:00
|
|
|
# yields all prime numbers p <= +ubound+.
|
|
|
|
#
|
|
|
|
def each(ubound = nil, generator = EratosthenesGenerator.new, &block)
|
|
|
|
generator.upper_bound = ubound
|
|
|
|
generator.each(&block)
|
|
|
|
end
|
2008-09-03 17:57:21 +04:00
|
|
|
|
|
|
|
|
2014-05-24 12:14:20 +04:00
|
|
|
# Returns true if +value+ is a prime number, else returns false.
|
2011-05-19 04:07:25 +04:00
|
|
|
#
|
|
|
|
# == Parameters
|
2011-06-01 04:21:46 +04:00
|
|
|
#
|
2011-05-19 04:07:25 +04:00
|
|
|
# +value+:: an arbitrary integer to be checked.
|
|
|
|
# +generator+:: optional. A pseudo-prime generator.
|
|
|
|
def prime?(value, generator = Prime::Generator23.new)
|
|
|
|
return false if value < 2
|
2015-05-22 16:37:02 +03:00
|
|
|
generator.each do |num|
|
2011-05-19 04:07:25 +04:00
|
|
|
q,r = value.divmod num
|
|
|
|
return true if q < num
|
|
|
|
return false if r == 0
|
|
|
|
end
|
2008-09-03 17:57:21 +04:00
|
|
|
end
|
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
# Re-composes a prime factorization and returns the product.
|
|
|
|
#
|
|
|
|
# == Parameters
|
|
|
|
# +pd+:: Array of pairs of integers. The each internal
|
|
|
|
# pair consists of a prime number -- a prime factor --
|
|
|
|
# and a natural number -- an exponent.
|
|
|
|
#
|
|
|
|
# == Example
|
2011-06-01 04:21:46 +04:00
|
|
|
# For <tt>[[p_1, e_1], [p_2, e_2], ...., [p_n, e_n]]</tt>, it returns:
|
|
|
|
#
|
|
|
|
# p_1**e_1 * p_2**e_2 * .... * p_n**e_n.
|
2011-05-19 04:07:25 +04:00
|
|
|
#
|
2011-06-01 04:21:46 +04:00
|
|
|
# Prime.int_from_prime_division([[2,2], [3,1]]) #=> 12
|
2011-05-19 04:07:25 +04:00
|
|
|
def int_from_prime_division(pd)
|
|
|
|
pd.inject(1){|value, (prime, index)|
|
2014-07-27 15:04:28 +04:00
|
|
|
value * prime**index
|
2011-05-19 04:07:25 +04:00
|
|
|
}
|
2011-05-19 01:19:18 +04:00
|
|
|
end
|
2011-05-19 04:07:25 +04:00
|
|
|
|
|
|
|
# Returns the factorization of +value+.
|
|
|
|
#
|
|
|
|
# == Parameters
|
|
|
|
# +value+:: An arbitrary integer.
|
|
|
|
# +generator+:: Optional. A pseudo-prime generator.
|
|
|
|
# +generator+.succ must return the next
|
2013-06-30 17:40:10 +04:00
|
|
|
# pseudo-prime number in the ascending
|
2011-05-19 04:07:25 +04:00
|
|
|
# order. It must generate all prime numbers,
|
2013-06-30 17:40:10 +04:00
|
|
|
# but may also generate non prime numbers too.
|
2011-05-19 04:07:25 +04:00
|
|
|
#
|
|
|
|
# === Exceptions
|
|
|
|
# +ZeroDivisionError+:: when +value+ is zero.
|
|
|
|
#
|
|
|
|
# == Example
|
2011-06-01 04:21:46 +04:00
|
|
|
# For an arbitrary integer:
|
|
|
|
#
|
|
|
|
# n = p_1**e_1 * p_2**e_2 * .... * p_n**e_n,
|
|
|
|
#
|
|
|
|
# prime_division(n) returns:
|
2011-05-19 04:07:25 +04:00
|
|
|
#
|
2011-06-01 04:21:46 +04:00
|
|
|
# [[p_1, e_1], [p_2, e_2], ...., [p_n, e_n]].
|
|
|
|
#
|
|
|
|
# Prime.prime_division(12) #=> [[2,2], [3,1]]
|
2011-05-19 04:07:25 +04:00
|
|
|
#
|
2013-06-30 17:40:10 +04:00
|
|
|
def prime_division(value, generator = Prime::Generator23.new)
|
2011-05-19 04:07:25 +04:00
|
|
|
raise ZeroDivisionError if value == 0
|
|
|
|
if value < 0
|
|
|
|
value = -value
|
|
|
|
pv = [[-1, 1]]
|
|
|
|
else
|
|
|
|
pv = []
|
|
|
|
end
|
2015-05-22 16:37:02 +03:00
|
|
|
generator.each do |prime|
|
2011-05-19 04:07:25 +04:00
|
|
|
count = 0
|
|
|
|
while (value1, mod = value.divmod(prime)
|
|
|
|
mod) == 0
|
|
|
|
value = value1
|
|
|
|
count += 1
|
|
|
|
end
|
|
|
|
if count != 0
|
|
|
|
pv.push [prime, count]
|
|
|
|
end
|
|
|
|
break if value1 <= prime
|
2008-09-03 17:57:21 +04:00
|
|
|
end
|
2011-05-19 04:07:25 +04:00
|
|
|
if value > 1
|
|
|
|
pv.push [value, 1]
|
2008-09-03 17:57:21 +04:00
|
|
|
end
|
2015-05-22 16:37:02 +03:00
|
|
|
pv
|
2008-09-03 17:57:21 +04:00
|
|
|
end
|
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
# An abstract class for enumerating pseudo-prime numbers.
|
|
|
|
#
|
|
|
|
# Concrete subclasses should override succ, next, rewind.
|
|
|
|
class PseudoPrimeGenerator
|
|
|
|
include Enumerable
|
2008-09-03 17:57:21 +04:00
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
def initialize(ubound = nil)
|
|
|
|
@ubound = ubound
|
|
|
|
end
|
2008-09-03 17:57:21 +04:00
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
def upper_bound=(ubound)
|
|
|
|
@ubound = ubound
|
|
|
|
end
|
|
|
|
def upper_bound
|
|
|
|
@ubound
|
|
|
|
end
|
2008-09-03 17:57:21 +04:00
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
# returns the next pseudo-prime number, and move the internal
|
|
|
|
# position forward.
|
|
|
|
#
|
|
|
|
# +PseudoPrimeGenerator+#succ raises +NotImplementedError+.
|
|
|
|
def succ
|
|
|
|
raise NotImplementedError, "need to define `succ'"
|
|
|
|
end
|
2008-09-03 17:57:21 +04:00
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
# alias of +succ+.
|
|
|
|
def next
|
|
|
|
raise NotImplementedError, "need to define `next'"
|
|
|
|
end
|
2008-09-03 17:57:21 +04:00
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
# Rewinds the internal position for enumeration.
|
|
|
|
#
|
|
|
|
# See +Enumerator+#rewind.
|
|
|
|
def rewind
|
|
|
|
raise NotImplementedError, "need to define `rewind'"
|
|
|
|
end
|
2008-09-03 17:57:21 +04:00
|
|
|
|
2013-06-30 17:40:10 +04:00
|
|
|
# Iterates the given block for each prime number.
|
2014-12-10 23:38:13 +03:00
|
|
|
def each
|
|
|
|
return self.dup unless block_given?
|
2011-05-19 04:07:25 +04:00
|
|
|
if @ubound
|
|
|
|
last_value = nil
|
|
|
|
loop do
|
|
|
|
prime = succ
|
|
|
|
break last_value if prime > @ubound
|
2014-12-10 23:38:13 +03:00
|
|
|
last_value = yield prime
|
2011-05-19 04:07:25 +04:00
|
|
|
end
|
|
|
|
else
|
|
|
|
loop do
|
2014-12-10 23:38:13 +03:00
|
|
|
yield succ
|
2011-05-19 04:07:25 +04:00
|
|
|
end
|
2008-09-03 17:57:21 +04:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
# see +Enumerator+#with_index.
|
|
|
|
alias with_index each_with_index
|
2008-09-03 17:57:21 +04:00
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
# see +Enumerator+#with_object.
|
|
|
|
def with_object(obj)
|
|
|
|
return enum_for(:with_object) unless block_given?
|
|
|
|
each do |prime|
|
|
|
|
yield prime, obj
|
|
|
|
end
|
2008-09-03 17:57:21 +04:00
|
|
|
end
|
|
|
|
end
|
2009-03-06 06:56:38 +03:00
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
# An implementation of +PseudoPrimeGenerator+.
|
|
|
|
#
|
|
|
|
# Uses +EratosthenesSieve+.
|
|
|
|
class EratosthenesGenerator < PseudoPrimeGenerator
|
|
|
|
def initialize
|
2013-07-15 08:21:34 +04:00
|
|
|
@last_prime_index = -1
|
2011-05-19 04:07:25 +04:00
|
|
|
super
|
|
|
|
end
|
2009-03-06 06:56:38 +03:00
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
def succ
|
2013-07-15 08:21:34 +04:00
|
|
|
@last_prime_index += 1
|
|
|
|
EratosthenesSieve.instance.get_nth_prime(@last_prime_index)
|
2011-05-19 04:07:25 +04:00
|
|
|
end
|
|
|
|
def rewind
|
|
|
|
initialize
|
|
|
|
end
|
|
|
|
alias next succ
|
2011-05-19 01:19:18 +04:00
|
|
|
end
|
2008-09-03 17:57:21 +04:00
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
# An implementation of +PseudoPrimeGenerator+ which uses
|
|
|
|
# a prime table generated by trial division.
|
|
|
|
class TrialDivisionGenerator<PseudoPrimeGenerator
|
|
|
|
def initialize
|
|
|
|
@index = -1
|
|
|
|
super
|
|
|
|
end
|
2009-03-06 06:56:38 +03:00
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
def succ
|
|
|
|
TrialDivision.instance[@index += 1]
|
|
|
|
end
|
|
|
|
def rewind
|
|
|
|
initialize
|
|
|
|
end
|
|
|
|
alias next succ
|
2008-09-03 17:57:21 +04:00
|
|
|
end
|
|
|
|
|
2013-06-30 17:40:10 +04:00
|
|
|
# Generates all integers which are greater than 2 and
|
|
|
|
# are not divisible by either 2 or 3.
|
2011-05-19 04:07:25 +04:00
|
|
|
#
|
|
|
|
# This is a pseudo-prime generator, suitable on
|
2013-06-30 17:40:10 +04:00
|
|
|
# checking primality of an integer by brute force
|
2011-05-19 04:07:25 +04:00
|
|
|
# method.
|
|
|
|
class Generator23<PseudoPrimeGenerator
|
|
|
|
def initialize
|
|
|
|
@prime = 1
|
|
|
|
@step = nil
|
|
|
|
super
|
|
|
|
end
|
2009-03-06 06:56:38 +03:00
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
def succ
|
2014-12-10 23:38:13 +03:00
|
|
|
if (@step)
|
|
|
|
@prime += @step
|
|
|
|
@step = 6 - @step
|
|
|
|
else
|
|
|
|
case @prime
|
|
|
|
when 1; @prime = 2
|
|
|
|
when 2; @prime = 3
|
|
|
|
when 3; @prime = 5; @step = 2
|
2011-05-19 01:19:18 +04:00
|
|
|
end
|
2008-09-03 17:57:21 +04:00
|
|
|
end
|
2015-05-22 16:37:02 +03:00
|
|
|
@prime
|
2011-05-19 04:07:25 +04:00
|
|
|
end
|
|
|
|
alias next succ
|
|
|
|
def rewind
|
|
|
|
initialize
|
2008-09-03 17:57:21 +04:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
# Internal use. An implementation of prime table by trial division method.
|
|
|
|
class TrialDivision
|
|
|
|
include Singleton
|
2008-09-03 17:57:21 +04:00
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
def initialize # :nodoc:
|
|
|
|
# These are included as class variables to cache them for later uses. If memory
|
|
|
|
# usage is a problem, they can be put in Prime#initialize as instance variables.
|
2008-09-03 17:57:21 +04:00
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
# There must be no primes between @primes[-1] and @next_to_check.
|
|
|
|
@primes = [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101]
|
|
|
|
# @next_to_check % 6 must be 1.
|
|
|
|
@next_to_check = 103 # @primes[-1] - @primes[-1] % 6 + 7
|
|
|
|
@ulticheck_index = 3 # @primes.index(@primes.reverse.find {|n|
|
|
|
|
# n < Math.sqrt(@@next_to_check) })
|
|
|
|
@ulticheck_next_squared = 121 # @primes[@ulticheck_index + 1] ** 2
|
|
|
|
end
|
2011-05-19 01:19:18 +04:00
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
# Returns the cached prime numbers.
|
|
|
|
def cache
|
2015-05-22 16:37:02 +03:00
|
|
|
@primes
|
2011-05-19 04:07:25 +04:00
|
|
|
end
|
|
|
|
alias primes cache
|
|
|
|
alias primes_so_far cache
|
|
|
|
|
|
|
|
# Returns the +index+th prime number.
|
|
|
|
#
|
|
|
|
# +index+ is a 0-based index.
|
|
|
|
def [](index)
|
|
|
|
while index >= @primes.length
|
|
|
|
# Only check for prime factors up to the square root of the potential primes,
|
|
|
|
# but without the performance hit of an actual square root calculation.
|
|
|
|
if @next_to_check + 4 > @ulticheck_next_squared
|
|
|
|
@ulticheck_index += 1
|
|
|
|
@ulticheck_next_squared = @primes.at(@ulticheck_index + 1) ** 2
|
|
|
|
end
|
|
|
|
# Only check numbers congruent to one and five, modulo six. All others
|
|
|
|
|
|
|
|
# are divisible by two or three. This also allows us to skip checking against
|
|
|
|
# two and three.
|
|
|
|
@primes.push @next_to_check if @primes[2..@ulticheck_index].find {|prime| @next_to_check % prime == 0 }.nil?
|
|
|
|
@next_to_check += 4
|
|
|
|
@primes.push @next_to_check if @primes[2..@ulticheck_index].find {|prime| @next_to_check % prime == 0 }.nil?
|
|
|
|
@next_to_check += 2
|
2008-09-03 17:57:21 +04:00
|
|
|
end
|
2015-05-22 16:37:02 +03:00
|
|
|
@primes[index]
|
2008-09-03 17:57:21 +04:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2013-06-30 17:40:10 +04:00
|
|
|
# Internal use. An implementation of eratosthenes' sieve
|
2011-05-19 04:07:25 +04:00
|
|
|
class EratosthenesSieve
|
|
|
|
include Singleton
|
2008-09-03 17:57:21 +04:00
|
|
|
|
2013-07-15 08:21:34 +04:00
|
|
|
def initialize
|
|
|
|
@primes = [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101]
|
|
|
|
# @max_checked must be an even number
|
|
|
|
@max_checked = @primes.last + 1
|
2011-05-19 04:07:25 +04:00
|
|
|
end
|
|
|
|
|
2013-07-15 08:21:34 +04:00
|
|
|
def get_nth_prime(n)
|
|
|
|
compute_primes while @primes.size <= n
|
|
|
|
@primes[n]
|
2008-09-03 17:57:21 +04:00
|
|
|
end
|
|
|
|
|
2011-05-19 04:07:25 +04:00
|
|
|
private
|
2013-07-15 08:21:34 +04:00
|
|
|
def compute_primes
|
|
|
|
# max_segment_size must be an even number
|
|
|
|
max_segment_size = 1e6.to_i
|
|
|
|
max_cached_prime = @primes.last
|
|
|
|
# do not double count primes if #compute_primes is interrupted
|
|
|
|
# by Timeout.timeout
|
|
|
|
@max_checked = max_cached_prime + 1 if max_cached_prime > @max_checked
|
|
|
|
|
|
|
|
segment_min = @max_checked
|
|
|
|
segment_max = [segment_min + max_segment_size, max_cached_prime * 2].min
|
|
|
|
root = Integer(Math.sqrt(segment_max).floor)
|
|
|
|
|
|
|
|
segment = ((segment_min + 1) .. segment_max).step(2).to_a
|
2015-06-09 06:32:11 +03:00
|
|
|
|
|
|
|
(1..Float::INFINITY).each do |sieving|
|
|
|
|
prime = @primes[sieving]
|
|
|
|
break if prime > root
|
2015-06-09 05:45:31 +03:00
|
|
|
composite_index = (-(segment_min + 1 + prime) / 2) % prime
|
2013-07-15 08:21:34 +04:00
|
|
|
while composite_index < segment.size do
|
|
|
|
segment[composite_index] = nil
|
|
|
|
composite_index += prime
|
2011-05-19 04:07:25 +04:00
|
|
|
end
|
2008-09-03 17:57:21 +04:00
|
|
|
end
|
2013-07-15 08:21:34 +04:00
|
|
|
|
|
|
|
segment.each do |prime|
|
|
|
|
@primes.push prime unless prime.nil?
|
|
|
|
end
|
|
|
|
@max_checked = segment_max
|
2008-09-03 17:57:21 +04:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|