1994-09-04 04:03:31 +00:00
|
|
|
/*
|
|
|
|
* Copyright (c) 1989, 1993
|
|
|
|
* The Regents of the University of California. All rights reserved.
|
|
|
|
*
|
|
|
|
* This code is derived from software contributed to Berkeley by
|
|
|
|
* Landon Curt Noll.
|
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without
|
|
|
|
* modification, are permitted provided that the following conditions
|
|
|
|
* are met:
|
|
|
|
* 1. Redistributions of source code must retain the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer.
|
|
|
|
* 2. Redistributions in binary form must reproduce the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
|
|
* documentation and/or other materials provided with the distribution.
|
2010-02-15 18:46:02 +00:00
|
|
|
* 3. Neither the name of the University nor the names of its contributors
|
1994-09-04 04:03:31 +00:00
|
|
|
* may be used to endorse or promote products derived from this software
|
|
|
|
* without specific prior written permission.
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
|
|
|
|
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
|
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
|
|
|
|
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
|
|
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
|
|
|
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
|
|
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
|
|
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
|
|
|
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
|
|
* SUCH DAMAGE.
|
|
|
|
*
|
|
|
|
* @(#)primes.h 8.2 (Berkeley) 3/1/94
|
2002-10-09 19:38:55 +00:00
|
|
|
* $FreeBSD$
|
1994-09-04 04:03:31 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
/*
|
|
|
|
* primes - generate a table of primes between two values
|
|
|
|
*
|
|
|
|
* By: Landon Curt Noll chongo@toad.com, ...!{sun,tolsoft}!hoptoad!chongo
|
|
|
|
*
|
|
|
|
* chongo <for a good prime call: 391581 * 2^216193 - 1> /\oo/\
|
|
|
|
*/
|
|
|
|
|
2014-09-27 09:00:38 +00:00
|
|
|
#include <stdint.h>
|
|
|
|
|
1994-09-04 04:03:31 +00:00
|
|
|
/* ubig is the type that holds a large unsigned value */
|
2014-09-27 09:00:38 +00:00
|
|
|
typedef uint64_t ubig; /* must be >=32 bit unsigned value */
|
1994-09-04 04:03:31 +00:00
|
|
|
#define BIG ULONG_MAX /* largest value will sieve */
|
|
|
|
|
|
|
|
/* bytes in sieve table (must be > 3*5*7*11) */
|
|
|
|
#define TABSIZE 256*1024
|
2002-10-09 19:38:55 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* prime[i] is the (i-1)th prime.
|
|
|
|
*
|
|
|
|
* We are able to sieve 2^32-1 because this byte table yields all primes
|
|
|
|
* up to 65537 and 65537^2 > 2^32-1.
|
|
|
|
*/
|
|
|
|
extern const ubig prime[];
|
|
|
|
extern const ubig *const pr_limit; /* largest prime in the prime array */
|
|
|
|
|
Correctly enumerate primes between 4295098369 and 3825123056546413050.
Prior to this commit, primes(6) relied solely on sieving with primes up
to 65537, with the effect that composite numbers which are the product
of two non-16-bit primes would be incorrectly identified as prime. For
example,
# primes 1099511627800 1099511627820
would output
1099511627803
1099511627807
1099511627813
when in fact only the first of those values is prime.
This commit adds strong pseudoprime tests to validate the candidates
which pass the initial sieving stage, using bases of 2, 3, 5, 7, 11,
13, 17, 19, and 23. Thanks to papers from C. Pomerance, J.L. Selfridge,
and S.S. Wagstaff, Jr.; G. Jaeschke; and Y. Jiang and Y. Deng, we know
that the smallest value which passes these tests is 3825123056546413051.
At present we do not know how many strong pseudoprime tests are required
to prove primality for values larger than 3825123056546413050, so we
force primes(6) to stop at that point.
Reviewed by: jmg
Relnotes: primes(6) now correctly enumerates primes up to
3825123056546413050
MFC after: 7 days
Sponsored by: EuroBSDCon devsummit
2014-09-26 09:40:48 +00:00
|
|
|
/* Maximum size sieving alone can handle. */
|
|
|
|
#define SIEVEMAX 4295098368ULL
|
|
|
|
|
2002-10-09 19:38:55 +00:00
|
|
|
/*
|
|
|
|
* To avoid excessive sieves for small factors, we use the table below to
|
2003-01-01 18:49:04 +00:00
|
|
|
* setup our sieve blocks. Each element represents an odd number starting
|
2002-10-09 19:38:55 +00:00
|
|
|
* with 1. All non-zero elements are factors of 3, 5, 7, 11 and 13.
|
|
|
|
*/
|
|
|
|
extern const char pattern[];
|
|
|
|
extern const size_t pattern_size; /* length of pattern array */
|
Correctly enumerate primes between 4295098369 and 3825123056546413050.
Prior to this commit, primes(6) relied solely on sieving with primes up
to 65537, with the effect that composite numbers which are the product
of two non-16-bit primes would be incorrectly identified as prime. For
example,
# primes 1099511627800 1099511627820
would output
1099511627803
1099511627807
1099511627813
when in fact only the first of those values is prime.
This commit adds strong pseudoprime tests to validate the candidates
which pass the initial sieving stage, using bases of 2, 3, 5, 7, 11,
13, 17, 19, and 23. Thanks to papers from C. Pomerance, J.L. Selfridge,
and S.S. Wagstaff, Jr.; G. Jaeschke; and Y. Jiang and Y. Deng, we know
that the smallest value which passes these tests is 3825123056546413051.
At present we do not know how many strong pseudoprime tests are required
to prove primality for values larger than 3825123056546413050, so we
force primes(6) to stop at that point.
Reviewed by: jmg
Relnotes: primes(6) now correctly enumerates primes up to
3825123056546413050
MFC after: 7 days
Sponsored by: EuroBSDCon devsummit
2014-09-26 09:40:48 +00:00
|
|
|
|
|
|
|
/* Test for primality using strong pseudoprime tests. */
|
|
|
|
int isprime(ubig);
|
|
|
|
|
|
|
|
/* Maximum value which the SPSP code can handle. */
|
|
|
|
#define SPSPMAX 3825123056546413050ULL
|