99 lines
2.4 KiB
C
99 lines
2.4 KiB
C
/* Tests the (internal) function mpz_lucas_mod
|
|
|
|
Copyright 2018, Free Software Foundation, Inc.
|
|
|
|
This file is part of the GNU MP Library test suite.
|
|
|
|
The GNU MP Library test suite is free software; you can redistribute it
|
|
and/or modify it under the terms of the GNU General Public License as
|
|
published by the Free Software Foundation; either version 3 of the License,
|
|
or (at your option) any later version.
|
|
|
|
The GNU MP Library test suite is distributed in the hope that it will be
|
|
useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
|
|
Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License along with
|
|
the GNU MP Library test suite. If not, see https://www.gnu.org/licenses/. */
|
|
|
|
#include <limits.h>
|
|
#include <stdlib.h>
|
|
#include <stdio.h>
|
|
#include <string.h>
|
|
|
|
#include "testutils.h"
|
|
|
|
#define MAXBITS 100
|
|
#define COUNT 1000
|
|
|
|
void
|
|
testmain (int argc, char **argv)
|
|
{
|
|
unsigned i;
|
|
mpz_t m, vr, qr, vm, qm, vt;
|
|
int resm, resr;
|
|
long Q;
|
|
unsigned long b0;
|
|
|
|
mpz_init (m);
|
|
mpz_init (vr);
|
|
mpz_init (qr);
|
|
mpz_init (vm);
|
|
mpz_init (qm);
|
|
mpz_init (vt);
|
|
|
|
for (i = 0; i < COUNT; i++)
|
|
{
|
|
mini_random_lucm_op (MAXBITS, vr, qr, m, &Q, &b0, &resr);
|
|
if (b0 == 0)
|
|
{
|
|
fprintf (stderr, "lucas_mod: test disabled (%u tests done).\n", i);
|
|
break;
|
|
}
|
|
resm = mpz_lucas_mod (vm, qm, Q, b0, m);
|
|
|
|
if (resr != resm)
|
|
{
|
|
if (resm != 0 || mpz_cmp_ui (vm, 0) != 0)
|
|
{
|
|
fprintf (stderr, "mpz_lucas_mod wrong return value (%d != %d):\n", resr, resm);
|
|
fprintf (stderr, "Q = %ld , b0 = %lu\n", Q, b0);
|
|
dump ("m", m);
|
|
dump ("vm", vm);
|
|
dump ("qm", qm);
|
|
abort ();
|
|
}
|
|
}
|
|
else if (resm == 0)
|
|
{
|
|
mpz_abs (vr, vr);
|
|
mpz_sub (vt, m, vr);
|
|
mpz_abs (vm, vm);
|
|
mpz_mod (qm, qm, m);
|
|
if (mpz_cmp_ui (qr, 0) < 0)
|
|
mpz_add (qr, qr, m);
|
|
if (mpz_cmp (qm, qr) != 0 ||
|
|
(mpz_cmp (vm, vr) != 0 && mpz_cmp (vm, vt) != 0))
|
|
{
|
|
fprintf (stderr, "mpz_lucas_mod error:\n");
|
|
fprintf (stderr, "Q = %ld , b0 = %lu\n", Q, b0);
|
|
dump ("m", m);
|
|
dump ("vm", vm);
|
|
dump ("vr", vr);
|
|
dump ("vt", vt);
|
|
dump ("qm", qm);
|
|
dump ("qr", qr);
|
|
abort ();
|
|
}
|
|
|
|
}
|
|
}
|
|
mpz_clear (m);
|
|
mpz_clear (vr);
|
|
mpz_clear (qr);
|
|
mpz_clear (vm);
|
|
mpz_clear (qm);
|
|
mpz_clear (vt);
|
|
}
|