compiler/stdc/math/s_cpow.c

   1 /*      $OpenBSD: s_cpow.c,v 1.6 2013/07/03 04:46:36 espie Exp $        */
   2 /*
   3  * Copyright (c) 2008 Stephen L. Moshier <steve@moshier.net>
   4  *
   5  * Permission to use, copy, modify, and distribute this software for any
   6  * purpose with or without fee is hereby granted, provided that the above
   7  * copyright notice and this permission notice appear in all copies.
   8  *
   9  * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
  10  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
  11  * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
  12  * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
  13  * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
  14  * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
  15  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  16  */
  17
  18 /*                                                      cpow
  19  *
  20  *      Complex power function
  21  *
  22  *
  23  *
  24  * SYNOPSIS:
  25  *
  26  * double complex cpow();
  27  * double complex a, z, w;
  28  *
  29  * w = cpow (a, z);
  30  *
  31  *
  32  *
  33  * DESCRIPTION:
  34  *
  35  * Raises complex A to the complex Zth power.
  36  * Definition is per AMS55 # 4.2.8,
  37  * analytically equivalent to cpow(a,z) = cexp(z clog(a)).
  38  *
  39  * ACCURACY:
  40  *
  41  *                      Relative error:
  42  * arithmetic   domain     # trials      peak         rms
  43  *    IEEE      -10,+10     30000       9.4e-15     1.5e-15
  44  *
  45  */
  46
  47 #include <float.h>
  48 #include <complex.h>
  49 #include "math.h"
  50
  51 #include "math_private.h"
  52
  53 double complex
  54 cpow(double complex a, double complex z)
  55 {
  56         double complex w;
  57         double x, y, r, theta, absa, arga;
  58
  59         x = creal (z);
  60         y = cimag (z);
  61         absa = cabs (a);
  62         if (absa == 0.0) {
  63                 return (0.0 + 0.0 * I);
  64         }
  65         arga = carg (a);
  66         r = pow (absa, x);
  67         theta = x * arga;
  68         if (y != 0.0) {
  69                 r = r * exp (-y * arga);
  70                 theta = theta + y * log (absa);
  71         }
  72         w = r * cos (theta) + (r * sin (theta)) * I;
  73         return (w);
  74 }
  75
  76 #if     LDBL_MANT_DIG == DBL_MANT_DIG
  77 AROS_MAKE_ASM_SYM(typeof(cpowl), cpowl, AROS_CSYM_FROM_ASM_NAME(cpowl), AROS_CSYM_FROM_ASM_NAME(cpow));
  78 AROS_EXPORT_ASM_SYM(AROS_CSYM_FROM_ASM_NAME(cpowl));
  79 #endif  /* LDBL_MANT_DIG == DBL_MANT_DIG */