o
    oh*                     @   s   d dl 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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 )    )Expr)FunctionArgumentIndexError)Ipi)S)Dummy)assoc_legendre)	factorial)Abs	conjugate)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 )Ynma4  
    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] https://mathworld.wolfram.com/SphericalHarmonic.html
    .. [3] https://functions.wolfram.com/Polynomials/SphericalHarmonicY/
    .. [4] https://dlmf.nist.gov/14.30

    c                 C   s   |  r| }tj| tdt | |  t|||| S |  r+| }t||||S |  rC| }tdt | | t|||| S d S )N)could_extract_minus_signr   NegativeOner   r   r   )clsnmthetaphi r   /var/www/html/construction_image-detection-poc/venv/lib/python3.10/site-packages/sympy/functions/special/spherical_harmonics.py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   subsr   )selfhintsr   r   r   r   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%   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)rewriter   r/   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,   )sympy.simplifyr5   r6   r.   xreplacer   r   )	r%   r   r   r   r   r0   r5   r6   termr   r   r   _eval_rewrite_as_cos   s   zYnm._eval_rewrite_as_cosc                 C   s*   | j \}}}}tj| | || || S r2   )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%   deepr&   r   r   r   r   reimr   r   r   as_real_imag   s   .
.
zYnm.as_real_imagc           	      C   s   ddl m}m} | jd |}| jd |}| jd |}| jd |}|| |||||}W d    n1 s?w   Y  t||S )Nr   )mpworkprecr!   r    r)   )mpmathr@   rA   r#   
_to_mpmath	spherharmr   _from_mpmath)	r%   precr@   rA   r   r   r   r   resr   r   r   _eval_evalf   s   
zYnm._eval_evalfN)r"   )T)__name__
__module____qualname____doc__classmethodr   r(   r+   r1   r4   r:   r;   r?   rH   r   r   r   r   r      s    y



	r   c                 C   s   t t| |||S )a0  
    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] https://mathworld.wolfram.com/SphericalHarmonic.html
    .. [3] https://functions.wolfram.com/Polynomials/SphericalHarmonicY/

    )r   r   )r   r   r   r   r   r   r   Ynm_c   s   (rN   c                   @   s   e Zd ZdZedd ZdS )Znma{  
    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] https://mathworld.wolfram.com/SphericalHarmonic.html
    .. [3] https://functions.wolfram.com/Polynomials/SphericalHarmonicY/

    c                 C   sx   |j rt||||t|||| td }|S |jr!t||||S |jr:t||||t|||| tdt  }|S d S )Nr    )is_positiver   rN   r   is_zerois_negativer   )r   r   r   r   r   zzr   r   r   r   E  s   $(zZnm.evalN)rI   rJ   rK   rL   rM   r   r   r   r   r   rO     s    9rO   N)sympy.core.exprr   sympy.core.functionr   r   sympy.core.numbersr   r   sympy.core.singletonr   sympy.core.symbolr   sympy.functionsr	   (sympy.functions.combinatorial.factorialsr
   $sympy.functions.elementary.complexesr   r   &sympy.functions.elementary.exponentialr   (sympy.functions.elementary.miscellaneousr   (sympy.functions.elementary.trigonometricr   r   r   _xr   rN   rO   r   r   r   r   <module>   s      R+