3 * Prime generation glue
5 * (c) 1999 Straylight/Edgeware
8 /*----- Licensing notice --------------------------------------------------*
10 * This file is part of Catacomb.
12 * Catacomb is free software; you can redistribute it and/or modify
13 * it under the terms of the GNU Library General Public License as
14 * published by the Free Software Foundation; either version 2 of the
15 * License, or (at your option) any later version.
17 * Catacomb is distributed in the hope that it will be useful,
18 * but WITHOUT ANY WARRANTY; without even the implied warranty of
19 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
20 * GNU Library General Public License for more details.
22 * You should have received a copy of the GNU Library General Public
23 * License along with Catacomb; if not, write to the Free
24 * Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
28 /*----- Header files ------------------------------------------------------*/
43 /*----- Standard prime filter ---------------------------------------------*/
45 /* --- @pgen_filter@ --- */
47 int pgen_filter(int rq
, pgen_event
*ev
, void *p
)
49 pgen_filterctx
*f
= p
;
54 rc
= pfilt_create(&f
->f
, ev
->m
);
68 if (rc
== PGEN_FAIL
&& !((f
->step
| f
->f
.m
->v
[0]) & 1))
69 rc
= pfilt_step(&f
->f
, 1);
70 while (rc
== PGEN_FAIL
)
71 rc
= pfilt_step(&f
->f
, f
->step
);
72 ev
->m
= MP_COPY(f
->f
.m
);
76 /* --- @pgen_jump@ --- *
78 * Similar to the standard @pgen_filter@, but jumps in large steps rather
82 int pgen_jump(int rq
, pgen_event
*ev
, void *p
)
90 mp_gcd(&g
, 0, 0, ev
->m
, f
->j
->m
);
91 if (MP_CMP(g
, >, MP_ONE
)) {
96 rc
= pfilt_create(&f
->f
, ev
->m
);
101 rc
= pfilt_jump(&f
->f
, f
->j
);
104 pfilt_destroy(&f
->f
);
108 while (rc
== PGEN_FAIL
)
109 rc
= pfilt_jump(&f
->f
, f
->j
);
110 ev
->m
= MP_COPY(f
->f
.m
);
114 /*----- Standard prime test -----------------------------------------------*/
116 /* --- @pgen_test@ --- */
118 int pgen_test(int rq
, pgen_event
*ev
, void *p
)
126 rabin_create(r
, ev
->m
);
130 a
= mprand_range(a
, ev
->m
, ev
->r
, 0);
131 rc
= rabin_rtest(r
, a
);
143 /*----- The main driver ---------------------------------------------------*/
147 * Arguments: @const char *name@ = name of the value being searched for
148 * @mp *d@ = destination for the result integer
149 * @mp *m@ = start value to pass to stepper
150 * @pgen_proc *event@ = event handler function
151 * @void *ectx@ = context argument for event andler
152 * @unsigned steps@ = number of steps to take in search
153 * @pgen_proc *step@ = stepper function to use
154 * @void *sctx@ = context argument for stepper
155 * @unsigned tests@ = number of tests to make
156 * @pgen_proc *test@ = tester function to use
157 * @void *tctx@ = context argument for tester
159 * Returns: Pointer to final result, or null.
161 * Use: A generalized prime-number search skeleton. Yes, that's a
162 * scary number of arguments.
165 mp
*pgen(const char *name
, mp
*d
, mp
*m
, pgen_proc
*event
, void *ectx
,
166 unsigned steps
, pgen_proc
*step
, void *sctx
,
167 unsigned tests
, pgen_proc
*test
, void *tctx
)
175 enum { P_STEP
, P_TEST
};
177 /* --- Set up the initial event block --- */
186 ev
.r
= fibrand_create(0);
188 /* --- Tell the event handler we're under way --- */
190 if (event
&& event(PGEN_BEGIN
, &ev
, ectx
) == PGEN_ABORT
) {
191 ev
.r
->ops
->destroy(ev
.r
);
195 /* --- Set up for the initial call --- */
197 proc
= step
; ctx
= sctx
; p
= P_STEP
; rq
= PGEN_BEGIN
;
199 /* --- Enter the great maelstrom of state transitions --- */
208 #define A_ENDSTEP 16u
211 /* --- Call the procedure and decide what to do next --- */
213 rc
= proc(rq
, &ev
, ctx
);
220 proc
= test
; ctx
= tctx
; p
= P_TEST
;
225 act
|= A_TEST
| A_EVENT
;
229 proc
= test
; ctx
= tctx
; p
= P_TEST
;
236 act
|= A_ENDTEST
| A_EVENT
;
237 proc
= step
; ctx
= sctx
; p
= P_STEP
;
242 act
|= A_EVENT
| A_DONE
| A_ENDSTEP
;
247 act
|= A_EVENT
| A_DONE
;
248 if (p
== P_TEST
|| rq
== PGEN_TRY
)
250 if (p
== P_TEST
&& rq
!= PGEN_BEGIN
)
254 assert(((void)"Invalid response from function", 0));
258 /* --- If decrementing counters is requested, do that --- */
260 if ((act
& A_STEP
) && steps
) {
262 if (ev
.steps
== steps
) {
263 act
|= A_EVENT
| A_ENDSTEP
| A_DONE
;
269 if ((act
& A_TEST
) && tests
) {
271 if (ev
.tests
== tests
) {
272 act
|= A_ENDTEST
| A_ENDSTEP
| A_DONE
;
277 /* --- Report an event if so directed --- */
279 if ((act
& A_EVENT
) && event
&& event(rc
, &ev
, ectx
) == PGEN_ABORT
) {
281 if (!(act
& A_DONE
)) {
282 act
|= A_ENDSTEP
| A_DONE
;
283 if (p
== P_TEST
&& rq
!= PGEN_BEGIN
)
288 /* --- Close down tester and stepper functions --- */
291 test(PGEN_DONE
, &ev
, tctx
);
293 step(PGEN_DONE
, &ev
, sctx
);
295 /* --- Stop the entire test if necessary --- */
301 /* --- Tidy up and return --- */
303 if (rc
== PGEN_ABORT
) {
307 ev
.r
->ops
->destroy(ev
.r
);
313 /* --- @pgen_primep@ --- *
315 * Arguments: @mp *p@ = a number to check
316 * @grand *gr@ = a random number source
318 * Returns: Nonzero if @p@ is really prime.
320 * Use: Checks the primality of @p@. If @p@ is prime, then this
321 * function returns nonzero; if @p@ is really composite then it
322 * %%\emph{probably}%% returns zero, but might not.
324 * Currently, this function uses the Baillie--PSW test, which
325 * combines a single Miller--Rabin test with witness 2 with a
326 * single Frobenius test with parameters chosen using
327 * Selfridge's `Method A'. No composites are known which pass
328 * this test, though it's conjectured that infinitely many
332 int pgen_primep(mp
*p
, grand
*gr
)
337 if (MP_NEGP(p
)) return (0);
338 switch (pfilt_smallfactor(p
)) {
339 case PGEN_DONE
: return (1);
340 case PGEN_FAIL
: return (0);
342 rabin_create(&r
, p
); rc
= rabin_test(&r
, MP_TWO
); rabin_destroy(&r
);
343 if (rc
== PGEN_FAIL
) return (0);
344 rc
= pgen_granfrob(p
, 0, 0); if (rc
== PGEN_FAIL
) return (0);
348 /*----- Test rig ----------------------------------------------------------*/
352 #include <mLib/testrig.h>
354 static int t_primep(dstr
*v
)
356 mp
*m
= *(mp
**)v
[0].buf
;
357 int e
= *(int *)v
[1].buf
;
362 rng
= fibrand_create(0);
363 r
= pgen_primep(m
, rng
);
366 fputs("\n*** primep failed", stderr
);
367 fputs("\nm = ", stderr
); mp_writefile(m
, stderr
, 10);
368 fprintf(stderr
, "\nexpected %d", e
);
369 fprintf(stderr
, "\nreported %d", r
);
375 assert(mparena_count(MPARENA_GLOBAL
) == 0);
379 static int verify(dstr
*v
)
381 mp
*m
= *(mp
**)v
[0].buf
;
382 mp
*q
= *(mp
**)v
[1].buf
;
390 p
= pgen("p", MP_NEW
, m
, pgen_evspin
, 0, 0, pgen_filter
, &pf
,
391 rabin_iters(mp_bits(m
)), pgen_test
, &r
);
392 if (!p
|| !MP_EQ(p
, q
)) {
393 fputs("\n*** pgen failed", stderr
);
394 fputs("\nm = ", stderr
); mp_writefile(m
, stderr
, 10);
395 fputs("\np = ", stderr
); mp_writefile(p
, stderr
, 10);
396 fputs("\nq = ", stderr
); mp_writefile(q
, stderr
, 10);
404 assert(mparena_count(MPARENA_GLOBAL
) == 0);
408 static test_chunk tests
[] = {
409 { "pgen", verify
, { &type_mp
, &type_mp
, 0 } },
410 { "primep", t_primep
, { &type_mp
, &type_int
, 0 } },
414 int main(int argc
, char *argv
[])
417 test_run(argc
, argv
, tests
, SRCDIR
"/t/pgen");
422 /*----- That's all, folks -------------------------------------------------*/