t-urndmm.c
上传用户:qaz666999
上传日期:2022-08-06
资源大小:2570k
文件大小:3k
源码类别:

数学计算

开发平台:

Unix_Linux

  1. /* Test mpz_urandomm.
  2. Copyright 2002 Free Software Foundation, Inc.
  3. This file is part of the GNU MP Library.
  4. The GNU MP Library is free software; you can redistribute it and/or modify
  5. it under the terms of the GNU Lesser General Public License as published by
  6. the Free Software Foundation; either version 3 of the License, or (at your
  7. option) any later version.
  8. The GNU MP Library is distributed in the hope that it will be useful, but
  9. WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  10. or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
  11. License for more details.
  12. You should have received a copy of the GNU Lesser General Public License
  13. along with the GNU MP Library.  If not, see http://www.gnu.org/licenses/.  */
  14. #include <stdio.h>
  15. #include "gmp.h"
  16. #include "gmp-impl.h"
  17. #include "tests.h"
  18. #ifndef TRUE
  19. #define TRUE (1)
  20. #endif
  21. #ifndef FALSE
  22. #define FALSE (0)
  23. #endif
  24. int
  25. check_params (void)
  26. {
  27.   gmp_randstate_t r1, r2;
  28.   mpz_t a, b, m;
  29.   int i;
  30.   int result;
  31.   result = TRUE;
  32.   mpz_init (a);
  33.   mpz_init (b);
  34.   mpz_init (m);
  35.   if (result)
  36.     {
  37.       /* Test the consistency between urandomm and urandomb. */
  38.       gmp_randinit_default (r1);
  39.       gmp_randinit_default (r2);
  40.       gmp_randseed_ui (r1, 85L);
  41.       gmp_randseed_ui (r2, 85L);
  42.       mpz_set_ui (m, 0L);
  43.       mpz_setbit (m, 80L);
  44.       for (i = 0; i < 100; i++)
  45. {
  46.   mpz_urandomm (a, r1, m);
  47.   mpz_urandomb (b, r2, 80L);
  48.   if (mpz_cmp (a, b) != 0)
  49.     {
  50.       result = FALSE;
  51.       printf ("mpz_urandomm != mpz_urandombn");
  52.       break;
  53.     }
  54. }
  55.       gmp_randclear (r1);
  56.       gmp_randclear (r2);
  57.     }
  58.   if (result)
  59.     {
  60.       /* Test that mpz_urandomm returns the correct result with a
  61.  broken LC.  */
  62.       mpz_set_ui (a, 0L);
  63.       gmp_randinit_lc_2exp (r1, a, 0xffL, 8L);
  64.       mpz_set_ui (m, 5L);
  65.       /* Warning: This code hangs in gmp 4.1 and below */
  66.       for (i = 0; i < 100; i++)
  67. {
  68.   mpz_urandomm (a, r1, m);
  69.   if (mpz_cmp_ui (a, 2L) != 0)
  70.     {
  71.       result = FALSE;
  72.       gmp_printf ("mpz_urandomm returns %Zd instead of 2n", a);
  73.       break;
  74.     }
  75. }
  76.       gmp_randclear (r1);
  77.     }
  78.   if (result)
  79.     {
  80.       /* Test that the results are always in range for either
  81.          positive or negative values of m.  */
  82.       gmp_randinit_default (r1);
  83.       mpz_set_ui (m, 5L);
  84.       mpz_set_si (b, -5L);
  85.       for (i = 0; i < 100; i++)
  86. {
  87.   mpz_urandomm (a, r1, m);
  88.   if (mpz_cmp_ui (a, 5L) >= 0 || mpz_sgn (a) < 0)
  89.     {
  90.       result = FALSE;
  91.       gmp_printf ("Out-of-range or non-positive value: %Zdn", a);
  92.       break;
  93.     }
  94.   mpz_urandomm (a, r1, b);
  95.   if (mpz_cmp_ui (a, 5L) >= 0 || mpz_sgn (a) < 0)
  96.     {
  97.       result = FALSE;
  98.       gmp_printf ("Out-of-range or non-positive value (from negative modulus): %Zdn", a);
  99.       break;
  100.     }
  101. }
  102.       gmp_randclear (r1);
  103.     }
  104.   if (result)
  105.     {
  106.       /* Test that m=1 forces always result=0.  */
  107.       gmp_randinit_default (r1);
  108.       mpz_set_ui (m, 1L);
  109.       for (i = 0; i < 100; i++)
  110. {
  111.   mpz_urandomm (a, r1, m);
  112.   if (mpz_sgn (a) != 0)
  113.     {
  114.       result = FALSE;
  115.       gmp_printf ("mpz_urandomm fails with m=1 (result=%Zd)n", a);
  116.       break;
  117.     }
  118. }
  119.       gmp_randclear (r1);
  120.     }
  121.   mpz_clear (a);
  122.   mpz_clear (b);
  123.   mpz_clear (m);
  124.   return result;
  125. }
  126. int
  127. main (int argc, char *argv[])
  128. {
  129.   int result = TRUE;
  130.   tests_start ();
  131.   if (result)
  132.     if (!check_params ())
  133.       result = FALSE;
  134.   tests_end ();
  135.   if (result)
  136.     return 0; /* pass */
  137.   else
  138.     return 1; /* fail */
  139. }