/* Test that the sequence without seeding equals the sequence with the
default seed. */ int
chk_default_seed (void)
{
gmp_randstate_t r1, r2;
mpz_t a, b; int i; int ok = TRUE;
mpz_init2 (a, 19936L);
mpz_init2 (b, 19936L);
gmp_randinit_mt (r1);
gmp_randinit_mt (r2);
gmp_randseed_ui (r2, 5489L); /* Must match DEFAULT_SEED in randmt.c */ for (i = 0; i < 3; i++)
{ /* Extract one whole buffer per iteration. */
mpz_urandomb (a, r1, 19936L);
mpz_urandomb (b, r2, 19936L); if (mpz_cmp (a, b) != 0)
{
ok = FALSE;
printf ("Default seed fails in iteration %d\n", i); break;
}
}
gmp_randclear (r1);
gmp_randclear (r2);
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.