o o h@sddlmZddlmZddlmZddlmZddlm Z ddl m Z m Z m Z ddlmZmZddlmZmZmZdd lmZdd lmZmZmZdd lmZdd lmZdd lm Z m!Z!m"Z"m#Z#ddl$m%Z%ddl&m'Z'm(Z(ddl)m*Z*m+Z+m,Z,ddl-m.Z.m/Z/m0Z0m1Z1m2Z2ddl3m4Z4m5Z5m6Z6ddl7m8Z8ddl9m:Z:ddl;mGddde>Z?Gddde>Z@Gddde>ZAGddde>ZBGd d!d!e>ZCGd"d#d#e>ZDd$d%ZEGd&d'd'e>ZFd(d)ZGd*d+ZHGd,d-d-eFZIGd.d/d/eFZJGd0d1d1eFZKGd2d3d3eKZLGd4d5d5eKZMdGd8d9ZNGd:d;d;e ZOGdd?d?eOZQGd@dAdAeOZRGdBdCdCeOZSGdDdEdEe ZTdFS)Hwraps)S)Add)cacheit)Expr)FunctionArgumentIndexError_mexpand)fuzzy_or fuzzy_not)RationalpiI)Pow)Dummyuniquely_named_symbolWild)sympify) factorial)sincoscsccot)ceiling)explog)cbrtsqrtroot)Absreim polar_lift unpolarify)gammadigamma uppergamma)hyper)spherical_bessel_fn)mpworkprecc@s^eZdZdZeddZeddZeddZdd d Z d d Z d dZ ddZ ddZ dS) BesselBasea Abstract base class for Bessel-type functions. This class is meant to reduce code duplication. All Bessel-type functions can 1) be differentiated, with the derivatives expressed in terms of similar functions, and 2) be rewritten in terms of other Bessel-type functions. Here, Bessel-type functions are assumed to have one complex parameter. To use this base class, define class attributes ``_a`` and ``_b`` such that ``2*F_n' = -_a*F_{n+1} + b*F_{n-1}``. cC |jdS)z( The order of the Bessel-type function. rargsselfr2r/var/www/html/construction_image-detection-poc/venv/lib/python3.10/site-packages/sympy/functions/special/bessel.pyorder4 zBesselBase.ordercCr-)z+ The argument of the Bessel-type function. r.r0r2r2r3argument9r5zBesselBase.argumentcCsdSNr2clsnuzr2r2r3eval>szBesselBase.evalcCsN|dkr t|||jd||jd|j|jd||jd|jSNr>r6)r _b __class__r4r7_ar1argindexr2r2r3fdiffBs  zBesselBase.fdiffcCs*|j}|jdur||j|SdSNF)r7is_extended_negativerAr4 conjugater1r<r2r2r3_eval_conjugateHs zBesselBase._eval_conjugatecCsx|j|j}}||rdS|||sdS|||}|jr2t|ttt t t t fs-|j s2t|jStt|j |jgSrF)r4r7has_eval_is_meromorphicsubs is_integer isinstancebesseljbesselihn1hn2jnynis_zeror is_infiniter )r1xar;r<z0r2r2r3rLMs    zBesselBase._eval_is_meromorphiccKs|j|j|j}}}|jr_|djr7|j |j||d|d|j|d||d||S|djr_d|j|d||d|||j|j||d|S|SNr6r>) r4r7rAis_real is_positiverBr@_eval_expand_func is_negative)r1hintsr;r<fr2r2r3r^Zs & &zBesselBase._eval_expand_funccKsddlm}||S)Nr) besselsimp)sympy.simplify.simplifyrb)r1kwargsrbr2r2r3_eval_simplifyes zBesselBase._eval_simplifyNr>)__name__ __module__ __qualname____doc__propertyr4r7 classmethodr=rErJrLr^rer2r2r2r3r,$s     r,cheZdZdZejZejZeddZ ddZ ddZ dd Z dfd d Z ddZdfdd ZZS)rPa4 Bessel function of the first kind. Explanation =========== The Bessel $J$ function of order $\nu$ is defined to be the function satisfying Bessel's differential equation .. math :: z^2 \frac{\mathrm{d}^2 w}{\mathrm{d}z^2} + z \frac{\mathrm{d}w}{\mathrm{d}z} + (z^2 - \nu^2) w = 0, with Laurent expansion .. math :: J_\nu(z) = z^\nu \left(\frac{1}{\Gamma(\nu + 1) 2^\nu} + O(z^2) \right), if $\nu$ is not a negative integer. If $\nu=-n \in \mathbb{Z}_{<0}$ *is* a negative integer, then the definition is .. math :: J_{-n}(z) = (-1)^n J_n(z). Examples ======== Create a Bessel function object: >>> from sympy import besselj, jn >>> from sympy.abc import z, n >>> b = besselj(n, z) Differentiate it: >>> b.diff(z) besselj(n - 1, z)/2 - besselj(n + 1, z)/2 Rewrite in terms of spherical Bessel functions: >>> b.rewrite(jn) sqrt(2)*sqrt(z)*jn(n - 1/2, z)/sqrt(pi) Access the parameter and argument: >>> b.order n >>> b.argument z See Also ======== bessely, besseli, besselk References ========== .. [1] Abramowitz, Milton; Stegun, Irene A., eds. (1965), "Chapter 9", Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables .. [2] Luke, Y. L. (1969), The Special Functions and Their Approximations, Volume 1 .. [3] https://en.wikipedia.org/wiki/Bessel_function .. [4] https://functions.wolfram.com/Bessel-TypeFunctions/BesselJ/ cCsR|jr,|jr tjS|jr|jdust|jrtjSt|jr&|jdur&tjS|j r,tj S|tj tj fvr7tjS| rK||| | t|| S|jrn| r^tj| t| |S|t}|rnt|t||S|jrt|}||kr~t||Sn|\}}|dkrtd|t|tt||St|}||krt||SdS)NFTrr>)rVrOnerNr!r]Zeror_ComplexInfinity is_imaginaryNaNInfinityNegativeInfinitycould_extract_minus_signrP NegativeOneextract_multiplicativelyrrQr$extract_branch_factorrrr:r;r<newznnnur2r2r3r=s>    " z besselj.evalcKs(ttt|dt|tt |SNr>)rrrrQr#r1r;r<rdr2r2r3_eval_rewrite_as_besseli(z besselj._eval_rewrite_as_besselicKs<|jdurtt|t| |tt|t||SdSrF)rNrrbesselyrr~r2r2r3_eval_rewrite_as_bessely .z besselj._eval_rewrite_as_besselycK"td|tt|tj|jSr})rrrTrHalfr7r~r2r2r3_eval_rewrite_as_jn"zbesselj._eval_rewrite_as_jnNrc s|j\}}z||}Wn ty|YSw||\}}|jr0||d|t|dS|jr^|dkr9dn|}|||} | js\tdt|t d|ddtt |S|St t | |||S)Nr>r6r) r/as_leading_termNotImplementedErroras_coeff_exponentr]r%r_rrrsuperrP_eval_as_leading_term r1rXlogxcdirr;r<argcesignrAr2r3rs   0zbesselj._eval_as_leading_termcC"|j\}}|jr |jrdSdSdSNTr/rNis_extended_realr1r;r<r2r2r3_eval_is_extended_real  zbesselj._eval_is_extended_realc s"ddlm}|j\}}z ||\}} Wn ttfy!|YSw| jrt|| } ||||} |d|||| } | t j urE| St | d|  } | |t |d}|g}td| ddD]}|| |||9}t ||  }||qet|| Stt|||||SNrOrderr>r6)sympy.series.orderrr/leadterm ValueErrorrr]r _eval_nseriesremoveOrror r%rangeappendrrrPr1rXr{rrrr;r<_rnewnorttermskrr2r3rs,      zbesselj._eval_nseriesNrr)rgrhrirjrrnrBr@rlr=rrrrrr __classcell__r2r2rr3rPjsD #rPcrm)ra` Bessel function of the second kind. Explanation =========== The Bessel $Y$ function of order $\nu$ is defined as .. math :: Y_\nu(z) = \lim_{\mu \to \nu} \frac{J_\mu(z) \cos(\pi \mu) - J_{-\mu}(z)}{\sin(\pi \mu)}, where $J_\mu(z)$ is the Bessel function of the first kind. It is a solution to Bessel's equation, and linearly independent from $J_\nu$. Examples ======== >>> from sympy import bessely, yn >>> from sympy.abc import z, n >>> b = bessely(n, z) >>> b.diff(z) bessely(n - 1, z)/2 - bessely(n + 1, z)/2 >>> b.rewrite(yn) sqrt(2)*sqrt(z)*yn(n - 1/2, z)/sqrt(pi) See Also ======== besselj, besseli, besselk References ========== .. [1] https://functions.wolfram.com/Bessel-TypeFunctions/BesselY/ cCs|jr|jr tjSt|jdurtjSt|jrtjS|tjtjfvr&tjS|ttjkr)rVrrtr!rprrrsrorrrrNrurvrr9r2r2r3r=Fs$  z bessely.evalcKs<|jdurtt|tt|t||t| |SdSrF)rNrrrrPr~r2r2r3_eval_rewrite_as_besseljZrz bessely._eval_rewrite_as_besseljcK|j|j}|r |tSdSr8)rr/rewriterQr1r;r<rdajr2r2r3r^  z bessely._eval_rewrite_as_besselicKrr})rrrUrrr7r~r2r2r3_eval_rewrite_as_yncrzbessely._eval_rewrite_as_ynNrc sx|j\}}z||}Wn ty|YSw||\}}|jrkdtt|dt||} |jrD|d|  t|dtnt j } |d| tt|t |dt j } t | | | gj||d}|S|jr|dkrtdn|}|||} | jstdtt|d|td dtt|d|tdd|td|ttS|Stt||||S)Nr>r6rrr)r/rrrr]rrrPrrror& EulerGammarr_rrrrrr) r1rXrrr;r<rrrterm_oneterm_two term_threerrr2r3rfs(  ,, bzbessely._eval_as_leading_termcCrrr/rNr]rr2r2r3rrzbessely._eval_is_extended_realc s.ddlm}|j\}}z ||\}} Wn ttfy!|YSw| jr |jr t|| } t ||} dt t |d|  ||||} gg} }||||}|d |||| }|tjurf|St|d| }|tjkr|| t|dt }| |td|D]'}|||}|tjkr|||9}n|||9}t|| }| |q||t t|}|t|dtj}||td| ddD]*}|| |||9}t|| }|t||dt|d}||q| t| t|Stt| ||||Sr)rrr/rrrr]rNrrPrrrrrror rrrr&rrrrr1rXr{rrrr;r<rrrbnrYbrrrrrrdenomprr2r3rsJ    $           zbessely._eval_nseriesrr)rgrhrirjrrnrBr@rlr=rrrrrrrr2r2rr3rs( rcsjeZdZdZej ZejZeddZ ddZ ddZ dd Z d d Z dfdd Zdfdd ZZS)rQa Modified Bessel function of the first kind. Explanation =========== The Bessel $I$ function is a solution to the modified Bessel equation .. math :: z^2 \frac{\mathrm{d}^2 w}{\mathrm{d}z^2} + z \frac{\mathrm{d}w}{\mathrm{d}z} + (z^2 + \nu^2)^2 w = 0. It can be defined as .. math :: I_\nu(z) = i^{-\nu} J_\nu(iz), where $J_\nu(z)$ is the Bessel function of the first kind. Examples ======== >>> from sympy import besseli >>> from sympy.abc import z, n >>> besseli(n, z).diff(z) besseli(n - 1, z)/2 + besseli(n + 1, z)/2 See Also ======== besselj, bessely, besselk References ========== .. [1] https://functions.wolfram.com/Bessel-TypeFunctions/BesselI/ cCsv|jr,|jr tjS|jr|jdust|jrtjSt|jr&|jdur&tjS|j r,tj St |tj tj fvr9tjS|tj urAtj S|tj urMd|tj S|ra||| | t|| S|jr|rnt| |S|t}|rt| t|| S|jrt|}||krt||Sn|\}}|dkrtd|t|tt||St|}||krt||SdS)NFTrr>)rVrrnrNr!r]ror_rprqrrr"rsrtrurQrwrrPr$rxrrryr2r2r3r=sF       " z besseli.evalcKs(tt t|dt|tt|Sr})rrrrPr#r~r2r2r3r rz besseli._eval_rewrite_as_besseljcKrr8rr/rrrr2r2r3r rz besseli._eval_rewrite_as_besselycKs|j|jtSr8)rr/rrTr~r2r2r3rszbesseli._eval_rewrite_as_jncCrrrrr2r2r3rrzbesseli._eval_is_extended_realNrc s|j\}}z||}Wn ty|YSw||\}}|jr0||d|t|dS|jrR|dkr9dn|}|||} | jsPt|tdt |S|St t | |||SNr>r6r) r/rrrr]r%r_rrrrrQrrrr2r3rs   zbesseli._eval_as_leading_termc s ddlm}|j\}}z ||\}} Wn ttfy!|YSw| jrt|| } ||||} |d|||| } | t j urE| St | d|  } | |t |d}|g}td| ddD]}|| |||9}t ||  }||qet|| Stt|||||Sr)rrr/rrrr]rrrrror r%rrrrrQrrr2r3r.s,      zbesseli._eval_nseriesrr)rgrhrirjrrnrBr@rlr=rrrrrrrr2r2rr3rQs' 'rQcsreZdZdZejZej ZeddZ ddZ ddZ dd Z d d Z d d Zdfdd Zdfdd ZZS)besselka Modified Bessel function of the second kind. Explanation =========== The Bessel $K$ function of order $\nu$ is defined as .. math :: K_\nu(z) = \lim_{\mu \to \nu} \frac{\pi}{2} \frac{I_{-\mu}(z) -I_\mu(z)}{\sin(\pi \mu)}, where $I_\mu(z)$ is the modified Bessel function of the first kind. It is a solution of the modified Bessel equation, and linearly independent from $Y_\nu$. Examples ======== >>> from sympy import besselk >>> from sympy.abc import z, n >>> besselk(n, z).diff(z) -besselk(n - 1, z)/2 - besselk(n + 1, z)/2 See Also ======== besselj, besseli, bessely References ========== .. [1] https://functions.wolfram.com/Bessel-TypeFunctions/BesselK/ cCsz|jr|jr tjSt|jdurtjSt|jrtjS|tjttjttjfvr,tjS|j r9| r;t | |SdSdSrF) rVrrsr!rprrrrtrorNrurr9r2r2r3r=ws  z besselk.evalcKs8|jdurttt|t| |t||dSdS)NFr>)rNrrrQr~r2r2r3rs *z besselk._eval_rewrite_as_besselicKrr8)rr/rrP)r1r;r<rdair2r2r3rrz besselk._eval_rewrite_as_besseljcKrr8rrr2r2r3rrz besselk._eval_rewrite_as_besselycKrr8)rr/rrU)r1r;r<rdayr2r2r3rrzbesselk._eval_rewrite_as_yncCrrrrr2r2r3rrzbesselk._eval_is_extended_realNrc s|j\}}z||}Wn ty|YSw||\}}|jrod|dt|dt||} |jrE|d| t|ddntj } d||d|dt|t |dtj } t | | | gj||d}|S|j rttt| td|Stt||||S)Nrr6r>r)r/rrrr]rrQrrror&rrr_rrrrrr) r1rXrrr;r<rrrrrrrr2r3rs  "*2zbesselk._eval_as_leading_termc s8ddlm}|j\}}z ||\}} Wn ttfy!|YSw| jr|jrt|| } t ||} d|dt |d|  ||||} gg} }||||}|d |||| }|t jurh|St|d| }|t jkr|| t|dd}| |td|D]'}|||}|t jkr|||9}n|||9}t|| }| |q||d|dt|}|t|dt j}||td| ddD])}|||||9}t|| }|t||dt|d}||q| t| t|Stt| ||||S)Nrrrr6r>)rrr/rrrr]rNrrQrrrrror rrrr&rrrrrrr2r3rsJ    (           zbesselk._eval_nseriesrr)rgrhrirjrrnrBr@rlr=rrrrrrrrr2r2rr3rNs% rc@$eZdZdZejZejZddZdS)hankel1a Hankel function of the first kind. Explanation =========== This function is defined as .. math :: H_\nu^{(1)} = J_\nu(z) + iY_\nu(z), where $J_\nu(z)$ is the Bessel function of the first kind, and $Y_\nu(z)$ is the Bessel function of the second kind. It is a solution to Bessel's equation. Examples ======== >>> from sympy import hankel1 >>> from sympy.abc import z, n >>> hankel1(n, z).diff(z) hankel1(n - 1, z)/2 - hankel1(n + 1, z)/2 See Also ======== hankel2, besselj, bessely References ========== .. [1] https://functions.wolfram.com/Bessel-TypeFunctions/HankelH1/ cC(|j}|jdurt|j|SdSrF)r7rGhankel2r4rHrIr2r2r3rJ zhankel1._eval_conjugateN rgrhrirjrrnrBr@rJr2r2r2r3rs $ rc@r)ra Hankel function of the second kind. Explanation =========== This function is defined as .. math :: H_\nu^{(2)} = J_\nu(z) - iY_\nu(z), where $J_\nu(z)$ is the Bessel function of the first kind, and $Y_\nu(z)$ is the Bessel function of the second kind. It is a solution to Bessel's equation, and linearly independent from $H_\nu^{(1)}$. Examples ======== >>> from sympy import hankel2 >>> from sympy.abc import z, n >>> hankel2(n, z).diff(z) hankel2(n - 1, z)/2 - hankel2(n + 1, z)/2 See Also ======== hankel1, besselj, bessely References ========== .. [1] https://functions.wolfram.com/Bessel-TypeFunctions/HankelH2/ cCrrF)r7rGrr4rHrIr2r2r3rJ=rzhankel2._eval_conjugateNrr2r2r2r3rs % rcstfdd}|S)Ncs|jr |||SdSr8)rNrfnr2r3gDs zassume_integer_order..gr)rrr2rr3assume_integer_orderCsrc@s*eZdZdZddZddZd ddZd S) SphericalBesselBasea- Base class for spherical Bessel functions. These are thin wrappers around ordinary Bessel functions, since spherical Bessel functions differ from the ordinary ones just by a slight change in order. To use this class, define the ``_eval_evalf()`` and ``_expand()`` methods. cKstd)z@ Expand self into a polynomial. Nu is guaranteed to be Integer. expansionrr1r`r2r2r3_expandWszSphericalBesselBase._expandcKs|jjr |jdi|S|SNr2)r4 is_Integerrrr2r2r3r^[sz%SphericalBesselBase._eval_expand_funcr>cCs:|dkr t||||jd|j||jd|jSr?)r rAr4r7rCr2r2r3rE`s  zSphericalBesselBase.fdiffNrf)rgrhrirjrr^rEr2r2r2r3rKs  rcCs8t||t|tj|dt| d|t|SNr6)r)rrrvrr{r<r2r2r3_jngs$rcCs8tj|dt| d|t|t||t|Sr)rrvr)rrrr2r2r3_ynls$rc@sDeZdZdZeddZddZddZdd Zd d Z d d Z dS)rTa Spherical Bessel function of the first kind. Explanation =========== This function is a solution to the spherical Bessel equation .. math :: z^2 \frac{\mathrm{d}^2 w}{\mathrm{d}z^2} + 2z \frac{\mathrm{d}w}{\mathrm{d}z} + (z^2 - \nu(\nu + 1)) w = 0. It can be defined as .. math :: j_\nu(z) = \sqrt{\frac{\pi}{2z}} J_{\nu + \frac{1}{2}}(z), where $J_\nu(z)$ is the Bessel function of the first kind. The spherical Bessel functions of integral order are calculated using the formula: .. math:: j_n(z) = f_n(z) \sin{z} + (-1)^{n+1} f_{-n-1}(z) \cos{z}, where the coefficients $f_n(z)$ are available as :func:`sympy.polys.orthopolys.spherical_bessel_fn`. Examples ======== >>> from sympy import Symbol, jn, sin, cos, expand_func, besselj, bessely >>> z = Symbol("z") >>> nu = Symbol("nu", integer=True) >>> print(expand_func(jn(0, z))) sin(z)/z >>> expand_func(jn(1, z)) == sin(z)/z**2 - cos(z)/z True >>> expand_func(jn(3, z)) (-6/z**2 + 15/z**4)*sin(z) + (1/z - 15/z**3)*cos(z) >>> jn(nu, z).rewrite(besselj) sqrt(2)*sqrt(pi)*sqrt(1/z)*besselj(nu + 1/2, z)/2 >>> jn(nu, z).rewrite(bessely) (-1)**nu*sqrt(2)*sqrt(pi)*sqrt(1/z)*bessely(-nu - 1/2, z)/2 >>> jn(2, 5.2+0.3j).evalf(20) 0.099419756723640344491 - 0.054525080242173562897*I See Also ======== besselj, bessely, besselk, yn References ========== .. [1] https://dlmf.nist.gov/10.47 cCsD|jr|jr tjS|jr|jrtjStjS|tjtjfvr tjSdSr8) rVrrnrNr]rorprtrsr9r2r2r3r=szjn.evalcK ttd|t|tj|Sr})rrrPrrr~r2r2r3rs zjn._eval_rewrite_as_besseljcKs,tj|ttd|t| tj|Sr})rrvrrrrr~r2r2r3rs,zjn._eval_rewrite_as_besselycKstj|t| d|Sr)rrvrUr~r2r2r3rszjn._eval_rewrite_as_yncKt|j|jSr8)rr4r7rr2r2r3rz jn._expandcC|jjr |t|SdSr8r4rrrP _eval_evalfr1precr2r2r3rzjn._eval_evalfN) rgrhrirjrlr=rrrrrr2r2r2r3rTrs9   rTc@s@eZdZdZeddZeddZddZdd Zd d Z d S) rUa Spherical Bessel function of the second kind. Explanation =========== This function is another solution to the spherical Bessel equation, and linearly independent from $j_n$. It can be defined as .. math :: y_\nu(z) = \sqrt{\frac{\pi}{2z}} Y_{\nu + \frac{1}{2}}(z), where $Y_\nu(z)$ is the Bessel function of the second kind. For integral orders $n$, $y_n$ is calculated using the formula: .. math:: y_n(z) = (-1)^{n+1} j_{-n-1}(z) Examples ======== >>> from sympy import Symbol, yn, sin, cos, expand_func, besselj, bessely >>> z = Symbol("z") >>> nu = Symbol("nu", integer=True) >>> print(expand_func(yn(0, z))) -cos(z)/z >>> expand_func(yn(1, z)) == -cos(z)/z**2-sin(z)/z True >>> yn(nu, z).rewrite(besselj) (-1)**(nu + 1)*sqrt(2)*sqrt(pi)*sqrt(1/z)*besselj(-nu - 1/2, z)/2 >>> yn(nu, z).rewrite(bessely) sqrt(2)*sqrt(pi)*sqrt(1/z)*bessely(nu + 1/2, z)/2 >>> yn(2, 5.2+0.3j).evalf(20) 0.18525034196069722536 + 0.014895573969924817587*I See Also ======== besselj, bessely, besselk, jn References ========== .. [1] https://dlmf.nist.gov/10.47 cKs0tj|dttd|t| tj|Sr[)rrvrrrPrr~r2r2r3rs0zyn._eval_rewrite_as_besseljcKrr})rrrrrr~r2r2r3rs zyn._eval_rewrite_as_besselycKstj|dt| d|Sr)rrvrTr~r2r2r3rszyn._eval_rewrite_as_jncKrr8)rr4r7rr2r2r3rrz yn._expandcCrr8)r4rrrrrr2r2r3rrzyn._eval_evalfN) rgrhrirjrrrrrrr2r2r2r3rUs.   rUc@sLeZdZeddZeddZddZddZd d Zd d Z d dZ dS)SphericalHankelBasecKsN|j}ttd|t|tj||ttj|dt| tj|Sr?)_hankel_kind_signrrrPrrrrvr1r;r<rdhksr2r2r3rs&z,SphericalHankelBase._eval_rewrite_as_besseljcKsJ|j}ttd|tj|t| tj||tt|tj|Sr})rrrrrvrrrrr2r2r3rs(z,SphericalHankelBase._eval_rewrite_as_besselycKs(|j}t||t|tt||Sr8)rrTrrUrrr2r2r3r "z'SphericalHankelBase._eval_rewrite_as_yncKs(|j}t|||tt||tSr8)rrTrrUrrr2r2r3r$rz'SphericalHankelBase._eval_rewrite_as_jncKsF|jjr |jdi|S|j}|j}|j}t|||tt||Sr)r4rrr7rrTrrU)r1r`r;r<rr2r2r3r^(s z%SphericalHankelBase._eval_expand_funccKs2|j}|j}|j}t|||tt||Sr8)r4r7rrrrexpand)r1r`r{r<rr2r2r3r1s zSphericalHankelBase._expandcCrr8rrr2r2r3r@rzSphericalHankelBase._eval_evalfN) rgrhrirrrrrr^rrr2r2r2r3r s   rc@s"eZdZdZejZeddZdS)rRa Spherical Hankel function of the first kind. Explanation =========== This function is defined as .. math:: h_\nu^(1)(z) = j_\nu(z) + i y_\nu(z), where $j_\nu(z)$ and $y_\nu(z)$ are the spherical Bessel function of the first and second kinds. For integral orders $n$, $h_n^(1)$ is calculated using the formula: .. math:: h_n^(1)(z) = j_{n}(z) + i (-1)^{n+1} j_{-n-1}(z) Examples ======== >>> from sympy import Symbol, hn1, hankel1, expand_func, yn, jn >>> z = Symbol("z") >>> nu = Symbol("nu", integer=True) >>> print(expand_func(hn1(nu, z))) jn(nu, z) + I*yn(nu, z) >>> print(expand_func(hn1(0, z))) sin(z)/z - I*cos(z)/z >>> print(expand_func(hn1(1, z))) -I*sin(z)/z - cos(z)/z + sin(z)/z**2 - I*cos(z)/z**2 >>> hn1(nu, z).rewrite(jn) (-1)**(nu + 1)*I*jn(-nu - 1, z) + jn(nu, z) >>> hn1(nu, z).rewrite(yn) (-1)**nu*yn(-nu - 1, z) + I*yn(nu, z) >>> hn1(nu, z).rewrite(hankel1) sqrt(2)*sqrt(pi)*sqrt(1/z)*hankel1(nu, z)/2 See Also ======== hn2, jn, yn, hankel1, hankel2 References ========== .. [1] https://dlmf.nist.gov/10.47 cKttd|t||Sr})rrrr~r2r2r3_eval_rewrite_as_hankel1xzhn1._eval_rewrite_as_hankel1N) rgrhrirjrrnrrrr2r2r2r3rREs 0rRc@s$eZdZdZej ZeddZdS)rSa Spherical Hankel function of the second kind. Explanation =========== This function is defined as .. math:: h_\nu^(2)(z) = j_\nu(z) - i y_\nu(z), where $j_\nu(z)$ and $y_\nu(z)$ are the spherical Bessel function of the first and second kinds. For integral orders $n$, $h_n^(2)$ is calculated using the formula: .. math:: h_n^(2)(z) = j_{n} - i (-1)^{n+1} j_{-n-1}(z) Examples ======== >>> from sympy import Symbol, hn2, hankel2, expand_func, jn, yn >>> z = Symbol("z") >>> nu = Symbol("nu", integer=True) >>> print(expand_func(hn2(nu, z))) jn(nu, z) - I*yn(nu, z) >>> print(expand_func(hn2(0, z))) sin(z)/z + I*cos(z)/z >>> print(expand_func(hn2(1, z))) I*sin(z)/z - cos(z)/z + sin(z)/z**2 + I*cos(z)/z**2 >>> hn2(nu, z).rewrite(hankel2) sqrt(2)*sqrt(pi)*sqrt(1/z)*hankel2(nu, z)/2 >>> hn2(nu, z).rewrite(jn) -(-1)**(nu + 1)*I*jn(-nu - 1, z) + jn(nu, z) >>> hn2(nu, z).rewrite(yn) (-1)**nu*yn(-nu - 1, z) - I*yn(nu, z) See Also ======== hn1, jn, yn, hankel1, hankel2 References ========== .. [1] https://dlmf.nist.gov/10.47 cKrr})rrrr~r2r2r3_eval_rewrite_as_hankel2rzhn2._eval_rewrite_as_hankel2N) rgrhrirjrrnrrrr2r2r2r3rS}s 0rSsympyc sddlm}dkr*ddlmddlm}||fddtd|dDSd krZdd lmzdd l m fd d }Wnt yYddl m fdd }Ynwt dfdd}|}|||}|g} t|dD]} ||||}| |qw| S)a Zeros of the spherical Bessel function of the first kind. Explanation =========== This returns an array of zeros of $jn$ up to the $k$-th zero. * method = "sympy": uses `mpmath.besseljzero `_ * method = "scipy": uses the `SciPy's sph_jn `_ and `newton `_ to find all roots, which is faster than computing the zeros using a general numerical solver, but it requires SciPy and only works with low precision floating point numbers. (The function used with method="sympy" is a recent addition to mpmath; before that a general solver was used.) Examples ======== >>> from sympy import jn_zeros >>> jn_zeros(2, 4, dps=5) [5.7635, 9.095, 12.323, 15.515] See Also ======== jn, yn, besselj, besselk, bessely Parameters ========== n : integer order of Bessel function k : integer number of zeros to return r)rr) besseljzero) dps_to_preccs0g|]}ttdt|qS)g?)r _from_mpmathr _to_mpmathint).0l)rr{rr2r3 szjn_zeros..r6scipy)newton) spherical_jncs |Sr8r2rX)r{rr2r3s zjn_zeros..)sph_jncs|ddS)Nrrr2r)r{rr2r3rsUnknown method.csdkr ||}|Std)Nrrr)rarXr)methodrr2r3solvers zjn_zeros..solver)mathrmpmathrmpmath.libmp.libmpfrrscipy.optimizer scipy.specialr ImportErrorrrr) r{rrdpsmath_pirrarrrootsir2)rrr{rrrrr3jn_zeross4 -         rc@s4eZdZdZddZddZd ddZd d d Zd S) AiryBasezg Abstract base class for Airy functions. This class is meant to reduce code duplication. cCs||jdSr)funcr/rHr0r2r2r3rJszAiryBase._eval_conjugatecCs |jdjSr)r/rr0r2r2r3rs zAiryBase._eval_is_extended_realTcKsL|jd}|}|j}||||d}t||||d}||fS)Nrr>)r/rHrr)r1deepr`r<zcrauvr2r2r3 as_real_imags zAiryBase.as_real_imagcKs$|jdd|i|\}}||tS)Nrr2)rr)r1rr`re_partim_partr2r2r3_eval_expand_complexs zAiryBase._eval_expand_complexN)T)rgrhrirjrJrrrr2r2r2r3r s  rc@^eZdZdZdZdZeddZdddZe e dd Z d d Z d d Z ddZddZdS)airyaia The Airy function $\operatorname{Ai}$ of the first kind. Explanation =========== The Airy function $\operatorname{Ai}(z)$ is defined to be the function satisfying Airy's differential equation .. math:: \frac{\mathrm{d}^2 w(z)}{\mathrm{d}z^2} - z w(z) = 0. Equivalently, for real $z$ .. math:: \operatorname{Ai}(z) := \frac{1}{\pi} \int_0^\infty \cos\left(\frac{t^3}{3} + z t\right) \mathrm{d}t. Examples ======== Create an Airy function object: >>> from sympy import airyai >>> from sympy.abc import z >>> airyai(z) airyai(z) Several special values are known: >>> airyai(0) 3**(1/3)/(3*gamma(2/3)) >>> from sympy import oo >>> airyai(oo) 0 >>> airyai(-oo) 0 The Airy function obeys the mirror symmetry: >>> from sympy import conjugate >>> conjugate(airyai(z)) airyai(conjugate(z)) Differentiation with respect to $z$ is supported: >>> from sympy import diff >>> diff(airyai(z), z) airyaiprime(z) >>> diff(airyai(z), z, 2) z*airyai(z) Series expansion is also supported: >>> from sympy import series >>> series(airyai(z), z, 0, 3) 3**(5/6)*gamma(1/3)/(6*pi) - 3**(1/6)*z*gamma(2/3)/(2*pi) + O(z**3) We can numerically evaluate the Airy function to arbitrary precision on the whole complex plane: >>> airyai(-2).evalf(50) 0.22740742820168557599192443603787379946077222541710 Rewrite $\operatorname{Ai}(z)$ in terms of hypergeometric functions: >>> from sympy import hyper >>> airyai(z).rewrite(hyper) -3**(2/3)*z*hyper((), (4/3,), z**3/9)/(3*gamma(1/3)) + 3**(1/3)*hyper((), (2/3,), z**3/9)/(3*gamma(2/3)) See Also ======== airybi: Airy function of the second kind. airyaiprime: Derivative of the Airy function of the first kind. airybiprime: Derivative of the Airy function of the second kind. References ========== .. [1] https://en.wikipedia.org/wiki/Airy_function .. [2] https://dlmf.nist.gov/9 .. [3] https://encyclopediaofmath.org/wiki/Airy_functions .. [4] https://mathworld.wolfram.com/AiryFunctions.html r6TcCs|jr/|tjur tjS|tjurtjS|tjurtjS|jr/tjdtddt tddS|jrCtjdtddt tddSdS)Nrr>) is_NumberrrrrsrortrVrnr r%r:rr2r2r3r=s   ""z airyai.evalcC |dkr t|jdSt||Nr6r) airyaiprimer/r rCr2r2r3rE z airyai.fdiffcGs6|dkrtjSt|}t|dkrj|d}td|| td||dtt|tddtddt|t |dtddtt|tddtddt|dt |dtdd|Stj dtddtt |tj tdttddt|tj t|td||S)Nrr6rrr>r) rrorlenrrrr rr%rnr{rXprevious_termsrr2r2r3 taylor_terms" L@Hzairyai.taylor_termcKs`tdd}tdd}t| tdd}t|jr.|t| t| ||t|||SdSNr6rr>r rr!r_rrPr1r<rdotttrYr2r2r3r   ,zairyai._eval_rewrite_as_besseljcKstdd}tdd}t|tdd}t|jr,|t|t| ||t|||S|t||t| |||t|| t|||Sr)r rr!r]rrQr+r2r2r3rs   *<zairyai._eval_rewrite_as_besselicKs~tjdtddttdd}|tddttdd}|tgtddg|dd|tgtddg|ddS)Nrr>r6 r)rrnr r%rr(r1r<rdpf1pf2r2r2r3_eval_rewrite_as_hypers"@zairyai._eval_rewrite_as_hyperc Ks"|jd}|j}t|dkr|}td|gd}td|gd}td|gd}td|gd}||||||} | dur| |}d|jr| |}| |}| |}|||||||||} ||||||} tj| tj t | | tj t dt | SdSdSdS Nrr6r)excludedmr{r) r/ free_symbolsr%poprmatchrNrrrnrrairybi r1r`rsymbsr<rr7r8r{Mpfnewargr2r2r3r^*   $2zairyai._eval_expand_funcNr6rgrhrirjnargs unbranchedrlr=rE staticmethodrr(rrr4r^r2r2r2r3r$sX     rc@r)r<a The Airy function $\operatorname{Bi}$ of the second kind. Explanation =========== The Airy function $\operatorname{Bi}(z)$ is defined to be the function satisfying Airy's differential equation .. math:: \frac{\mathrm{d}^2 w(z)}{\mathrm{d}z^2} - z w(z) = 0. Equivalently, for real $z$ .. math:: \operatorname{Bi}(z) := \frac{1}{\pi} \int_0^\infty \exp\left(-\frac{t^3}{3} + z t\right) + \sin\left(\frac{t^3}{3} + z t\right) \mathrm{d}t. Examples ======== Create an Airy function object: >>> from sympy import airybi >>> from sympy.abc import z >>> airybi(z) airybi(z) Several special values are known: >>> airybi(0) 3**(5/6)/(3*gamma(2/3)) >>> from sympy import oo >>> airybi(oo) oo >>> airybi(-oo) 0 The Airy function obeys the mirror symmetry: >>> from sympy import conjugate >>> conjugate(airybi(z)) airybi(conjugate(z)) Differentiation with respect to $z$ is supported: >>> from sympy import diff >>> diff(airybi(z), z) airybiprime(z) >>> diff(airybi(z), z, 2) z*airybi(z) Series expansion is also supported: >>> from sympy import series >>> series(airybi(z), z, 0, 3) 3**(1/3)*gamma(1/3)/(2*pi) + 3**(2/3)*z*gamma(2/3)/(2*pi) + O(z**3) We can numerically evaluate the Airy function to arbitrary precision on the whole complex plane: >>> airybi(-2).evalf(50) -0.41230258795639848808323405461146104203453483447240 Rewrite $\operatorname{Bi}(z)$ in terms of hypergeometric functions: >>> from sympy import hyper >>> airybi(z).rewrite(hyper) 3**(1/6)*z*hyper((), (4/3,), z**3/9)/gamma(1/3) + 3**(5/6)*hyper((), (2/3,), z**3/9)/(3*gamma(2/3)) See Also ======== airyai: Airy function of the first kind. airyaiprime: Derivative of the Airy function of the first kind. airybiprime: Derivative of the Airy function of the second kind. References ========== .. [1] https://en.wikipedia.org/wiki/Airy_function .. [2] https://dlmf.nist.gov/9 .. [3] https://encyclopediaofmath.org/wiki/Airy_functions .. [4] https://mathworld.wolfram.com/AiryFunctions.html r6TcCs|jr/|tjur tjS|tjurtjS|tjurtjS|jr/tjdtddt tddS|jrCtjdtddt tddSdS)Nrr6r>) rrrrrsrtrorVrnr r%r r2r2r3r=.s   ""z airybi.evalcCr!r") airybiprimer/r rCr2r2r3rE=r$z airybi.fdiffcGs|dkrtjSt|}t|dkrW|d}td|tttddt|tj t |tj td|tj tt tddt|tj t |dtd|Stj t ddtt|tj tdtttddt|tj t |td||S)Nrr6rrr>rH)rrorr%rr rr rrnrrrrr%r&r2r2r3r(Cs @<Hzairybi.taylor_termcKs`tdd}tdd}t| tdd}t|jr.t| dt| ||t|||SdSr)r*r+r2r2r3rRr.zairybi._eval_rewrite_as_besseljcKstdd}tdd}t|tdd}t|jr.t|tdt| ||t|||St||}t|| }t||t| ||||t|||Sr)r/r1r<rdr,r-rYrrr2r2r3rYs   .  2zairybi._eval_rewrite_as_besselicKsztjtddttdd}|tddttdd}|tgtddg|dd|tgtddg|ddS)NrrHr>r6r0r)rrnrr%r r(r1r2r2r3r4ds@zairybi._eval_rewrite_as_hyperc Ks"|jd}|j}t|dkr|}td|gd}td|gd}td|gd}td|gd}||||||} | dur| |}d|jr| |}| |}| |}|||||||||} ||||||} tjt dtj | t | tj | t | SdSdSdSr5) r/r9r%r:rr;rNrrrrnrr<r=r2r2r3r^irBzairybi._eval_expand_funcNrCrDr2r2r2r3r<sZ     r<c@VeZdZdZdZdZeddZdddZdd Z d d Z d d Z ddZ ddZ dS)r#a% The derivative $\operatorname{Ai}^\prime$ of the Airy function of the first kind. Explanation =========== The Airy function $\operatorname{Ai}^\prime(z)$ is defined to be the function .. math:: \operatorname{Ai}^\prime(z) := \frac{\mathrm{d} \operatorname{Ai}(z)}{\mathrm{d} z}. Examples ======== Create an Airy function object: >>> from sympy import airyaiprime >>> from sympy.abc import z >>> airyaiprime(z) airyaiprime(z) Several special values are known: >>> airyaiprime(0) -3**(2/3)/(3*gamma(1/3)) >>> from sympy import oo >>> airyaiprime(oo) 0 The Airy function obeys the mirror symmetry: >>> from sympy import conjugate >>> conjugate(airyaiprime(z)) airyaiprime(conjugate(z)) Differentiation with respect to $z$ is supported: >>> from sympy import diff >>> diff(airyaiprime(z), z) z*airyai(z) >>> diff(airyaiprime(z), z, 2) z*airyaiprime(z) + airyai(z) Series expansion is also supported: >>> from sympy import series >>> series(airyaiprime(z), z, 0, 3) -3**(2/3)/(3*gamma(1/3)) + 3**(1/3)*z**2/(6*gamma(2/3)) + O(z**3) We can numerically evaluate the Airy function to arbitrary precision on the whole complex plane: >>> airyaiprime(-2).evalf(50) 0.61825902074169104140626429133247528291577794512415 Rewrite $\operatorname{Ai}^\prime(z)$ in terms of hypergeometric functions: >>> from sympy import hyper >>> airyaiprime(z).rewrite(hyper) 3**(1/3)*z**2*hyper((), (5/3,), z**3/9)/(6*gamma(2/3)) - 3**(2/3)*hyper((), (1/3,), z**3/9)/(3*gamma(1/3)) See Also ======== airyai: Airy function of the first kind. airybi: Airy function of the second kind. airybiprime: Derivative of the Airy function of the second kind. References ========== .. [1] https://en.wikipedia.org/wiki/Airy_function .. [2] https://dlmf.nist.gov/9 .. [3] https://encyclopediaofmath.org/wiki/Airy_functions .. [4] https://mathworld.wolfram.com/AiryFunctions.html r6TcCsR|jr|tjur tjS|tjurtjS|jr'tjdtddttddSdS)Nrr6) rrrrrsrorVrvr r%r r2r2r3r=s  "zairyaiprime.evalcC*|dkr|jdt|jdSt||r")r/rr rCr2r2r3rE zairyaiprime.fdiffcCR|jd|}t|tj|dd}Wdn1swYt||SNrr6) derivative)r/rr+r*rrrr1rr<resr2r2r3r   zairyaiprime._eval_evalfcKsPtdd}t| tdd}t|jr&|dt| ||t|||SdSNr>r)r rr!r_rPr1r<rdr-rYr2r2r3rs  &z$airyaiprime._eval_rewrite_as_besseljcKstdd}tdd}|t|tdd}t|jr(|dt||t| |St|tdd}t||}t|| }||d|t||||t| ||Sr))r rr!r]rQrJr2r2r3rs     2z$airyaiprime._eval_rewrite_as_besselicKs|dddtddttdd}dtddttdd}|tgtddg|dd|tgtddg|ddS)Nr>rr6r0)r r%rr(r1r2r2r3r4s(@z"airyaiprime._eval_rewrite_as_hyperc Ks"|jd}|j}t|dkr|}td|gd}td|gd}td|gd}td|gd}||||||} | dur| |}d|jr| |}| |}| |}|||||||||} ||||||} tj| tj t | | tj t dt | SdSdSdSr5) r/r9r%r:rr;rNrrrnr#rrIr=r2r2r3r^*   $2zairyaiprime._eval_expand_funcNrCrgrhrirjrErFrlr=rErrrr4r^r2r2r2r3r#sQ   r#c@rK)rIa6 The derivative $\operatorname{Bi}^\prime$ of the Airy function of the first kind. Explanation =========== The Airy function $\operatorname{Bi}^\prime(z)$ is defined to be the function .. math:: \operatorname{Bi}^\prime(z) := \frac{\mathrm{d} \operatorname{Bi}(z)}{\mathrm{d} z}. Examples ======== Create an Airy function object: >>> from sympy import airybiprime >>> from sympy.abc import z >>> airybiprime(z) airybiprime(z) Several special values are known: >>> airybiprime(0) 3**(1/6)/gamma(1/3) >>> from sympy import oo >>> airybiprime(oo) oo >>> airybiprime(-oo) 0 The Airy function obeys the mirror symmetry: >>> from sympy import conjugate >>> conjugate(airybiprime(z)) airybiprime(conjugate(z)) Differentiation with respect to $z$ is supported: >>> from sympy import diff >>> diff(airybiprime(z), z) z*airybi(z) >>> diff(airybiprime(z), z, 2) z*airybiprime(z) + airybi(z) Series expansion is also supported: >>> from sympy import series >>> series(airybiprime(z), z, 0, 3) 3**(1/6)/gamma(1/3) + 3**(5/6)*z**2/(6*gamma(2/3)) + O(z**3) We can numerically evaluate the Airy function to arbitrary precision on the whole complex plane: >>> airybiprime(-2).evalf(50) 0.27879516692116952268509756941098324140300059345163 Rewrite $\operatorname{Bi}^\prime(z)$ in terms of hypergeometric functions: >>> from sympy import hyper >>> airybiprime(z).rewrite(hyper) 3**(5/6)*z**2*hyper((), (5/3,), z**3/9)/(6*gamma(2/3)) + 3**(1/6)*hyper((), (1/3,), z**3/9)/gamma(1/3) See Also ======== airyai: Airy function of the first kind. airybi: Airy function of the second kind. airyaiprime: Derivative of the Airy function of the first kind. References ========== .. [1] https://en.wikipedia.org/wiki/Airy_function .. [2] https://dlmf.nist.gov/9 .. [3] https://encyclopediaofmath.org/wiki/Airy_functions .. [4] https://mathworld.wolfram.com/AiryFunctions.html r6TcCs~|jr,|tjur tjS|tjurtjS|tjurtjS|jr,dtddttddS|jr=dtddttddSdS)Nrr6rH) rrrrrsrtrorVr r%r r2r2r3r=us   zairybiprime.evalcCrLr")r/r<r rCr2r2r3rErMzairybiprime.fdiffcCrNrO)r/rr+r*r<rrrQr2r2r3rrSzairybiprime._eval_evalfcKsRtdd}|t| tdd}t|jr'| tdt| |t||SdSrTr*rUr2r2r3rs  $z$airybiprime._eval_rewrite_as_besseljcKstdd}tdd}|t|tdd}t|jr*|tdt| |t||St|tdd}t||}t|| }t||t| |||d|t|||Sr)r/rJr2r2r3rs   "  6z$airybiprime._eval_rewrite_as_besselicKs||ddtddttdd}tddttdd}|tgtddg|dd|tgtddg|ddS)Nr>rrHr6rVr0)rr%r r(r1r2r2r3r4s$@z"airybiprime._eval_rewrite_as_hyperc Ks"|jd}|j}t|dkr|}td|gd}td|gd}td|gd}td|gd}||||||} | dur| |}d|jr| |}| |}| |}|||||||||} ||||||} tjt d| tj t | | tj t | SdSdSdSr5) r/r9r%r:rr;rNrrrrnr#rIr=r2r2r3r^rWzairybiprime._eval_expand_funcNrCrXr2r2r2r3rIsS   rIc@sFeZdZdZeddZdddZddZd d Zd d Z d dZ dS)marcumqa The Marcum Q-function. Explanation =========== The Marcum Q-function is defined by the meromorphic continuation of .. math:: Q_m(a, b) = a^{- m + 1} \int_{b}^{\infty} x^{m} e^{- \frac{a^{2}}{2} - \frac{x^{2}}{2}} I_{m - 1}\left(a x\right)\, dx Examples ======== >>> from sympy import marcumq >>> from sympy.abc import m, a, b >>> marcumq(m, a, b) marcumq(m, a, b) Special values: >>> marcumq(m, 0, b) uppergamma(m, b**2/2)/gamma(m) >>> marcumq(0, 0, 0) 0 >>> marcumq(0, a, 0) 1 - exp(-a**2/2) >>> marcumq(1, a, a) 1/2 + exp(-a**2)*besseli(0, a**2)/2 >>> marcumq(2, a, a) 1/2 + exp(-a**2)*besseli(0, a**2)/2 + exp(-a**2)*besseli(1, a**2) Differentiation with respect to $a$ and $b$ is supported: >>> from sympy import diff >>> diff(marcumq(m, a, b), a) a*(-marcumq(m, a, b) + marcumq(m + 1, a, b)) >>> diff(marcumq(m, a, b), b) -a**(1 - m)*b**m*exp(-a**2/2 - b**2/2)*besseli(m - 1, a*b) References ========== .. [1] https://en.wikipedia.org/wiki/Marcum_Q-function .. [2] https://mathworld.wolfram.com/MarcumQ-Function.html cCsT|tjur |tjur|tjurtjSt||dtjt|S|tjur7|tjur7ddt|dtjS||kry|tjurSdt|d td|dtjS|dkrytjtjt|d td|dt|d td|dS|jr|jr|jrtjSt||dtjt|S|jr|jrddt|dtjSdSdSr) rror'rr%rrnrQrV)r:r8rYrr2r2r3r=s$  &D  z marcumq.evalr>cCs|j\}}}|dkr|t||| td|||S|dkr@|| ||dt|d|d dt|d||St||)Nr>r6r)r/rYrrQr )r1rDr8rYrr2r2r3rE s "B z marcumq.fdiffcKspddlm}|dttdj}|d||||t|d|d dt|d||||tj gS)Nr)IntegralrXr6r>) sympy.integrals.integralsrZgetrrnamerrQrrs)r1r8rYrrdrZrXr2r2r3_eval_rewrite_as_Integrals  @z!marcumq._eval_rewrite_as_IntegralcKsbddlm}|dtd}t|d|d d||||t||||d|tjgS)Nr)Sumrr>r6)sympy.concrete.summationsr_r\rrrQrrs)r1r8rYrrdr_rr2r2r3_eval_rewrite_as_Sums Fzmarcumq._eval_rewrite_as_Sumc s|krK|dkrdtd tdddS|jrM|dkrOtfddtd|D}tjtd tdddtd |SdSdSdS)Nr6r>rc3s|] }t|dVqdS)r>N)rQ)rrrYr2r3 $sz3marcumq._eval_rewrite_as_besseli..)rrQrsumrrr)r1r8rYrrdrr2rbr3rs$8z marcumq._eval_rewrite_as_besselicCstdd|jDr dSdS)Ncss|]}|jVqdSr8)rV)rrr2r2r3rc(sz(marcumq._eval_is_zero..T)allr/r0r2r2r3 _eval_is_zero'szmarcumq._eval_is_zeroNrf) rgrhrirjrlr=rEr^rarrfr2r2r2r3rYs0    rYN)rr)U functoolsr sympy.corersympy.core.addrsympy.core.cachersympy.core.exprrsympy.core.functionrr r sympy.core.logicr r sympy.core.numbersr rrsympy.core.powerrsympy.core.symbolrrrsympy.core.sympifyr(sympy.functions.combinatorial.factorialsr(sympy.functions.elementary.trigonometricrrrr#sympy.functions.elementary.integersr&sympy.functions.elementary.exponentialrr(sympy.functions.elementary.miscellaneousrrr$sympy.functions.elementary.complexesr r!r"r#r$'sympy.functions.special.gamma_functionsr%r&r'sympy.functions.special.hyperr(sympy.polys.orthopolysr)r r*r+r,rPrrQrrrrrrrrTrUrrRrSrrrr<r#rIrYr2r2r2r3sh           F1./XB98 8T-2%