"""
Created on 22. apr. 2015
@author: pab
References
----------
A methodology for robust optimization of
low-thrust trajectories in multi-body
environments
Gregory Lantoine (2010)
Phd thesis, Georgia Institute of Technology
Using multicomplex variables for automatic
computation of high-order derivatives
Gregory Lantoine, Ryan P. Russell , and Thierry Dargent
ACM Transactions on Mathematical Software, Vol. 38, No. 3, Article 16,
April 2012, 21 pages,
http://doi.acm.org/10.1145/2168773.2168774
Bicomplex Numbers and Their Elementary Functions
M.E. Luna-Elizarraras, M. Shapiro, D.C. Struppa1, A. Vajiac (2012)
CUBO A Mathematical Journal
Vol. 14, No 2, (61-80). June 2012.
Computation of higher-order derivatives using the multi-complex
step method
Adriaen Verheyleweghen, (2014)
Project report, NTNU
"""
from __future__ import absolute_import, division
import numpy as np
_tiny_name = 'tiny' if np.__version__ < '1.22' else 'smallest_normal'
_TINY = getattr(np.finfo(float), _tiny_name)
[docs]def c_atan2(x, y):
a, b = np.real(x), np.imag(x)
c, d = np.real(y), np.imag(y)
return np.arctan2(a, c) + 1j * (c * b - a * d) / (a ** 2 + c ** 2)
[docs]def c_max(x, y):
return np.where(x.real < y.real, y, x)
[docs]def c_min(x, y):
return np.where(x.real > y.real, y, x)
[docs]def c_abs(z):
if np.all(np.iscomplex(z)):
return np.where(np.real(z) >= 0, z, -z)
return np.abs(z)
[docs]class Bicomplex(object):
"""
BICOMPLEX(z1, z2)
Creates an instance of a Bicomplex object.
zeta = z1 + j*z2, where z1 and z2 are complex numbers.
"""
__slots__ = ('z1', 'z2')
[docs] def __init__(self, z1, z2, dtype=np.complex128):
z1, z2 = np.broadcast_arrays(z1, z2)
self.z1 = np.asanyarray(z1, dtype=dtype)
self.z2 = np.asanyarray(z2, dtype=dtype)
@property
def shape(self):
return self.z1.shape
@property
def size(self):
return self.z1.size
[docs] def mod_c(self):
"""Complex modulus"""
r11, r22 = self.z1 * self.z1, self.z2 * self.z2
r = np.sqrt(r11 + r22)
return r
[docs] def norm(self):
z1, z2 = self.z1, self.z2
return np.sqrt(z1.real ** 2 + z2.real ** 2 + z1.imag ** 2 + z2.imag ** 2)
@property
def real(self):
return self.z1.real
@property
def imag(self):
return self.z1.imag
@property
def imag1(self):
return self.z1.imag
@property
def imag2(self):
return self.z2.real
@property
def imag12(self):
return self.z2.imag
[docs] @staticmethod
def asarray(other):
z1, z2 = other.z1, other.z2
return np.vstack((np.hstack((z1, -z2)),
np.hstack((z2, z1))))
@staticmethod
def _coerce(other):
if not isinstance(other, Bicomplex):
return Bicomplex(other, np.zeros(np.shape(other)))
return other
[docs] @staticmethod
def mat2bicomp(arr):
shape = np.array(arr.shape)
shape[:2] = shape[:2] // 2
z1 = arr[:shape[0]]
z2 = arr[shape[0]:]
slices = tuple([slice(None, None, 1)] + [slice(n) for n in shape[1:]])
return Bicomplex(z1[slices], z2[slices])
@staticmethod
def __array_wrap__(result):
if isinstance(result, Bicomplex):
return result
shape = result.shape
result = np.atleast_1d(result)
z1 = np.array([cls.z1 for cls in result.ravel()])
z2 = np.array([cls.z2 for cls in result.ravel()])
return Bicomplex(z1.reshape(shape), z2.reshape(shape))
def __repr__(self):
name = self.__class__.__name__
return """{0!s}(z1={1!s}, z2={2!s})""".format(name, str(self.z1),
str(self.z2))
def __lt__(self, other):
other = self._coerce(other)
return self.z1.real < other.z1.real
def __le__(self, other):
other = self._coerce(other)
return self.z1.real <= other.z1.real
def __gt__(self, other):
other = self._coerce(other)
return self.z1.real > other.z1.real
def __ge__(self, other):
other = self._coerce(other)
return self.z1.real >= other.z1.real
def __eq__(self, other):
other = self._coerce(other)
return (self.z1 == other.z1) * (self.z2 == other.z2)
def __getitem__(self, index):
return Bicomplex(self.z1[index], self.z2[index])
def __setitem__(self, index, value):
value = self._coerce(value)
if isinstance(index, str) and index in {'z1', 'z2'}:
setattr(self, index, value)
else:
self.z1[index] = value.z1
self.z2[index] = value.z2
def __abs__(self):
z1, z2 = self.z1, self.z2
mask = self >= 0
return Bicomplex(np.where(mask, z1, -z1), np.where(mask, z2, -z2))
def __neg__(self):
return Bicomplex(-self.z1, -self.z2)
def __add__(self, other):
other = self._coerce(other)
return Bicomplex(self.z1 + other.z1, self.z2 + other.z2)
def __sub__(self, other):
other = self._coerce(other)
return Bicomplex(self.z1 - other.z1, self.z2 - other.z2)
def __rsub__(self, other):
return -self.__sub__(other)
def __div__(self, other): # python 2
"""elementwise division"""
return self * other ** -1 # np.exp(-np.log(other))
__truediv__ = __div__ # python 3
def __rdiv__(self, other): # python 2
"""elementwise division"""
return other * self ** -1
__rtruediv__ = __rdiv__ # python3
def __mul__(self, other):
"""elementwise multiplication"""
other = self._coerce(other)
return Bicomplex(self.z1 * other.z1 - self.z2 * other.z2,
self.z1 * other.z2 + self.z2 * other.z1)
def _pow_singular(self, other):
z1, z2 = self.z1, self.z2
z01 = 0.5 * (z1 - 1j * z2) ** other
z02 = 0.5 * (z1 + 1j * z2) ** other
return Bicomplex(z01 + z02, (z01 - z02) * 1j)
def __pow__(self, other):
# TODO: Check correctness
out = (self.log() * other).exp()
non_invertible = np.abs(self.mod_c()) < 1e-15
if non_invertible.any():
out[non_invertible] = self[non_invertible]._pow_singular(other)
return out
def __rpow__(self, other):
return (np.log(other) * self).exp()
__radd__ = __add__
__rmul__ = __mul__
def __len__(self):
return len(self.z1)
[docs] def conjugate(self):
return Bicomplex(self.z1, -self.z2)
[docs] def flat(self, index):
return Bicomplex(self.z1.flat[index], self.z2.flat[index])
[docs] def dot(self, other):
other = self._coerce(other)
if self.size == 1 or other.size == 1:
return self * other
return self.mat2bicomp(self.asarray(self).dot(self.asarray(other).T))
[docs] def logaddexp(self, other):
other = self._coerce(other)
return self + np.log1p(np.exp(other - self))
[docs] def logaddexp2(self, other):
other = self._coerce(other)
return self + np.log2(1 + np.exp2(other - self))
[docs] def sin(self):
z1 = np.cosh(self.z2) * np.sin(self.z1)
z2 = np.sinh(self.z2) * np.cos(self.z1)
return Bicomplex(z1, z2)
[docs] def cos(self):
z1 = np.cosh(self.z2) * np.cos(self.z1)
z2 = -np.sinh(self.z2) * np.sin(self.z1)
return Bicomplex(z1, z2)
[docs] def tan(self):
return self.sin() / self.cos()
[docs] def cot(self):
return self.cos() / self.sin()
[docs] def sec(self):
return 1. / self.cos()
[docs] def csc(self):
return 1. / self.sin()
[docs] def cosh(self):
z1 = np.cosh(self.z1) * np.cos(self.z2)
z2 = np.sinh(self.z1) * np.sin(self.z2)
return Bicomplex(z1, z2)
[docs] def sinh(self):
z1 = np.sinh(self.z1) * np.cos(self.z2)
z2 = np.cosh(self.z1) * np.sin(self.z2)
return Bicomplex(z1, z2)
[docs] def tanh(self):
return self.sinh() / self.cosh()
[docs] def coth(self):
return self.cosh() / self.sinh()
[docs] def sech(self):
return 1. / self.cosh()
[docs] def csch(self):
return 1. / self.sinh()
[docs] def exp2(self):
return np.exp(self * np.log(2))
[docs] def sqrt(self):
return self.__pow__(0.5)
[docs] def log10(self):
return self.log() / np.log(10)
[docs] def log2(self):
return self.log() / np.log(2)
[docs] def log1p(self):
return Bicomplex(np.log1p(self.mod_c()), self.arg_c1p())
[docs] def expm1(self):
expz1 = np.expm1(self.z1)
return Bicomplex(expz1 * np.cos(self.z2), expz1 * np.sin(self.z2))
[docs] def exp(self):
expz1 = np.exp(self.z1)
return Bicomplex(expz1 * np.cos(self.z2), expz1 * np.sin(self.z2))
[docs] def log(self):
mod_c = self.mod_c()
# if (mod_c == 0).any():
# raise ValueError('mod_c is zero -> number not invertable!')
return Bicomplex(np.log(mod_c + _TINY), self.arg_c())
# def _log_m(self, m=0):
# return np.log(self.mod_c() + _TINY) + 1j * \
# (self.arg_c() + 2 * m * np.pi)
#
# def _log_mn(self, m=0, n=0):
# arg_c = self.arg_c()
# log_m = np.log(self.mod_c() + _TINY) + 1j * (2 * m * np.pi)
# return Bicomplex(log_m, arg_c + 2 * n * np.pi)
[docs] def arcsin(self):
J = Bicomplex(0, 1)
return -J * ((J * self + (1 - self ** 2) ** 0.5).log())
[docs] def arccos(self):
return np.pi / 2 - self.arcsin()
[docs] def arctan(self):
J = Bicomplex(0, 1)
arg1, arg2 = 1 - J * self, 1 + J * self
tmp = J * (arg1.log() - arg2.log()) * 0.5
return Bicomplex(tmp.z1, tmp.z2)
[docs] def arccosh(self):
return (self + (self ** 2 - 1) ** 0.5).log()
[docs] def arcsinh(self):
return (self + (self ** 2 + 1) ** 0.5).log()
[docs] def arctanh(self):
return 0.5 * (((1 + self) / (1 - self)).log())
@staticmethod
def _arg_c(z1, z2):
sign = np.where((z1.real == 0) * (z2.real == 0), 0, np.where(0 <= z2.real, 1, -1))
# clip to avoid nans for complex args
arg = z2 / (z1 + _TINY).clip(min=-1e150, max=1e150)
arg_c = np.arctan(arg) + sign * np.pi * (z1.real <= 0)
return arg_c
[docs] def arg_c1p(self):
z1, z2 = 1 + self.z1, self.z2
return self._arg_c(z1, z2)
[docs] def arg_c(self):
return self._arg_c(self.z1, self.z2)