ó
    ˆ*£h´&  ã                   óˆ   • S SK J r   SSKJr   " S S\5      rS rS
S jr\\l        \S	:X  a  S SKr\R                  " 5         gg)é    )Úbisecté   )Úxrangec                   ó   • \ rS rSrSrg)Ú
ODEMethodsé   © N)Ú__name__Ú
__module__Ú__qualname__Ú__firstlineno__Ú__static_attributes__r	   ó    ÚQ/home/mande/repo/quber/.venv/lib/python3.13/site-packages/mpmath/calculus/odes.pyr   r      s   † Úr   r   c                 ó  • U R                  SU* 5      =pg[        U5      nU/n	U/n
UnUnU R                  n USU-   -  U l        [        U5       H_  nU" X¼5      n[	        [        U5      5       Vs/ s H  oìU   XoU   -  -   PM     nnX¶-  nU	R                  U5        U
R                  U5        Ma     [        U5       Vs/ s H  n/ PM     nn[        US-   5       H¯  nS/U-  nSUS-  -  nSn[        US-   5       H>  n[        U5       H  nUU==   UX®   U   -  -  ss'   M     UUU-
  S-   -  U* -  nUS-  nM@     UU* -  U R                  U5      -  n[        U5       H%  nUU   U-  UU'   UU   R                  UU   5        M'     M±     XÐl        U R                  nU H:  nUS   (       d  M  [        UU R                  U[        US   5      -  U5      5      nM<     US-  nUUU-   4$ s  snf s  snf ! XÐl        f = f)Né   r   éÿÿÿÿr   )ÚldexpÚlenÚprecÚranger   ÚappendÚfacÚoneÚminÚnthrootÚabs)ÚctxÚderivsÚx0Úy0Útol_precÚnÚhÚtolÚdimÚxsÚysÚxÚyÚorigÚiÚfxyÚdÚserÚjÚsÚbÚkÚscaleÚradiusÚtss                            r   Ú
ode_taylorr7      s  € Ø�i‰i˜˜H˜9Ó%Ð%€AÜ
ˆb‹'€CØ
ˆ€BØ
ˆ€BØ
€AØ
€AØ�8‰8€DðØ˜˜1™‘:ˆŒô �q–ˆAÙ˜“,ˆCÜ(.¬s°1«v¬Ó7ª 1�1‘�a˜A™‘h”©ˆAÐ7Ø‰FˆAØ�I‰I�aŒLØ�I‰I�aŽLñ ô ! œ:Ó&š:�a‹r™:ˆÐ&Ü�q˜‘s–ˆAØ��C‘ˆAØ˜˜Q™‘ˆAØˆAÜ˜1˜Q™3–Z�Ü˜sž�AØ�a“D˜A ¡ a¡™LÑ(•Dñ $à˜!˜A™#˜a™%‘[ q bÑ)�Ø�Q‘’ñ	  ð
 ˜˜‘G˜cŸg™g a›jÑ(ˆEÜ˜3–Z�Ø˜‘t˜e‘|��!‘Ø�A‘—‘˜a ™dÖ#ó  ñ ð Œð �W‰W€FÛˆØˆb�6‰6Ü˜ §¡¨S´°R¸±V³©_¸aÓ!@ÓAŠFñ ð ˆa�K€FØ��6‘	ˆ>Ðùò9 8ùò
 'øð �ús*   ·9G6 Á0G,Â9G6 Â?G1ÃCG6 Ç,
G6 Ç6G>Nc           	      óÂ  ^ ^^^^^^^^^^^^• U(       a   [        T R                  US5      * 5      S-   mOT R                  S-   mT=(       d    S[        ST R                  -  S-  5      -   mT R                  S-   m [	        U5        Sm[        T TTUTT5      u  p‰TU	/mUTU	4/mU 4S	 jmUU UUUUUUU4	S
 jmU UUUU4S jn
U
$ ! [
         a    TmU4S jmU/nSm NUf = f)aÇ  
Returns a function `y(x) = [y_0(x), y_1(x), \ldots, y_n(x)]`
that is a numerical solution of the `n+1`-dimensional first-order
ordinary differential equation (ODE) system

.. math ::

    y_0'(x) = F_0(x, [y_0(x), y_1(x), \ldots, y_n(x)])

    y_1'(x) = F_1(x, [y_0(x), y_1(x), \ldots, y_n(x)])

    \vdots

    y_n'(x) = F_n(x, [y_0(x), y_1(x), \ldots, y_n(x)])

The derivatives are specified by the vector-valued function
*F* that evaluates
`[y_0', \ldots, y_n'] = F(x, [y_0, \ldots, y_n])`.
The initial point `x_0` is specified by the scalar argument *x0*,
and the initial value `y(x_0) =  [y_0(x_0), \ldots, y_n(x_0)]` is
specified by the vector argument *y0*.

For convenience, if the system is one-dimensional, you may optionally
provide just a scalar value for *y0*. In this case, *F* should accept
a scalar *y* argument and return a scalar. The solution function
*y* will return scalar values instead of length-1 vectors.

Evaluation of the solution function `y(x)` is permitted
for any `x \ge x_0`.

A high-order ODE can be solved by transforming it into first-order
vector form. This transformation is described in standard texts
on ODEs. Examples will also be given below.

**Options, speed and accuracy**

By default, :func:`~mpmath.odefun` uses a high-order Taylor series
method. For reasonably well-behaved problems, the solution will
be fully accurate to within the working precision. Note that
*F* must be possible to evaluate to very high precision
for the generation of Taylor series to work.

To get a faster but less accurate solution, you can set a large
value for *tol* (which defaults roughly to *eps*). If you just
want to plot the solution or perform a basic simulation,
*tol = 0.01* is likely sufficient.

The *degree* argument controls the degree of the solver (with
*method='taylor'*, this is the degree of the Taylor series
expansion). A higher degree means that a longer step can be taken
before a new local solution must be generated from *F*,
meaning that fewer steps are required to get from `x_0` to a given
`x_1`. On the other hand, a higher degree also means that each
local solution becomes more expensive (i.e., more evaluations of
*F* are required per step, and at higher precision).

The optimal setting therefore involves a tradeoff. Generally,
decreasing the *degree* for Taylor series is likely to give faster
solution at low precision, while increasing is likely to be better
at higher precision.

The function
object returned by :func:`~mpmath.odefun` caches the solutions at all step
points and uses polynomial interpolation between step points.
Therefore, once `y(x_1)` has been evaluated for some `x_1`,
`y(x)` can be evaluated very quickly for any `x_0 \le x \le x_1`.
and continuing the evaluation up to `x_2 > x_1` is also fast.

**Examples of first-order ODEs**

We will solve the standard test problem `y'(x) = y(x), y(0) = 1`
which has explicit solution `y(x) = \exp(x)`::

    >>> from mpmath import *
    >>> mp.dps = 15; mp.pretty = True
    >>> f = odefun(lambda x, y: y, 0, 1)
    >>> for x in [0, 1, 2.5]:
    ...     print((f(x), exp(x)))
    ...
    (1.0, 1.0)
    (2.71828182845905, 2.71828182845905)
    (12.1824939607035, 12.1824939607035)

The solution with high precision::

    >>> mp.dps = 50
    >>> f = odefun(lambda x, y: y, 0, 1)
    >>> f(1)
    2.7182818284590452353602874713526624977572470937
    >>> exp(1)
    2.7182818284590452353602874713526624977572470937

Using the more general vectorized form, the test problem
can be input as (note that *f* returns a 1-element vector)::

    >>> mp.dps = 15
    >>> f = odefun(lambda x, y: [y[0]], 0, [1])
    >>> f(1)
    [2.71828182845905]

:func:`~mpmath.odefun` can solve nonlinear ODEs, which are generally
impossible (and at best difficult) to solve analytically. As
an example of a nonlinear ODE, we will solve `y'(x) = x \sin(y(x))`
for `y(0) = \pi/2`. An exact solution happens to be known
for this problem, and is given by
`y(x) = 2 \tan^{-1}\left(\exp\left(x^2/2\right)\right)`::

    >>> f = odefun(lambda x, y: x*sin(y), 0, pi/2)
    >>> for x in [2, 5, 10]:
    ...     print((f(x), 2*atan(exp(mpf(x)**2/2))))
    ...
    (2.87255666284091, 2.87255666284091)
    (3.14158520028345, 3.14158520028345)
    (3.14159265358979, 3.14159265358979)

If `F` is independent of `y`, an ODE can be solved using direct
integration. We can therefore obtain a reference solution with
:func:`~mpmath.quad`::

    >>> f = lambda x: (1+x**2)/(1+x**3)
    >>> g = odefun(lambda x, y: f(x), pi, 0)
    >>> g(2*pi)
    0.72128263801696
    >>> quad(f, [pi, 2*pi])
    0.72128263801696

**Examples of second-order ODEs**

We will solve the harmonic oscillator equation `y''(x) + y(x) = 0`.
To do this, we introduce the helper functions `y_0 = y, y_1 = y_0'`
whereby the original equation can be written as `y_1' + y_0' = 0`. Put
together, we get the first-order, two-dimensional vector ODE

.. math ::

    \begin{cases}
    y_0' = y_1 \\
    y_1' = -y_0
    \end{cases}

To get a well-defined IVP, we need two initial values. With
`y(0) = y_0(0) = 1` and `-y'(0) = y_1(0) = 0`, the problem will of
course be solved by `y(x) = y_0(x) = \cos(x)` and
`-y'(x) = y_1(x) = \sin(x)`. We check this::

    >>> f = odefun(lambda x, y: [-y[1], y[0]], 0, [1, 0])
    >>> for x in [0, 1, 2.5, 10]:
    ...     nprint(f(x), 15)
    ...     nprint([cos(x), sin(x)], 15)
    ...     print("---")
    ...
    [1.0, 0.0]
    [1.0, 0.0]
    ---
    [0.54030230586814, 0.841470984807897]
    [0.54030230586814, 0.841470984807897]
    ---
    [-0.801143615546934, 0.598472144103957]
    [-0.801143615546934, 0.598472144103957]
    ---
    [-0.839071529076452, -0.54402111088937]
    [-0.839071529076452, -0.54402111088937]
    ---

Note that we get both the sine and the cosine solutions
simultaneously.

**TODO**

* Better automatic choice of degree and step size
* Make determination of Taylor series convergence radius
  more robust
* Allow solution for `x < x_0`
* Allow solution for complex `x`
* Test for difficult (ill-conditioned) problems
* Implement Runge-Kutta and other algorithms

r   é
   é   g       @é(   Tc                 ó   >• T" XS   5      /$ ©Nr   r	   )r)   r*   ÚF_s     €r   Ú<lambda>Úodefun.<locals>.<lambda>ñ   s   ø€ ™"˜Q !¡›+™r   Fc           	      ó`   >• U  Vs/ s H  nTR                  US S S2   U5      PM     sn$ s  snf )Nr   )Úpolyval)r/   Úar1   r   s      €r   ÚmpolyvalÚodefun.<locals>.mpolyvalø   s.   ø€ Ù14Ó5²¨A�—‘˜A™d ˜d™G QÖ'±Ñ5Ð5ùÒ5s   †"+c                 ó<  >	• U T:  a  [         e[        T
U 5      nU[        T
5      :  a  TUS-
     $  TS   u  p#nT(       a  [        SX44-  5        T	" X$U-
  5      nUn[	        TTXETT5      u  p$T
R                  U5        TR                  X#U45        X::  a  TS   $ Ml  )Nr   r   z$Computing Taylor series for [%f, %f])Ú
ValueErrorr   r   Úprintr7   r   )r)   r#   r/   ÚxaÚxbr*   ÚFr   ÚdegreerD   Úseries_boundariesÚseries_datar"   Úverboser    s         €€€€€€€€€r   Ú
get_seriesÚodefun.<locals>.get_seriesû   s¸   ø€ Øˆr‹6ÜÐÜÐ$ aÓ(ˆØŒsÐ$Ó%Ó%Ø˜q ™sÑ#Ð#ØØ% b™/‰KˆC�RÞÜÐ<À¸xÑGÔHÙ˜ ™eÓ$ˆAØˆBÜ   a¨°¸&ÓA‰GˆCØ×$Ñ$ RÔ(Ø×Ñ ¨˜}Ô-Ø‹wØ" 2‘Ð&ñ r   c                 óê   >• TR                  U 5      n TR                  n TTl        T" U 5      u  p#nT	" X U-
  5      nUTl        T
(       a  U Vs/ s H  of7PM     sn$ US   7$ ! UTl        f = fs  snf r=   )Úconvertr   )r)   r+   r/   rI   rJ   r*   Úykr   rP   rD   Úreturn_vectorÚworkprecs          €€€€€r   ÚinterpolantÚodefun.<locals>.interpolant  sw   ø€ Ø�K‰K˜‹NˆØ�x‰xˆð	ØˆCŒHÙ$ Q›-‰KˆC�RÙ˜ ™dÓ#ˆAàˆCŒHÞÙ"#Ó$¢!˜B“C¡!Ñ$Ð$à�a‘D�5ˆLøð	 ˆC�Hüâ$s    A$ ÁA0Á$	A-)ÚintÚlogr   Údpsr   Ú	TypeErrorr7   )r   rK   r    r!   r%   rL   ÚmethodrO   r/   rJ   rW   r>   rP   rD   rU   rM   rN   r"   rV   s   ```  ` `   @@@@@@@@r   Úodefunr^   3   sé   ÿü€ öf Ü˜Ÿ™  Q›Ð'Ó(¨Ñ+‰à—8‘8˜B‘;ˆØ×.˜œC  #§'¡'¡	¨"¡Ó-Ñ-€FØ�x‰x˜"‰}€HðÜˆBŒØˆô ˜˜a  R¨°6Ó:�G€CØ˜R˜ÐØ˜˜R�=�/€Kõ6÷'õ '÷$ñ ð ÐøôW ó ØˆÜ&ˆØˆTˆØŠð	ús   Á;C ÃCÃCÚ__main__)NNÚtaylorF)
r   Úlibmp.backendr   Úobjectr   r7   r^   r
   ÚdoctestÚtestmodr	   r   r   Ú<module>re      sH   ðÝ Ý "ô	�ô 	ò*ôXgðR €
Ô àˆzÓÛØ‡O‚OÕð r   