python - Python：hyp2f1 与 sympy 的符号使用

Question

在 Python 中，我想使用超几何函数 hyp2f1，同时至少保留一个符号参数。但是，有一个 TypeError

无法从 d 创建 mpf

其中 d 是超几何函数的（最后一个）参数。

有人问了类似的问题

sympy 和 mpmath 在 solveset() 中使用 erf() 函数时给出“TypeError: cannot create mpf”

在遇到与错误函数 erf 相同的问题后。建议的解决方案是使用 mpmath 库而不是 sympy 库，但是在保持参数符号化时不能使用 mpmath。

我还尝试按照 sympy 文档中的建议将 mpmath 和 sympy 一起导入：

from sympy.mpmath import *

https://docs.sympy.org/0.7.6/modules/mpmath/functions/hypergeometric.html#common-hypergeometric-series

但这不被接受，因为输出是：

ModuleNotFoundError：没有名为“sympy.mpmath”的模块

我的代码是

from sympy import *

d = Symbol('d')

hyp2f1(1,1,1,d)

我希望简化为 1/(1-d)或至少希望 Python 可以“存储” hyp2f1(1,1,1,d) 以进行符号操作。

我收到一个错误

TypeError：无法从 d 创建 mpf

底线是，导入 sympy 后，Python 不能将 hyp2f1 与符号参数一起使用。

Answer 1

使用 SymPyhyper函数：

In [4]: from sympy import hyper, simplify, Symbol                                                                                 

In [5]: d = Symbol('d')                                                                                                           

In [6]: f = hyper([1, 1], [1], d)                                                                                                 

In [7]: f                                                                                                                         
Out[7]: 
 ┌─  ⎛1, 1 │  ⎞
 ├─  ⎜     │ d⎟
2╵ 1 ⎝ 1   │  ⎠

In [8]: simplify(f)                                                                                                               
Out[8]: 
  1  
─────
1 - d