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

数学计算

开发平台:

Unix_Linux

  1. /* Test mpf_sqrt, mpf_mul.
  2. Copyright 1996, 2001, 2004 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 <stdlib.h>
  16. #include "gmp.h"
  17. #include "gmp-impl.h"
  18. #include "tests.h"
  19. #ifndef SIZE
  20. #define SIZE 16
  21. #endif
  22. void
  23. check_rand1 (int argc, char **argv)
  24. {
  25.   mp_size_t size;
  26.   mp_exp_t exp;
  27.   int reps = 20000;
  28.   int i;
  29.   mpf_t x, y, y2;
  30.   mp_size_t bprec = 100;
  31.   mpf_t rerr, max_rerr, limit_rerr;
  32.   if (argc > 1)
  33.     {
  34.       reps = strtol (argv[1], 0, 0);
  35.       if (argc > 2)
  36. bprec = strtol (argv[2], 0, 0);
  37.     }
  38.   mpf_set_default_prec (bprec);
  39.   mpf_init_set_ui (limit_rerr, 1);
  40.   mpf_div_2exp (limit_rerr, limit_rerr, bprec);
  41. #if VERBOSE
  42.   mpf_dump (limit_rerr);
  43. #endif
  44.   mpf_init (rerr);
  45.   mpf_init_set_ui (max_rerr, 0);
  46.   mpf_init (x);
  47.   mpf_init (y);
  48.   mpf_init (y2);
  49.   for (i = 0; i < reps; i++)
  50.     {
  51.       size = urandom () % SIZE;
  52.       exp = urandom () % SIZE;
  53.       mpf_random2 (x, size, exp);
  54.       mpf_sqrt (y, x);
  55.       MPF_CHECK_FORMAT (y);
  56.       mpf_mul (y2, y, y);
  57.       mpf_reldiff (rerr, x, y2);
  58.       if (mpf_cmp (rerr, max_rerr) > 0)
  59. {
  60.   mpf_set (max_rerr, rerr);
  61. #if VERBOSE
  62.   mpf_dump (max_rerr);
  63. #endif
  64.   if (mpf_cmp (rerr, limit_rerr) > 0)
  65.     {
  66.       printf ("ERROR after %d testsn", i);
  67.       printf ("   x = "); mpf_dump (x);
  68.       printf ("   y = "); mpf_dump (y);
  69.       printf ("  y2 = "); mpf_dump (y2);
  70.       printf ("   rerr       = "); mpf_dump (rerr);
  71.       printf ("   limit_rerr = "); mpf_dump (limit_rerr);
  72.               printf ("in hex:n");
  73.               mp_trace_base = 16;
  74.       mpf_trace ("   x  ", x);
  75.       mpf_trace ("   y  ", y);
  76.       mpf_trace ("   y2 ", y2);
  77.       mpf_trace ("   rerr      ", rerr);
  78.       mpf_trace ("   limit_rerr", limit_rerr);
  79.       abort ();
  80.     }
  81. }
  82.     }
  83.   mpf_clear (limit_rerr);
  84.   mpf_clear (rerr);
  85.   mpf_clear (max_rerr);
  86.   mpf_clear (x);
  87.   mpf_clear (y);
  88.   mpf_clear (y2);
  89. }
  90. void
  91. check_rand2 (void)
  92. {
  93.   unsigned long      max_prec = 20;
  94.   unsigned long      min_prec = __GMPF_BITS_TO_PREC (1);
  95.   gmp_randstate_ptr  rands = RANDS;
  96.   unsigned long      x_prec, r_prec;
  97.   mpf_t              x, r, s;
  98.   int                i;
  99.   mpf_init (x);
  100.   mpf_init (r);
  101.   mpf_init (s);
  102.   refmpf_set_prec_limbs (s, 2*max_prec+10);
  103.   for (i = 0; i < 500; i++)
  104.     {
  105.       /* input precision */
  106.       x_prec = gmp_urandomm_ui (rands, max_prec-min_prec) + min_prec;
  107.       refmpf_set_prec_limbs (x, x_prec);
  108.       /* result precision */
  109.       r_prec = gmp_urandomm_ui (rands, max_prec-min_prec) + min_prec;
  110.       refmpf_set_prec_limbs (r, r_prec);
  111.       mpf_random2 (x, x_prec, 1000);
  112.       mpf_sqrt (r, x);
  113.       MPF_CHECK_FORMAT (r);
  114.       /* Expect to prec limbs of result.
  115.          In the current implementation there's no stripping of low zero
  116.          limbs in mpf_sqrt, so size should be exactly prec.  */
  117.       if (SIZ(r) != r_prec)
  118.         {
  119.           printf ("mpf_sqrt wrong number of result limbsn");
  120.           mpf_trace ("  x", x);
  121.           mpf_trace ("  r", r);
  122.           printf    ("  r_prec=%lun", r_prec);
  123.           printf    ("  SIZ(r)  %ldn", (long) SIZ(r));
  124.           printf    ("  PREC(r) %ldn", (long) PREC(r));
  125.           abort ();
  126.         }
  127.       /* Must have r^2 <= x, since r has been truncated. */
  128.       mpf_mul (s, r, r);
  129.       if (! (mpf_cmp (s, x) <= 0))
  130.         {
  131.           printf    ("mpf_sqrt result too bign");
  132.           mpf_trace ("  x", x);
  133.           printf    ("  r_prec=%lun", r_prec);
  134.           mpf_trace ("  r", r);
  135.           mpf_trace ("  s", s);
  136.           abort ();
  137.         }
  138.       /* Must have (r+ulp)^2 > x, or else r is too small. */
  139.       refmpf_add_ulp (r);
  140.       mpf_mul (s, r, r);
  141.       if (! (mpf_cmp (s, x) > 0))
  142.         {
  143.           printf    ("mpf_sqrt result too smalln");
  144.           mpf_trace ("  x", x);
  145.           printf    ("  r_prec=%lun", r_prec);
  146.           mpf_trace ("  r+ulp", r);
  147.           mpf_trace ("  s", s);
  148.           abort ();
  149.         }
  150.     }
  151.   mpf_clear (x);
  152.   mpf_clear (r);
  153.   mpf_clear (s);
  154. }
  155. int
  156. main (int argc, char **argv)
  157. {
  158.   tests_start ();
  159.   mp_trace_base = -16;
  160.   check_rand1 (argc, argv);
  161.   check_rand2 ();
  162.   tests_end ();
  163.   exit (0);
  164. }