Blame mpz/rootrem.c

Packit 5c3484
/* mpz_rootrem(root, rem, u, nth) --  Set ROOT to trunc(U^(1/nth)) and
Packit 5c3484
   set REM to the remainder.
Packit 5c3484
Packit 5c3484
Copyright 1999-2003, 2005, 2012 Free Software Foundation, Inc.
Packit 5c3484
Packit 5c3484
This file is part of the GNU MP Library.
Packit 5c3484
Packit 5c3484
The GNU MP Library is free software; you can redistribute it and/or modify
Packit 5c3484
it under the terms of either:
Packit 5c3484
Packit 5c3484
  * the GNU Lesser General Public License as published by the Free
Packit 5c3484
    Software Foundation; either version 3 of the License, or (at your
Packit 5c3484
    option) any later version.
Packit 5c3484
Packit 5c3484
or
Packit 5c3484
Packit 5c3484
  * the GNU General Public License as published by the Free Software
Packit 5c3484
    Foundation; either version 2 of the License, or (at your option) any
Packit 5c3484
    later version.
Packit 5c3484
Packit 5c3484
or both in parallel, as here.
Packit 5c3484
Packit 5c3484
The GNU MP Library is distributed in the hope that it will be useful, but
Packit 5c3484
WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
Packit 5c3484
or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
Packit 5c3484
for more details.
Packit 5c3484
Packit 5c3484
You should have received copies of the GNU General Public License and the
Packit 5c3484
GNU Lesser General Public License along with the GNU MP Library.  If not,
Packit 5c3484
see https://www.gnu.org/licenses/.  */
Packit 5c3484
Packit 5c3484
#include <stdio.h>		/* for NULL */
Packit 5c3484
#include "gmp.h"
Packit 5c3484
#include "gmp-impl.h"
Packit 5c3484
Packit 5c3484
void
Packit 5c3484
mpz_rootrem (mpz_ptr root, mpz_ptr rem, mpz_srcptr u, unsigned long int nth)
Packit 5c3484
{
Packit 5c3484
  mp_ptr rootp, up, remp;
Packit 5c3484
  mp_size_t us, un, rootn, remn;
Packit 5c3484
  TMP_DECL;
Packit 5c3484
Packit 5c3484
  us = SIZ(u);
Packit 5c3484
Packit 5c3484
  /* even roots of negatives provoke an exception */
Packit 5c3484
  if (UNLIKELY (us < 0 && (nth & 1) == 0))
Packit 5c3484
    SQRT_OF_NEGATIVE;
Packit 5c3484
Packit 5c3484
  /* root extraction interpreted as c^(1/nth) means a zeroth root should
Packit 5c3484
     provoke a divide by zero, do this even if c==0 */
Packit 5c3484
  if (UNLIKELY (nth == 0))
Packit 5c3484
    DIVIDE_BY_ZERO;
Packit 5c3484
Packit 5c3484
  if (us == 0)
Packit 5c3484
    {
Packit 5c3484
      if (root != NULL)
Packit 5c3484
	SIZ(root) = 0;
Packit 5c3484
      SIZ(rem) = 0;
Packit 5c3484
      return;
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  un = ABS (us);
Packit 5c3484
  rootn = (un - 1) / nth + 1;
Packit 5c3484
Packit 5c3484
  TMP_MARK;
Packit 5c3484
Packit 5c3484
  /* FIXME: Perhaps disallow root == NULL */
Packit 5c3484
  if (root != NULL && u != root)
Packit 5c3484
    rootp = MPZ_REALLOC (root, rootn);
Packit 5c3484
  else
Packit 5c3484
    rootp = TMP_ALLOC_LIMBS (rootn);
Packit 5c3484
Packit 5c3484
  if (u != rem)
Packit 5c3484
    remp = MPZ_REALLOC (rem, un);
Packit 5c3484
  else
Packit 5c3484
    remp = TMP_ALLOC_LIMBS (un);
Packit 5c3484
Packit 5c3484
  up = PTR(u);
Packit 5c3484
Packit 5c3484
  if (nth == 1)
Packit 5c3484
    {
Packit 5c3484
      MPN_COPY (rootp, up, un);
Packit 5c3484
      remn = 0;
Packit 5c3484
    }
Packit 5c3484
  else
Packit 5c3484
    {
Packit 5c3484
      remn = mpn_rootrem (rootp, remp, up, un, (mp_limb_t) nth);
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  if (root != NULL)
Packit 5c3484
    {
Packit 5c3484
      SIZ(root) = us >= 0 ? rootn : -rootn;
Packit 5c3484
      if (u == root)
Packit 5c3484
	MPN_COPY (up, rootp, rootn);
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  if (u == rem)
Packit 5c3484
    MPN_COPY (up, remp, remn);
Packit 5c3484
  SIZ(rem) = us >= 0 ? remn : -remn;
Packit 5c3484
  TMP_FREE;
Packit 5c3484
}