o
    8Vah+                     @   s   d dl mZmZ d dlmZmZ d dlmZmZ d dl	m
Z
 d dlmZ d dlmZ d dlmZ d dlmZ d d	lmZ d d
lmZmZmZ edZG dd deZdd ZG dd deZdS )    )piI)Dummysympify)FunctionArgumentIndexError)S)assoc_legendre)	factorial)Abs)exp)sqrt)sincoscotxc                   @   s`   e Zd ZdZedd Zdd ZdddZd	d
 Zdd Z	dd Z
dd ZdddZdd ZdS )Ynma1  
    Spherical harmonics defined as

    .. math::
        Y_n^m(\theta, \varphi) := \sqrt{\frac{(2n+1)(n-m)!}{4\pi(n+m)!}}
                                  \exp(i m \varphi)
                                  \mathrm{P}_n^m\left(\cos(\theta)\right)

    Explanation
    ===========

    ``Ynm()`` gives the spherical harmonic function of order $n$ and $m$
    in $\theta$ and $\varphi$, $Y_n^m(\theta, \varphi)$. The four
    parameters are as follows: $n \geq 0$ an integer and $m$ an integer
    such that $-n \leq m \leq n$ holds. The two angles are real-valued
    with $\theta \in [0, \pi]$ and $\varphi \in [0, 2\pi]$.

    Examples
    ========

    >>> from sympy import Ynm, Symbol, simplify
    >>> from sympy.abc import n,m
    >>> theta = Symbol("theta")
    >>> phi = Symbol("phi")

    >>> Ynm(n, m, theta, phi)
    Ynm(n, m, theta, phi)

    Several symmetries are known, for the order:

    >>> Ynm(n, -m, theta, phi)
    (-1)**m*exp(-2*I*m*phi)*Ynm(n, m, theta, phi)

    As well as for the angles:

    >>> Ynm(n, m, -theta, phi)
    Ynm(n, m, theta, phi)

    >>> Ynm(n, m, theta, -phi)
    exp(-2*I*m*phi)*Ynm(n, m, theta, phi)

    For specific integers $n$ and $m$ we can evaluate the harmonics
    to more useful expressions:

    >>> simplify(Ynm(0, 0, theta, phi).expand(func=True))
    1/(2*sqrt(pi))

    >>> simplify(Ynm(1, -1, theta, phi).expand(func=True))
    sqrt(6)*exp(-I*phi)*sin(theta)/(4*sqrt(pi))

    >>> simplify(Ynm(1, 0, theta, phi).expand(func=True))
    sqrt(3)*cos(theta)/(2*sqrt(pi))

    >>> simplify(Ynm(1, 1, theta, phi).expand(func=True))
    -sqrt(6)*exp(I*phi)*sin(theta)/(4*sqrt(pi))

    >>> simplify(Ynm(2, -2, theta, phi).expand(func=True))
    sqrt(30)*exp(-2*I*phi)*sin(theta)**2/(8*sqrt(pi))

    >>> simplify(Ynm(2, -1, theta, phi).expand(func=True))
    sqrt(30)*exp(-I*phi)*sin(2*theta)/(8*sqrt(pi))

    >>> simplify(Ynm(2, 0, theta, phi).expand(func=True))
    sqrt(5)*(3*cos(theta)**2 - 1)/(4*sqrt(pi))

    >>> simplify(Ynm(2, 1, theta, phi).expand(func=True))
    -sqrt(30)*exp(I*phi)*sin(2*theta)/(8*sqrt(pi))

    >>> simplify(Ynm(2, 2, theta, phi).expand(func=True))
    sqrt(30)*exp(2*I*phi)*sin(theta)**2/(8*sqrt(pi))

    We can differentiate the functions with respect
    to both angles:

    >>> from sympy import Ynm, Symbol, diff
    >>> from sympy.abc import n,m
    >>> theta = Symbol("theta")
    >>> phi = Symbol("phi")

    >>> diff(Ynm(n, m, theta, phi), theta)
    m*cot(theta)*Ynm(n, m, theta, phi) + sqrt((-m + n)*(m + n + 1))*exp(-I*phi)*Ynm(n, m + 1, theta, phi)

    >>> diff(Ynm(n, m, theta, phi), phi)
    I*m*Ynm(n, m, theta, phi)

    Further we can compute the complex conjugation:

    >>> from sympy import Ynm, Symbol, conjugate
    >>> from sympy.abc import n,m
    >>> theta = Symbol("theta")
    >>> phi = Symbol("phi")

    >>> conjugate(Ynm(n, m, theta, phi))
    (-1)**(2*m)*exp(-2*I*m*phi)*Ynm(n, m, theta, phi)

    To get back the well known expressions in spherical
    coordinates, we use full expansion:

    >>> from sympy import Ynm, Symbol, expand_func
    >>> from sympy.abc import n,m
    >>> theta = Symbol("theta")
    >>> phi = Symbol("phi")

    >>> expand_func(Ynm(n, m, theta, phi))
    sqrt((2*n + 1)*factorial(-m + n)/factorial(m + n))*exp(I*m*phi)*assoc_legendre(n, m, cos(theta))/(2*sqrt(pi))

    See Also
    ========

    Ynm_c, Znm

    References
    ==========

    .. [1] https://en.wikipedia.org/wiki/Spherical_harmonics
    .. [2] http://mathworld.wolfram.com/SphericalHarmonic.html
    .. [3] http://functions.wolfram.com/Polynomials/SphericalHarmonicY/
    .. [4] http://dlmf.nist.gov/14.30

    c                 C   s   dd ||||fD \}}}}|  r,| }tj| tdt | |  t|||| S |  r:| }t||||S |  rR| }tdt | | t|||| S d S )Nc                 S      g | ]}t |qS  r   .0r   r   r   M/usr/lib/python3/dist-packages/sympy/functions/special/spherical_harmonics.py
<listcomp>       zYnm.eval.<locals>.<listcomp>)Zcould_extract_minus_signr   NegativeOner   r   r   )clsnmthetaphir   r   r   eval   s   ,"zYnm.evalc                 K   s   | j \}}}}td| d dt  t||  t||  tt| |  t||t| }|tt|d  d t	|S N         )
argsr   r   r
   r   r   r	   r   Zsubsr   )selfhintsr   r   r    r!   Zrvr   r   r   _eval_expand_func   s   ."zYnm._eval_expand_funcr&   c                 C   s   |dkr	t | ||dkrt | ||dkrF| j\}}}}|t| t|||| t|| || d  tt |  t||d ||  S |dkr\| j\}}}}t| t|||| S t | |)Nr%   r$      r&   )r   r'   r   r   r   r   r   )r(   Zargindexr   r   r    r!   r   r   r   fdiff   s   

6
z	Ynm.fdiffc                 K   s   | j ddS )NTfunc)expandr(   r   r   r    r!   kwargsr   r   r   _eval_rewrite_as_polynomial   s   zYnm._eval_rewrite_as_polynomialc                 K   s
   |  tS N)Zrewriter   r0   r   r   r   _eval_rewrite_as_sin   s   
zYnm._eval_rewrite_as_sinc           	      K   sF   ddl m}m} || jdd}|tt|t|i}|||S )Nr   )simplifytrigsimpTr-   )Zsympy.simplifyr5   r6   r/   Zxreplacer   r   )	r(   r   r   r    r!   r1   r5   r6   Ztermr   r   r   _eval_rewrite_as_cos   s   zYnm._eval_rewrite_as_cosc                 C   s*   | j \}}}}tj| | || || S r3   )r'   r   r   r.   )r(   r   r   r    r!   r   r   r   _eval_conjugate   s   zYnm._eval_conjugateTc           	      K   s   | j \}}}}td| d dt  t||  t||  t||  t||t| }td| d dt  t||  t||  t||  t||t| }||fS r#   )r'   r   r   r
   r   r	   r   )	r(   Zdeepr)   r   r   r    r!   reZimr   r   r   as_real_imag   s   .
.
zYnm.as_real_imagc           
      C   s   ddl m}m} ddlm} | jd |}| jd |}| jd |}| jd |}|| |||||}	W d    n1 sEw   Y  ||	|S )Nr   )mpworkprec)Exprr%   r$   r+   )	Zmpmathr;   r<   sympyr=   r'   Z
_to_mpmathZ	spherharmZ_from_mpmath)
r(   Zprecr;   r<   r=   r   r   r    r!   resr   r   r   _eval_evalf   s   
zYnm._eval_evalfN)r&   )T)__name__
__module____qualname____doc__classmethodr"   r*   r,   r2   r4   r7   r8   r:   r@   r   r   r   r   r      s    y



	r   c                 C   s   ddl m} |t| |||S )a.  
    Conjugate spherical harmonics defined as

    .. math::
        \overline{Y_n^m(\theta, \varphi)} := (-1)^m Y_n^{-m}(\theta, \varphi).

    Examples
    ========

    >>> from sympy import Ynm_c, Symbol, simplify
    >>> from sympy.abc import n,m
    >>> theta = Symbol("theta")
    >>> phi = Symbol("phi")
    >>> Ynm_c(n, m, theta, phi)
    (-1)**(2*m)*exp(-2*I*m*phi)*Ynm(n, m, theta, phi)
    >>> Ynm_c(n, m, -theta, phi)
    (-1)**(2*m)*exp(-2*I*m*phi)*Ynm(n, m, theta, phi)

    For specific integers $n$ and $m$ we can evaluate the harmonics
    to more useful expressions:

    >>> simplify(Ynm_c(0, 0, theta, phi).expand(func=True))
    1/(2*sqrt(pi))
    >>> simplify(Ynm_c(1, -1, theta, phi).expand(func=True))
    sqrt(6)*exp(I*(-phi + 2*conjugate(phi)))*sin(theta)/(4*sqrt(pi))

    See Also
    ========

    Ynm, Znm

    References
    ==========

    .. [1] https://en.wikipedia.org/wiki/Spherical_harmonics
    .. [2] http://mathworld.wolfram.com/SphericalHarmonic.html
    .. [3] http://functions.wolfram.com/Polynomials/SphericalHarmonicY/

    r   )	conjugate)r>   rF   r   )r   r   r    r!   rF   r   r   r   Ynm_c   s   (rG   c                   @   s   e Zd ZdZedd ZdS )Znmay  
    Real spherical harmonics defined as

    .. math::

        Z_n^m(\theta, \varphi) :=
        \begin{cases}
          \frac{Y_n^m(\theta, \varphi) + \overline{Y_n^m(\theta, \varphi)}}{\sqrt{2}} &\quad m > 0 \\
          Y_n^m(\theta, \varphi) &\quad m = 0 \\
          \frac{Y_n^m(\theta, \varphi) - \overline{Y_n^m(\theta, \varphi)}}{i \sqrt{2}} &\quad m < 0 \\
        \end{cases}

    which gives in simplified form

    .. math::

        Z_n^m(\theta, \varphi) =
        \begin{cases}
          \frac{Y_n^m(\theta, \varphi) + (-1)^m Y_n^{-m}(\theta, \varphi)}{\sqrt{2}} &\quad m > 0 \\
          Y_n^m(\theta, \varphi) &\quad m = 0 \\
          \frac{Y_n^m(\theta, \varphi) - (-1)^m Y_n^{-m}(\theta, \varphi)}{i \sqrt{2}} &\quad m < 0 \\
        \end{cases}

    Examples
    ========

    >>> from sympy import Znm, Symbol, simplify
    >>> from sympy.abc import n, m
    >>> theta = Symbol("theta")
    >>> phi = Symbol("phi")
    >>> Znm(n, m, theta, phi)
    Znm(n, m, theta, phi)

    For specific integers n and m we can evaluate the harmonics
    to more useful expressions:

    >>> simplify(Znm(0, 0, theta, phi).expand(func=True))
    1/(2*sqrt(pi))
    >>> simplify(Znm(1, 1, theta, phi).expand(func=True))
    -sqrt(3)*sin(theta)*cos(phi)/(2*sqrt(pi))
    >>> simplify(Znm(2, 1, theta, phi).expand(func=True))
    -sqrt(15)*sin(2*theta)*cos(phi)/(4*sqrt(pi))

    See Also
    ========

    Ynm, Ynm_c

    References
    ==========

    .. [1] https://en.wikipedia.org/wiki/Spherical_harmonics
    .. [2] http://mathworld.wolfram.com/SphericalHarmonic.html
    .. [3] http://functions.wolfram.com/Polynomials/SphericalHarmonicY/

    c                 C   s   dd ||||fD \}}}}|j r&t||||t|||| td }|S |jr0t||||S |jrIt||||t|||| tdt  }|S d S )Nc                 S   r   r   r   r   r   r   r   r   J  r   zZnm.eval.<locals>.<listcomp>r$   )Zis_positiver   rG   r   Zis_zeroZis_negativer   )r   r   r   r    r!   thphZzzr   r   r   r"   H  s   $(zZnm.evalN)rA   rB   rC   rD   rE   r"   r   r   r   r   rH     s    9rH   N)r>   r   r   Z
sympy.corer   r   Zsympy.core.functionr   r   Zsympy.core.singletonr   Zsympy.functionsr	   Z(sympy.functions.combinatorial.factorialsr
   Z$sympy.functions.elementary.complexesr   Z&sympy.functions.elementary.exponentialr   Z(sympy.functions.elementary.miscellaneousr   Z(sympy.functions.elementary.trigonometricr   r   r   Z_xr   rG   rH   r   r   r   r   <module>   s     U,