+
    i&                         ^ RI H t  ^RIHt  ! R R]4      tR tR	R lt]]n        ]R8X  d   ^ RIt]P                  ! 4        R# R# )
    )bisect)xrangec                       ] tR t^tRtR# )
ODEMethods N)__name__
__module____qualname____firstlineno____static_attributes__r       t/Users/tonyclaw/.openclaw/workspace/skills/math-calculator/venv/lib/python3.14/site-packages/mpmath/calculus/odes.pyr   r      s    r   r   c                    V P                  ^V) 4      ;rg\        V4      pV.p	V.p
TpTpV P                  p V^V,           ,          V n        \        V4       Fr  pV! W4      p\	        \        V4      4       Uu. uF  qV,          WoV,          ,          ,           NK!  	  ppW,          pV	P                  V4       V
P                  V4       Kt  	  \        V4       Uu. uF  p. NK  	  pp\        V^,           4       EF   p^ .V,          pRV^,          ,          p^p\        V^,           4       Ff  p\        V4       F,  pVV;;,          VW,          V,          ,          ,          uu&   K.  	  VVV,
          ^,           ,          V) ,          pV^,          pKh  	  VV) ,          V P                  V4      ,          p\        V4       F5  pVV,          V,          VV&   VV,          P                  VV,          4       K7  	  EK  	  Wn        V P                  pV FG  pVR,          '       g   K  \        VV P                  V\        VR,          4      ,          V4      4      pKI  	  V^,          pVVV,           3# u upi u upi   Yn        i ; i)   )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_taylorr5      s   iiH9%%A
b'C
B
B
A
A88D1: qA,C(.s1v711aAhA7FAIIaLIIaL  !:&:ar:&qsACAQAA1Q3ZsAaDAaL(D $!A#a%[qb)Q	  
 Gcggaj(E3Zte|!Aad#     WWFb66SRV_a!@AF  aKF6	>9 8
 ' s+   AI; 8%I1=I; I6%DI; 1
I; ;JNc           	       a aaaaaaaaaaaa V'       d%   \        S P                  V^4      ) 4      ^
,           oMS P                  ^
,           oS;'       g+    ^\        ^S P                  ,          R,          4      ,           oS P                  ^(,           o \	        V4       Ro\        S SSVSS4      w  rSV	.oVSV	3.oV 3R loVV VVVVVVV3	R loV VVVV3R lp
V
#   \
         d    SoT3R loT.pRo LVi ; i)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

g       @Tc                 $   < S! W^ ,          4      .# r   r   )r'   r(   F_s   &&r   <lambda>odefun.<locals>.<lambda>   s    "Q!+r   Fc           	      f   < V  Uu. uF  pSP                  VR R R1,          V4      NK!  	  up# u upi )Nr   )polyval)r-   ar/   r   s   && r   mpolyvalodefun.<locals>.mpolyval   s.    145AAddGQ'555s   %.c                 t  <	 V S8  d   \         h\        S
V 4      pV\        S
4      8  d   SV^,
          ,          #  SR,          w  r#pS'       d   \        RW43,          4       S	! W$V,
          4      pTp\	        SSWESS4      w  r$S
P                  V4       SP                  W#V34       W8:  g   Kv  SR,          # )r   z$Computing Taylor series for [%f, %f]r   )
ValueErrorr   r   printr5   r   )r'   r!   r-   xaxbr(   Fr   degreer?   series_boundariesseries_datar    verboser   s   &     r   
get_seriesodefun.<locals>.get_series   s    r6$a(s$%%qs##%b/KCR<xGHe$AB a&AGC$$R(}-w"2&r   c                    < SP                  V 4      p SP                  p SSn        S! V 4      w  r#pS	! W V,
          4      pVSn        S
'       d   V Uu. uF  qf5NK  	  up# V^ ,          5#   TSn        i ; iu upi r8   )convertr   )r'   r)   r-   rD   rE   r(   ykr   rK   r?   return_vectorworkprecs   &      r   interpolantodefun.<locals>.interpolant  sw    KKNxx	CH$Q-KCRd#ACH"#$!BC!$$aD5L	 CH$s   !A, A8,	A5)intlogr   dpsr   	TypeErrorr5   )r   rF   r   r   r#   rG   methodrJ   r-   rE   rR   r9   rK   r?   rP   rH   rI   r    rQ   s   fff&&f&f   @@@@@@@@r   odefunrY   3   s    f Q'(+88B;..C#''	"--Fxx"}HB aR6:GCRR=/K6' '$  W  &T	s   C C98C9__main__)NNtaylorF)
r   libmp.backendr   objectr   r5   rY   r   doctesttestmodr   r   r   <module>r`      sH     "	 	*XgR 
 zOO r   