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

数学计算

开发平台:

Unix_Linux

  1. /* mpz_gcdext(g, s, t, a, b) -- Set G to gcd(a, b), and S and T such that
  2.    g = as + bt.
  3. Copyright 1991, 1993, 1994, 1995, 1996, 1997, 2000, 2001, 2005 Free Software
  4. Foundation, Inc.
  5. This file is part of the GNU MP Library.
  6. The GNU MP Library is free software; you can redistribute it and/or modify
  7. it under the terms of the GNU Lesser General Public License as published by
  8. the Free Software Foundation; either version 3 of the License, or (at your
  9. option) any later version.
  10. The GNU MP Library is distributed in the hope that it will be useful, but
  11. WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  12. or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
  13. License for more details.
  14. You should have received a copy of the GNU Lesser General Public License
  15. along with the GNU MP Library.  If not, see http://www.gnu.org/licenses/.  */
  16. #include <stdio.h> /* for NULL */
  17. #include "gmp.h"
  18. #include "gmp-impl.h"
  19. void
  20. mpz_gcdext (mpz_ptr g, mpz_ptr s, mpz_ptr t, mpz_srcptr a, mpz_srcptr b)
  21. {
  22.   mp_size_t asize, bsize, usize, vsize;
  23.   mp_srcptr ap, bp;
  24.   mp_ptr up, vp;
  25.   mp_size_t gsize, ssize, tmp_ssize;
  26.   mp_ptr gp, sp, tmp_gp, tmp_sp;
  27.   mpz_srcptr u, v;
  28.   mpz_ptr ss, tt;
  29.   __mpz_struct stmp, gtmp;
  30.   TMP_DECL;
  31.   TMP_MARK;
  32.   /* mpn_gcdext requires that U >= V.  Therefore, we often have to swap U and
  33.      V.  This in turn leads to a lot of complications.  The computed cofactor
  34.      will be the wrong one, so we have to fix that up at the end.  */
  35.   asize = ABS (SIZ (a));
  36.   bsize = ABS (SIZ (b));
  37.   ap = PTR (a);
  38.   bp = PTR (b);
  39.   if (asize > bsize || (asize == bsize && mpn_cmp (ap, bp, asize) > 0))
  40.     {
  41.       usize = asize;
  42.       vsize = bsize;
  43.       up = TMP_ALLOC_LIMBS (usize + 1);
  44.       vp = TMP_ALLOC_LIMBS (vsize + 1);
  45.       MPN_COPY (up, ap, usize);
  46.       MPN_COPY (vp, bp, vsize);
  47.       u = a;
  48.       v = b;
  49.       ss = s;
  50.       tt = t;
  51.     }
  52.   else
  53.     {
  54.       usize = bsize;
  55.       vsize = asize;
  56.       up = TMP_ALLOC_LIMBS (usize + 1);
  57.       vp = TMP_ALLOC_LIMBS (vsize + 1);
  58.       MPN_COPY (up, bp, usize);
  59.       MPN_COPY (vp, ap, vsize);
  60.       u = b;
  61.       v = a;
  62.       ss = t;
  63.       tt = s;
  64.     }
  65.   tmp_gp = TMP_ALLOC_LIMBS (usize + 1);
  66.   tmp_sp = TMP_ALLOC_LIMBS (usize + 1);
  67.   if (vsize == 0)
  68.     {
  69.       tmp_sp[0] = 1;
  70.       tmp_ssize = 1;
  71.       MPN_COPY (tmp_gp, up, usize);
  72.       gsize = usize;
  73.     }
  74.   else
  75.     gsize = mpn_gcdext (tmp_gp, tmp_sp, &tmp_ssize, up, usize, vp, vsize);
  76.   ssize = ABS (tmp_ssize);
  77.   PTR (&gtmp) = tmp_gp;
  78.   SIZ (&gtmp) = gsize;
  79.   PTR (&stmp) = tmp_sp;
  80.   SIZ (&stmp) = (tmp_ssize ^ SIZ (u)) >= 0 ? ssize : -ssize;
  81.   if (tt != NULL)
  82.     {
  83.       if (SIZ (v) == 0)
  84. SIZ (tt) = 0;
  85.       else
  86. {
  87.   mpz_t x;
  88.   MPZ_TMP_INIT (x, ssize + usize + 1);
  89.   mpz_mul (x, &stmp, u);
  90.   mpz_sub (x, &gtmp, x);
  91.   mpz_tdiv_q (tt, x, v);
  92. }
  93.     }
  94.   if (ss != NULL)
  95.     {
  96.       if (ALLOC (ss) < ssize)
  97. _mpz_realloc (ss, ssize);
  98.       sp = PTR (ss);
  99.       MPN_COPY (sp, tmp_sp, ssize);
  100.       SIZ (ss) = SIZ (&stmp);
  101.     }
  102.   if (ALLOC (g) < gsize)
  103.     _mpz_realloc (g, gsize);
  104.   gp = PTR (g);
  105.   MPN_COPY (gp, tmp_gp, gsize);
  106.   SIZ (g) = gsize;
  107.   TMP_FREE;
  108. }