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

数学计算

开发平台:

Unix_Linux

  1. /* mpn_toom_eval_pm1 -- Evaluate a polynomial in +1 and -1
  2.    Contributed to the GNU project by Niels M鰈ler
  3.    THE FUNCTION IN THIS FILE IS INTERNAL WITH A MUTABLE INTERFACE.  IT IS ONLY
  4.    SAFE TO REACH IT THROUGH DOCUMENTED INTERFACES.  IN FACT, IT IS ALMOST
  5.    GUARANTEED THAT IT WILL CHANGE OR DISAPPEAR IN A FUTURE GNU MP RELEASE.
  6. Copyright 2009 Free Software Foundation, Inc.
  7. This file is part of the GNU MP Library.
  8. The GNU MP Library is free software; you can redistribute it and/or modify
  9. it under the terms of the GNU Lesser General Public License as published by
  10. the Free Software Foundation; either version 3 of the License, or (at your
  11. option) any later version.
  12. The GNU MP Library is distributed in the hope that it will be useful, but
  13. WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  14. or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
  15. License for more details.
  16. You should have received a copy of the GNU Lesser General Public License
  17. along with the GNU MP Library.  If not, see http://www.gnu.org/licenses/.  */
  18. #include "gmp.h"
  19. #include "gmp-impl.h"
  20. /* Evaluates a polynomial of degree k > 3, in the points +1 and -1. */
  21. int
  22. mpn_toom_eval_pm1 (mp_ptr xp1, mp_ptr xm1, unsigned k,
  23.    mp_srcptr xp, mp_size_t n, mp_size_t hn, mp_ptr tp)
  24. {
  25.   unsigned i;
  26.   int neg;
  27.   ASSERT (k >= 4);
  28.   ASSERT (hn > 0);
  29.   ASSERT (hn <= n);
  30.   /* The degree k is also the number of full-size coefficients, so
  31.    * that last coefficient, of size hn, starts at xp + k*n. */
  32.   xp1[n] = mpn_add_n (xp1, xp, xp + 2*n, n);
  33.   for (i = 4; i < k; i += 2)
  34.     ASSERT_NOCARRY (mpn_add (xp1, xp1, n+1, xp+i*n, n));
  35.   tp[n] = mpn_add_n (tp, xp + n, xp + 3*n, n);
  36.   for (i = 5; i < k; i += 2)
  37.     ASSERT_NOCARRY (mpn_add (tp, tp, n+1, xp+i*n, n));
  38.   if (k & 1)
  39.     ASSERT_NOCARRY (mpn_add (tp, tp, n+1, xp+k*n, hn));
  40.   else
  41.     ASSERT_NOCARRY (mpn_add (xp1, xp1, n+1, xp+k*n, hn));
  42.   neg = (mpn_cmp (xp1, tp, n + 1) < 0) ? ~0 : 0;
  43. #if HAVE_NATIVE_mpn_add_n_sub_n
  44.   if (neg)
  45.     mpn_add_n_sub_n (xp1, xm1, tp, xp1, n + 1);
  46.   else
  47.     mpn_add_n_sub_n (xp1, xm1, xp1, tp, n + 1);
  48. #else
  49.   if (neg)
  50.     mpn_sub_n (xm1, tp, xp1, n + 1);
  51.   else
  52.     mpn_sub_n (xm1, xp1, tp, n + 1);
  53.   mpn_add_n (xp1, xp1, tp, n + 1);
  54. #endif
  55.   ASSERT (xp1[n] <= k);
  56.   ASSERT (xm1[n] <= k/2 + 1);
  57.   return neg;
  58. }