将其他表示转换为完整表示#

转换超几何函数#

sympy.holonomic.holonomic.from_hyper(func, x0=0, evalf=False)[源代码]#

将超几何函数转换为完整函数。 func 是超几何函数,并且 x0 需要初始条件的点。

实例

>>> from sympy.holonomic.holonomic import from_hyper
>>> from sympy import symbols, hyper, S
>>> x = symbols('x')
>>> from_hyper(hyper([], [S(3)/2], x**2/4))
HolonomicFunction((-x) + (2)*Dx + (x)*Dx**2, x, 1, [sinh(1), -sinh(1) + cosh(1)])

转换Meijer G函数#

sympy.holonomic.holonomic.from_meijerg(func, x0=0, evalf=False, initcond=True, domain=QQ)[源代码]#

将Meijer G函数转换为完整函数。 func 是G函数和 x0 需要初始条件的点。

实例

>>> from sympy.holonomic.holonomic import from_meijerg
>>> from sympy import symbols, meijerg, S
>>> x = symbols('x')
>>> from_meijerg(meijerg(([], []), ([S(1)/2], [0]), x**2/4))
HolonomicFunction((1) + (1)*Dx**2, x, 0, [0, 1/sqrt(pi)])

转换符号表达式#

sympy.holonomic.holonomic.expr_to_holonomic(func, x=None, x0=0, y0=None, lenics=None, domain=None, initcond=True)[源代码]#

将函数或表达式转换为完整函数。

参数:

功能:

要转换的表达式。

x:

函数的变量。

x0:

必须计算初始条件的点。

y0:

One can optionally provide initial condition if the method is not able to do it automatically.

lenics公司:

初始条件中的项数。默认情况下,它等于零化子的阶数。

领域:

Ground domain for the polynomials in x appearing as coefficients in the annihilator.

初始条件:

Set it false if you do not want the initial conditions to be computed.

实例

>>> from sympy.holonomic.holonomic import expr_to_holonomic
>>> from sympy import sin, exp, symbols
>>> x = symbols('x')
>>> expr_to_holonomic(sin(x))
HolonomicFunction((1) + (1)*Dx**2, x, 0, [0, 1])
>>> expr_to_holonomic(exp(x))
HolonomicFunction((-1) + (1)*Dx, x, 0, [1])